| 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 |
||