000 03313nam a22004215i 4500
999 _c383051
_d383051
_x1
001 383051
003 ES-MaUEC
005 20230102122036.0
006 a||||fo|||| 00| 0
007 cr nn 008mamaa
008 221029s2022 si | s |||| 0|eng d
020 _a9789811686221
024 7 _a10.1007/978-981-16-8622-1
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aQA76.9.A43
_b2022 EB
100 1 _aBhattacharyya, Arnab
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9685066
245 1 0 _aProperty Testing :
_bProblems and Techniques
_cby Arnab Bhattacharyya, Yuichi Yoshida
250 _aFirst edition 2022
264 1 _aSingapore
_bSpringer International Publising
_c2022
300 _a1 recurso en línea (XIX, 427 páginas)
_b13 ilustraciones
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
505 0 _aChapter 1: Introduction -- Chapter 2: Basic Techniques -- Chapter 3: Strings -- Chapter 4: Graphs in the Adjacency Metrix Model -- Chapter 5: Graphs in the Bounded-Degree Model -- Chapter 6: Functions over Hypercubes -- Chapter 7: Massively Parameterized Model -- Chapter 8: Vectors and Matrices over the Reals -- Chapter 9: Graphs in the Adjacency Matrix Model -- Chapter 10: Graphs in the Bounded-Degree Model -- Chapter 11: Affine-Invariant Properties of Functions -- Chapter 12: Linear Properties of Functions -- Chapter 13: Massively Parameterized Model.
520 _aThis book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time - that is, time is independent of the input size. This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable. The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.
988 _aSpringer_Computer_2022
650 7 _2embne
_9151819
_aAlgoritmos computacionales
700 1 _aYoshida, Yuichi
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9685067
776 0 8 _iPrinted edition:
_z9789811686214
776 0 8 _iPrinted edition:
_z9789811686238
776 0 8 _iPrinted edition:
_z9789811686245
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-16-8622-1
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b10/2022
_dz
_eIG
_zSI