- Publisher: Cambridge University Press
- Online publication date: November 2017
- Print publication year: 2017
- Online ISBN: 9781108135252
- https://doi.org/10.1017/9781108135252

- Publisher: Cambridge University Press
- Online publication date: November 2017
- Print publication year: 2017
- Online ISBN: 9781108135252
- https://doi.org/10.1017/9781108135252

Property testing is concerned with the design of super-fast algorithms for the structural analysis of large quantities of data. The aim is to unveil global features of the data, such as determining whether the data has a particular property or estimating global parameters. Remarkably, it is possible for decisions to be made by accessing only a small portion of the data. Property testing focuses on properties and parameters that go beyond simple statistics. This book provides an extensive and authoritative introduction to property testing. It provides a wide range of algorithmic techniques for the design and analysis of tests for algebraic properties, properties of Boolean functions, graph properties, and properties of distributions.

Contents

References

[1] , , , and . A unified maximum likelihood approach for optimal distribution property estimation. ECCC, TR16-186, 2016.

[2] , , and . Optimal testing for properties of distributions. arXiv:1507.05952 [cs.DS], 2015.

[3] The maximum likelihood probability of uniquesingleton, ternary, and length-7 patterns. In IEEE Symposium on Information Theory, pp. 1135–1139, 2009. , , and .

[4] A subexponential algorithm for the discrete logarithm problem with applications to cryptography, In 20th IEEE Symposium on Foundations of Computer Science, pp. 55–60, 1979. .

[5] Property-preserving data reconstruction. Algorithmica, Vol. 51 (2), pp. 160–182, 2008. . , , and .

[6] Testing subgraphs of large graphs. Random Structures and Algorithms, Vol. 21, pp. 359–370, 2002. .

[7] Testing of clustering. SIAM Journal on Discrete Mathematics, Vol. 16 (3), pp. 393–417, 2003. , , , and .

[8] Efficient testing of large graphs. Combinatorica, Vol. 20, pp. 451–476, 2000. , , and .

[9] A combinatorial characterization of the testable graph properties: It's all about regularity. In 38th ACM Symposium on the Theory of Computing, pp. 251–260, 2006. , , , and .

[10] Easily testable graph properties. Combinatorics, Probability and Computing, Vol. 24 (4), pp. 646–657, 2015. and .

[11] Testing low-degree polynomials over GF(2). In 7th RANDOM. Lecture Notes in Computer Science, Vol. 2764, Springer, pp. 188–199, 2003. , , , , and .

[12] Testing triangle freeness in general graphs. In 17th ACM-SIAM Symposium on Discrete Algorithms, pp. 279–288, 2006. , , , and .

[13] Testing k-Colorability. SIAM Journal on Discrete Mathematics, Vol. 15 (2), pp. 211–227, 2002. and .

[14] Regular languages are testable with a constant number of queries. SIAM Journal on Computing, Vol. 30 (6), pp. 1842–1862, 2001. , , , and .

[15] The space complexity of approximating the frequency moments. Journal of Computer and System Science, Vol. 58 (1), pp. 137–147, 1999. Preliminary version in 28th STOC, 1996. , , and .

[16] A separator theorem for graphs with an excluded minor and its applications. In 22nd ACM Symposium on the Theory of Computing, pp. 293–299, 1990. , , and .

[17] Testing subgraphs in directed graphs. Journal of Computer and System Science, Vol. 69, pp. 354–482, 2004. and .

[18] Every monotone graph property is testable. In 37th ACM Symposium on the Theory of Computing, pp. 128–137, 2005. and .

[19] A Characterization of the (natural) graph properties testable with one-sided error. In 46th IEEE Symposium on Foundations of Computer Science, pp. 429–438, 2005. and .

[20] A characterization of easily testable induced subgraphs. Combinatorics Probability and Computing, Vol. 15, pp. 791–805, 2006. and .

[21] A separation theorem in property testing. Combinatorica, Vol. 28 (3), pp. 261–281, 2008. and .

[22] The Probabilistic Method. John Wiley ' Sons, 1992. Third edition, 2008. and .

[23] Probabilistic checking of proofs and the hardness of approximation problems. PhD thesis, UC Berkeley, 1994. .

[24] Proof verification and intractability of approximation problems. Journal of the ACM, Vol. 45, pp. 501–555, 1998. Preliminary version in 33rd FOCS, 1992. , , , and .

[25] Probabilistic checkable proofs: A new characterization of NP. Journal of the ACM, Vol. 45, pp. 70–122, 1998. Preliminary version in 33rd FOCS, 1992. and .

[26] Improved low-degree testing and its applications. Combinatorica, Vol. 23 (3), pp. 365–426, 2003. Preliminary version in 29th STOC, 1997. and .

[27] Studies in complexity and cryptography, Springer, pp. 156–172, 2011. and . Testing graph blow-up. In

[28] Checking computations in polylogarithmic time. In 23rd ACM Symposium on the Theory of Computing, pp. 21–31, 1991. , , , and .

[29] Non-deterministic exponential time has two-prover interactive protocols. Computational Complexity, Vol. 1, No. 1, pp. 3–40, 1991. Preliminary version in 31st FOCS, 1990. , , and .

[30] Active property testing. In 53rd IEEE Symposium on Foundations of Computer Science, pp. 21–30, 2012. , , , and .

[31] How to go beyond the black-box simulation barrier. In 42nd IEEE Symposium on Foundations of Computer Science, pp. 106–115, 2001. .

[32] The complexity of approximating the entropy. SIAM Journal on Computing, Vol. 35 (1), pp. 132–150, 2005. , , , and .

[33] A sublinear algorithm for weakly approximating edit distance. In 35th ACM Symposium on the Theory of Computing, pp. 316–324, 2003. , , , , , , and .

[34] Testing random variables for independence and identity. In 42nd IEEE Symposium on Foundations of Computer Science, pp. 442–451, 2001. , , , , , and .

[35] Testing that distributions are close. In 41st IEEE Symposium on Foundations of Computer Science, pp. 259–269, 2000. , , , , .

[36] Linearity testing in characteristic two. IEEE Transactions on Information Theory, Vol. 42 (6), pp. 1781–1795, 1996. , , , , and .

[37] Free bits, PCPs and non-approximability –towards tight results. SIAM Journal on Computing, Vol. 27, No. 3, pp. 804–915, 1998. Extended abstract in 36th FOCS, 1995. , and .

[38] Efficient probabilistically checkable proofs and applications to approximation. In 25th ACM Symposium on the Theory of Computing, pp. 294–304, 1993. , , and .

[39] A polynomial lower bound for testing monotonicity. In 48th ACM Symposium on the Theory of Computing, pp. 1012–1032, 2016. and .

[40] Testing acyclicity of directed graphs in sublinear time. Random Structures and Algorithms, pp. 184–205, 2002. and .

[41] Every minor-closed property of sparse graphs is testable. In 40th ACM Symposium on the Theory of Computing, pp. 393–402, 2008. , , and .

[42] Comparing the strength of query types in property testing: The case of testing k-Colorability. In 19th ACM-SIAM Symposium on Discrete Algorithms, pp. 1213–1222, 2008. , , , and .

[43] Multi-prover interactive proofs: How to remove intractability. In 20th ACM Symposium on the Theory of Computing, pp. 113–131, 1988. , , and .

[44] Robust PCPs of proximity, shorter PCPs, and applications to coding. SIAM Journal on Computing, Vol. 36 (4), pp. 889–974, 2006. Extended abstract in 36th STOC, 2004. , , , , and .

[45] Short PCPs verifiable in polylogarithmic time. In 20th IEEE Conference on Computational Complexity, pp. 120–134, 2005. , , , and .

[46] In 7th RANDOM, Lecture Notes in Computer Science, Vol. 2764, Springer, pp. 216–227, 2003. , and . Bounds on 2-query codeword testing.

[47] 3CNF properties are hard to test. SIAM Journal on Computing, Vol. 35 (1), pp. 1–21, 2005. , , and .

[48] Short PCPs with polylog query complexity. SIAM Journal on Computing, Vol. 38 (2), pp. 551–607, 2008. Preliminary version in 37th STOC, 2005. and .

[49] Randomness-efficient low degree tests and short PCPs via epsilon-biased sets. In 35th ACM Symposium on the Theory of Computing, June 2003, pp. 612–621. , , , and .

[50] Lp-testing. In 46th ACM Symposium on the Theory of Computing, pp. 164–173, 2014. , , and .

[51] Optimal testing of Reed–Muller codes. In IEEE Symposium on Foundations of Computer Science, pp. 488–497, 2010. , , , , and .

[52] Testing juntas almost optimally. In ACM Symposium on the Theory of Computing, pp. 151–158, 2009. .

[53] . Testing juntas: A brief survey. In [134].

[54] Property testing lower bounds via communication complexity. Computational Complexity, Vol. 21 (2), pp. 311–358, 2012. Extended abstract in 26th CCC, 2011. , , and .

[55] , , . Alice and Bob show distribution testing lower bounds (They don't talk to each other anymore). ECCC, TR016-168, 2016.

[56] and . Property testing. Forthcoming.

[57] and . A characterization of constant-sample testable properties. ECCC, TR016-201, 2016.

[58] Designing programs that check their work. In 21st ACM Symposium on the Theory of Computing, pp. 86–97, 1989. and .

[59] , and . Self-testing/correcting with applications to numerical problems. Journal of Computer and System Science, Vol. 47, No. 3, pp. 549–595, 1993. Extended abstract 22nd STOC, 1990.

[60] and . A better tester for bipartiteness? arXiv:1011.0531 [cs.DS], 2010.

[61] A lower bound for testing 3-Colorability in bounded-degree graphs. In 43rd IEEE Symposium on Foundations of Computer Science, pp. 93–102, 2002. , , and .

[62] Lower bounds for testing bipartiteness in dense graphs. In 19th IEEE Conference on Computational Complexity, pp. 75–81, 2004. and .

[63] Extremal graphs without large forbidden subgraphs. Annals of Discrete Mathematics, Vol. 3, pp. 29–41, 1978. , , , and .

[64] Graph limits and parameter testing. In 38th ACM Symposium on the Theory of Computing, pp. 261–270, 2006. , , , , , and .

[65] Monotonicity testing and shortest-path routing on the cube. Combinatorica, Vol. 32 (1), pp. 35–53, 2012. , , , and .

[66] Lower bounds for sampling algorithms for estimating the average. Information Processing Letters, Vol. 53, pp. 17–25, 1995. , and .

[67] , , Halevi. The random oracle methodology, revisited. In 30th ACM Symposium on the Theory of Computing, May 1998, pp. 209–218.

[68] . A survey on distribution testing: your data is big. But is it blue? ECCC, TR015-063, 2015.

[69] Sampling Correctors. In 7th Innovations in Theoretical Computer Science, pp. 93–102, 2016. , , and .

[70] Testing probability distributions using conditional samples. SIAM Journal on Computing, Vol. 44 (3), pp. 540–616, 2015. , , and .

[71] A o(n) monotonicity tester for Boolean functions over the hypercube. In 45th ACM Symposium on the Theory of Computing, pp. 411–418, 2013. and .

[72] Optimal bounds for monotonicity and Lipschitz testing over hypercubes and hypergrids. In 45th ACM Symposium on the Theory of Computing, pp. 419–428, 2013. and .

[73] Optimal algorithms for testing closeness of discrete distributions. In 25th ACM-SIAM Symposium on Discrete Algorithms, pp. 1193–1203, 2014. , , , and .

[74] Approximating the minimum spanning tree weight in sublinear time. In 19th International Colloquium on Automata, Languages and Programming, pp. 190–200, 2001. , , and .

[75] Boolean function monotonicity testing requires (almost) n1/2 non-adaptive queries. In 47th ACM Symposium on the Theory of Computing, pp. 519–528, 2015. , , and .

[76] New algorithms and lower bounds for monotonicity testing. In 55th IEEE Symposium on Foundations of Computer Science, pp. 286–295, 2014. , R. , and .

[77] A divide-and-merge methodology for clustering. In 24th Symposium on Principles of Database Systems, pp. 196–205, 2005. , , , and .

[78] On the power of two–point based sampling. Journal of Complexity, Vol 5, pp. 96–106, 1989. and .

[79] Private information retrieval. Journal of the ACM, Vol. 45, No. 6, pp. 965–982, 1998. , , and .

[80] Combinatorial algorithms for compressed sensing. In 40th Annual Conference on Information Sciences and Systems, pp. 198–201, 2006. and .

[81] Finding cycles and trees in sublinear time. Random Structures and Algorithms, Vol. 45 (2), pp. 139–184, 2014. , , , , , and .

[82] Planar graphs: Random walks and bipartiteness testing. In 52nd IEEE Symposium on Foundations of Computer Science, pp. 423–432, 2011. , , , and .

[83] Relating two property testing models for bounded degree directed graphs. In 48th ACM Symposium on the Theory of Computing, pp. 1033–1045, 2016. , , and .

[84] Learning k-modal distributions via testing. Theory of Computing, Vol. 10, pp. 535–570, 2014. , , and .

[85] Direct sum testing. In 6th Innovations in Theoretical Computer Science, pp. 327–336, 2015. , , , , and .

[86] A probabilistic remark on algebraic program testing. Information Processing Letters, Vol. 7 (4), pp. 193–195, June 1978. .and .

[87] The equivalence of weak, strong and complete convergence in L1 for kernel density estimates. Annals of Statistics, Vol. 11 (3), pp. 896–904, 1983. .

[88] , , , and . Collision-based testers are optimal for uniformity and closeness. ECCC, TR16-178, 2016.

[89] A new approach for testing properties of discrete distributions. In 57th IEEE Symposium on Foundations of Computer Science, pp. 685–694, 2016. and .

[90] Testing identity of structured distributions. In 26th ACM-SIAM Symposium on Discrete Algorithms, pp. 1841–1854, 2015. , , .

[91] Testing for concise representations. In 48th IEEE Symposium on Foundations of Computer Science, pp. 549–557, 2007. , , , , , , and .

[92] The PCP Theorem by gap amplification. Journal of the ACM, Vol. 54 (3), Art. 12, 2007. Extended abstract in 38th STOC, 2006. .

[93] Composition of low-error 2-query PCPs using decodable PCPs. SIAM Journal on Computing, Vol. 42 (6), pp. 2452–2486, 2013. Extended abstract in 50th FOCS, 2009. and .

[94] Assignment-testers: Towards a combinatorial proof of the PCPTheorem. SIAM Journal on Computing, Vol. 36 (4), pp. 975–1024, 2006. Extended abstract in 45th FOCS, 2004. and .

[95] The importance of being biased. In 34th ACM Symposium on the Theory of Computing, pp. 33–42, 2002. and .

[96] , , , , , and . Improved testing algorithms for monotonicity. ECCC, TR99-017, 1999. Extended abstract in 3rd RANDOM, 1999.

[97] Distribution-free testing for monomials with a sublinear number of queries. Theory of Computing, Vol. 7 (1), pp. 155–176, 2011. and .

[98] Clustering in large graphs and matrices. In 10th ACM-SIAM Symposium on Discrete Algorithms, pp. 291–299, 1999. , , , , .

[99] , , and . Sublinear time estimation of degree distribution moments: The arboricity connection. arXiv:1604.03661 [cs.DS], 2016.

[100] 3-query locally decodable codes of subexponential length. In 41st ACM Symposium on the Theory of Computing, pp. 39–44, 2009. .

[101] Spot Checkers. Journal of Computer and System Science, Vol. 60, pp. 717–751, 2000. Extended abstract in 30th STOC, 1998. , , , , and .

[102] Fast approximate PCPs. In 31st ACM Symposium on the Theory of Computing, pp. 41–50, 1999. , , and .

[103] , , and . Best of two local models: Local centralized and local distributed algorithms. CoRR abs/1402.3796, 2014.

[104] Graph Algorithms. Computer Science Press, 1979. Second edition (edited by ), Cambridge University Press, 2011. .

[105] The complexity of promise problems with applications to public-key cryptography. Information and Control, Vol. 61, pp. 159–173, 1984. , , and .

[106] On sums of independent random variables with unbounded variance, and estimating the average degree in a graph. SIAM Journal on Computing, Vol. 35 (4), pp. 964–984, 2006. .

[107] Approximating clique is almost NP-complete. Journal of the ACM, Vol. 43, pp. 268–292, 1996. Preliminary version in 32nd FOCS, 1991. , , , , and .

[108] On the strength of comparisons in property testing. Information and Computation, Vol. 189 (1), pp. 107–116, 2004. .

[109] Tolerant versus intolerant testing for Boolean properties. Theory of Computing, Vol. 2 (9), pp. 173–183, 2006. and .

[110] Partial tests, universal tests and decomposability. In 5th Innovations in Theoretical Computer Science, pp. 483–500, 2014. Full version posted on ECCC, TR13-082, 2013. , , and .

[111] Testing juntas. Journal of Computer and System Science, Vol. 68 (4), pp. 753–787, 2004. Extended abstract in 44th FOCS, 2002. , , , and .

[112] Trading query complexity for sample-based testing and multi-testing scalability. In 56th IEEE Symposium on Foundations of Computer Science, pp. 1163–1182, 2015. , , and .

[113] Monotonicity testing over general poset domains. In 34th ACM Symposium on the Theory of Computing, pp. 474–483, 2002. , , , , , and .

[114] Testing graph isomorphism. In 17th ACM-SIAM Symposium on Discrete Algorithms, pp. 299–308, 2006. and .

[115] Approximate hypergraph partitioning and applications. In 48th IEEE Symposium on Foundations of Computer Science, pp. 579–589, 2007. , , and .

[116] Testing versus estimation of graph properties. In 37th ACM Symposium on the Theory of Computing, pp. 138–146, 2005. and .

[117] Concatenated Codes. MIT Press, 1966. .

[118] On the power of multi-prover interactive protocols. Theoretical Computer Science, Vol. 134 (2), pp. 545–557, 1994. Extended abstract in 3rd IEEE Symp. on Structural Complexity, 1988. , , and .

[119] A new proof of the graph removal lemma. Annals of Mathematics, Vol. 174 (1), pp. 561–579, 2011. .

[120] Some improvements to total degree tests. In 3rd Israel Symposium on Theory of Computing and Systems, pp. 190–198, 1995. Revision posted on CoRR, 1307.3975, 2013. and .

[121] The regularity lemma and approximation schemes for dense problems. In 37th IEEE Symposium on Foundations of Computer Science, pp. 12–20, 1996. and .

[122] Quick approximation to matrices and applications. Combinatorica, Vol. 19 (2), pp. 175–220, 1999. and .

[123] Fast Monte-Carlo algorithms for finding low-rank approximations. Journal of the ACM, Vol. 51 (6), pp. 1025–1041, 2004. Extended abstract in 39th FOCS, 1998. , , and .

[124] and A.Wigderson. Self-testing/correcting for polynomials and for approximate functions. In 23rd Symposium on the Theory of Computing, pp. 32–42, 1991. , , , .

[125] and . Removal Lemmas with Polynomial Bounds. arXiv: 1611.10315 [math.CO], 2016.

[126] Distribution-free testing lower bound for basic Boolean functions. Theory of Computing, Vol. 5 (1), pp. 191–216, 2009. and .

[127] . Modern Cryptography, Probabilistic Proofs and Pseudorandomness. Algorithms and Combinatorics, Vol. 17, Springer, 1998.

[128] Foundation of cryptography –Basic tools. Cambridge University Press, 2001. .

[129] . On Promise Problems: In memory of Shimon Even (1935–2004). ECCC, TR05-018, 2005. See also in Theoretical Computer Science: Essays in memory of Shimon Even, Lecture Notes in Computer Science, Festschrift, Vol. 3895, Springer, 2006.

[130] . Short locally testable codes and proofs (survey). ECCC Technical Report TR05-014, 2005.

[131] Computational Complexity: A Conceptual Perspective. Cambridge University Press, 2008. .

[132] . Short locally testable codes and proofs: A survey in two parts. In [134].

[133] . Introduction to testing graph properties. In [134].

[134] (ed.). Property Testing: Current Research and Surveys. Lecture Notes in Computer Science, Vol. 6390, Springer, 2010.

[135] On multiple input problems in property testing. In 18th RANDOM, pp. 704–720, 2014. .

[136] . On the communication complexity methodology for proving lower bounds on the query complexity of property testing. ECCC, TR13-073, 2013.

[137] . The uniform distribution is complete with respect to testing identity to a fixed distribution. ECCC, TR16-015, 2016.

[138] . Reducing testing affine subspaces to testing linearity. ECCC, TR16-080, 2016.

[139] Testing monotonicity. Combinatorica, Vol. 20 (3), pp. 301–337, 2000. Extended abstract in 39th FOCS, 1998. , , , , and .

[140] Property testing and its connection to learning and approximation. Journal of the ACM, pp. 653–750, 1998. Extended abstract in 37th FOCS, 1996. , , and .

[141] Strong locally testable codes with relaxed local decoders. In 30th IEEE Conference on Computational Complexity, pp. 1–41, 2015. , , and .

[142] Proofs of proximity for context-free languages and read-once branching programs. In 42nd International Colloquium on Automata, Languages and Programming, pp. 666–677, 2015. , , and .

[143] Proximity oblivious testing and the role of invariances. In 15th RANDOM, pp. 579–592, 2011. and .

[144] Hierarchy theorems for property testing. Computational Complexity, Vol. 21 (1), pp. 129–192, 2012. , , , and .

[145] A hard-core predicate for all one-way functions. In 21st ACM Symposium on the Theory of Computing, pp. 25–32, 1989. and .

[146] , and . Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the ACM, Vol. 38, No. 3, pp. 691–729, 1991. Preliminary version in 27th FOCS, 1986.

[147] Property testing in bounded degree graphs. Algorithmica, pp. 302–343, 2002. Extended abstract in 29th STOC, 1997. and .

[148] A sublinear bipartite tester for bounded degree graphs. Combinatorica, Vol. 19 (3), pp. 335–373, 1999. Extended abstract in 30th STOC, 1998. and .

[149] and . On testing expansion in bounded-degree graphs. ECCC, TR00-020, 2000.

[150] Approximating average parameters of graphs. Random Structures and Algorithms, Vol. 32 (3), pp. 473–493, 2008. and .

[151] and . Algorithmic aspects of property testing in the dense graphs model. SIAM Journal on Computing, Vol. 40, No. 2, pp. 376–445, 2011.

[152] and . On proximity oblivious testing. SIAM Journal on Computing, Vol. 40, No. 2, pp. 534–566, 2011. Extended abstract in 41st STOC, 2009.

[153] On sample-based testers. In 6th Innovations in Theoretical Computer Science, pp. 337–345, 2015. and .

[154] and . On the relation between the relative earth mover distance and the variation distance (an exposition). Available from http://www.wisdom.weizmann.ac.il/∼oded/p_remd.html

[155] On the randomness complexity of property testing. Computational Complexity, Vol. 19 (1), pp. 99–133, 2010. and .

[156] and . Two-sided error proximity oblivious testing. ECCC, TR12-021, 2012. (See Revision 4, 2014.)

[157] Locally testable codes and PCPs of almost-linear length. Journal of the ACM, Vol. 53 (4), pp. 558–655, 2006. Extended abstract in 43rd FOCS, 2002. and .

[158] Three theorems regarding testing graph properties. Random Structures and Algorithms, Vol. 23 (1), pp. 23–57, August 2003. and .

[159] On interactive proofs with a laconic prover. Computational Complexity, Vol. 11 (1–2), pp. 1–53, 2002. , , and .

[160] Probabilistic encryption. Journal of Computer and System Science, Vol. 28, No. 2, pp. 270–299, 1984. Preliminary version in 14th STOC, 1982. and .

[161] The knowledge complexity of interactive proof systems. SIAM Journal on Computing, Vol. 18, pp. 186–208, 1989. Preliminary version in 17th STOC, 1985. Earlier versions date to 1982. , and .

[162] and . On the benefit of adaptivity in property testing of dense graphs. Algorithmica (special issue for RANDOM and APPROX 2007), Vol. 58 (4), pp. 811–830, 2010.

[163] Finding a dense-core in Jellyfish graphs. Computer Networks, Vol. 52 (15), pp. 2831–2841, 2008. Preliminary version in 5th International Workshop on Algorithms and Models for the Web-Graph. , , , and .

[164] Lower bounds of tower type for Szemeredi's uniformity lemma. GAFA, Vol. 7, pp. 322–337, 1997. .

[165] , , and . Robust testing of lifted codes with applications to low-degree testing. ECCC, TR15-043, 2015.

[166] and . Non-interactive proofs of proximity. ECCC, TR13-078, 2013.

[167] Distribution-free property testing. In 7th RANDOM, pp. 341–353, 2003. and .

[168] Optimal testing of multivariate polynomials over small prime fields. SIAM Journal on Computing, Vol. 42 (2), pp. 536–562, 2013. Preliminary version in 52nd FOCS, 2011. , , and .

[169] Local graph partitions for approximation and testing. In 50th IEEE Symposium on Foundations of Computer Science, pp. 22–31, 2009. , , , and .

[170] . Clique is hard to approximate within n. Acta Mathematica, Vol. 182, pp. 105–142, 1999. Preliminary versions in 28th STOC (1996) and 37th FOCS (1996).

[171] Getting optimal in-approximability results. Journal of the ACM, Vol. 48, pp. 798–859, 2001. Extended abstract in 29th STOC, 1997. .

[172] (ed.). Approximation Algorithms for NP-Hard Problems. PWS, 1996.

[173] Testing and reconstruction of Lipschitz functions with applications to data privacy. SIAM Journal on Computing, Vol. 42 (2), pp. 700–731, 2013. Extended abstract in 52nd FOCS, 2011. and .

[174] Testing low-degree polynomials over prime fields. Random Structures and Algorithms, Vol. 35 (2), pp. 163–193, 2009. Preliminary version in 45th FOCS, 2004. , , , and .

[175] Testing expansion in bounded degree graphs. In 35th International Colloquium on Automata, Languages and Programming, pp. 527–538, 2008. (Preliminary version appeared as TR07-076, ECCC, 2007.) and .

[176] The probabilistic communication complexity of set intersection. SIAM Journal on Discrete Mathematics, Vol. 5 (4), pp. 545–557, 1992. and .

[177] On clusterings: Good, bad and spectral. Journal of the ACM, Vol. 51 (3), pp. 497–515, 2004. Preliminary version in 41st FOCS, 2000. , , and .

[178] Global min-cuts in RNC and other ramifications of a simple mincut algorithm. In 4th ACM-SIAM Symposium on Discrete Algorithms, pp. 21–30, 1993. .

[179] On the efficiency of local decoding procedures for error-correcting codes. In 32nd ACM Symposium on the Theory of Computing, pp. 80–86, 2000. and .

[180] Tight bounds for testing bipartiteness in general graphs. SIAM Journal on Computing, Vol. 33 (6), pp. 1441–1483, 2004. , , and .

[181] Breaking the epsilon-soundness bound of the linearity test over GF(2). SIAM Journal on Computing, Vol. 39 (5), pp. 1988–2003, 2010. , , and .

[182] and . Testing polynomials over general fields. SIAM Journal on Computing, 35 (3):779–802, 2006. Preliminary version in 45th FOCS, 2004.

[183] Algebraic property testing: The role of invariance. In 40th ACM Symposium on the Theory of Computing, pp. 4-3–412, 2008. and .

[184] An Introduction to Computational Learning Theory. MIT Press, 1994. and .

[185] Exponential lower bound for 2-query locally decodable codes via a quantum argument. Journal of Computer and System Science, Vol. 69 (3), pp. 395–420, 2004. Preliminary version in 35th STOC, 2003. and .

[186] On the power of unique 2-prover 1-round games. In 34th ACM Symposium on the Theory of Computing, pp. 767–775, 2002. .

[187] Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? SIAM Journal on Computing, Vol. 37 (1), pp. 319–357, 2007. Extended abstract in 44th FOCS, 2004. , , , and .

[188] , , and . On monotonicity testing and Boolean Isoperimetric type theorems. ECCC, TR15-011, 2015.

[189] Vertex cover might be hard to approximate to within 2-epsilon. Journal of Computer and System Science, Vol. 74 (3), pp. 335–349, 2008. Extended abstract in 18th CCC, 2003. and .

[190] A note on efficient zero-knowledge proofs and arguments. In 24th ACM Symposium on the Theory of Computing, pp. 723–732, 1992. .

[191] , , , and . High rate locally-correctable and locallytestable codes with sub-polynomial query complexity ECCC, TR15-068, 2015.

[192] , , , and . High-rate locally-testable codes with quasi-polylogarithmic query complexity. ECCC, TR15-110, 2015.

[193] , , and . Tight approximation of image matching. CoRR, abs/1111.1713, 2011.

[194] FAsT-Match: Fast affine template matching. International Journal of Computer Vision, Vol. 121 (1), pp. 111–125, 2017. , , , and .

[195] Communication Complexity. Cambridge University Press, 1997. and .

[196] Fully parallelized multi prover protocols for NEXP-time. In 32nd IEEE Symposium on Foundations of Computer Science, pp. 13–18, 1991. and .

[197] A quasi-polynomial time partition oracle for graphs with an excluded minor. ACM Transactions on Algorithms, Vol. 11 (3), pp. 24:1–24:13, 2015. and .

[198] , , and . Local algorithms for sparse spanning graphs. In 18th RANDOM, LIPIcs, Vol. 28, Schloss Dagstuhl –Leibniz-Zentrum fuer Informatik, pp. 826–842, 2014.

[199] One-way functions and pseudorandom generators. In 17th ACM Symposium on the Theory of Computing, pp. 363–365, 1985. .

[200] Technical Report TR–317–91, Princeton University, Computer Science Department, 1991. and . Lecture notes on evasiveness of graph properties.

[201] Ramanujan graphs. Combinatorica, Vol. 8, pp. 261–277, 1988. , , and .

[202] Algebraic methods for interactive proof systems. Journal of the ACM, Vol. 39, No. 4, pp. 859–868, 1992. Extended abstract in 31st FOCS, 1990. , , , and .

[203] Distance approximation in bounded-degree and general sparse graphs. Transactions on Algorithms, Vol. 5 (2), Art. 22, 2009. and .

[204] Combinatorial construction of locally testable codes. SIAM Journal on Computing, Vol. 39 (2), pp. 491–544, 2009. Extended abstract in 40th STOC, 2008. .

[205] Combinatorial PCPs with efficient verifiers. In 50th IEEE Symposium on Foundations of Computer Science, pp. 463–471, 2009. .

[206] . Secrecy, authentication, and public key systems. PhD dissertation, Department of Electrical Engineering, Stanford University 1979.

[207] Computationally sound proofs. SIAM Journal on Computing, Vol. 30 (4), pp. 1253–1298, 2000. Preliminary version in 35th FOCS, 1994. .

[208] Conductance and convergence of Markov chains –A combinatorial treatment of expanders. In 30th IEEE Symposium on Foundations of Computer Science, pp. 526–531, 1989. .

[209] A new conceptual clustering framework. Machine Learning, Vol. 56 (1–3), pp. 115–151, 2004. , , and .

[210] Two-query PCP with subconstant error. Journal of the ACM, Vol. 57 (5), 2010. Extended abstract in 49th FOCS, 2008. and .

[211] Noise stability of functions with low influences: Invariance and optimality. In 46th IEEE Symposium on Foundations of Computer Science, pp. 21–30, 2005. , , and .

[212] Randomized Algorithms. Cambridge University Press, 1995. and .

[213] Data streams: Algorithms and applications. Foundations and Trends in Theoretical Computer Science, Vol. 1 (2), pp. 117–236, 2005. .

[214] and . Testing the expansion of a graph. TR07-118, ECCC, 2007.

[215] Testing membership in languages that have small width branching programs. SIAM Journal on Computing, Vol. 31 (5), pp. 1557–1570, 2002. .

[216] . Property testing of massively parametrized problems –A Survey. In [134].

[217] Every property of hyperfinite graphs is testable. SIAM Journal on Computing, Vol. 42 (3), pp. 1095–1112, 2013. and .

[218] . New sublinear methods in the struggle against classical problems. PhD thesis, Massachusetts Institute of Technology, 2010.

[219] On modeling profiles instead of values. In 20th Uncertainity in Artificial Intelligence, pp. 426–435, 2004. , , , and .

[220] Always Good Turing: Asymptotically optimal probability estimation. Science, Vol. 302, Nr. 5644, pp. 427–431, 2003. , , and .

[221] A coincidence-based test for uniformity given very sparsely-sampled discrete data. IEEE Transactions on Information Theory, Vol. 54, pp. 4750–4755, 2008. .

[222] Testing the diameter of graphs. Random Structures and Algorithms, Vol. 20 (2), pp. 165–183, 2002. and .

[223] Approximating the minimum vertex cover in sublinear time and a connection to distributed algorithms. Theoretical Computer Science, Vol. 381 (1–3), pp. 183–196, 2007. and .

[224] On testing convexity and submodularity. SIAM Journal on Computing, Vol. 32 (5), pp. 1158–1184, 2003. , , and .

[225] Tolerant property testing and distance approximation. Journal of Computer and System Science, Vol. 72 (6), pp. 1012–1042, 2006. , , and .

[226] Testing basic Boolean formulae. SIAM Journal on Discrete Mathematics and Algebra, Vol. 16 (1), pp. 20–46, 2002. , , and .

[227] Computational limitations on learning from examples. Journal of the ACM, Vol. 35 (4), pp. 965–984, 1988. and .

[228] Nearly-linear size holographic proofs. In 26th ACM Symposium on the Theory of Computing, 1994, pp. 194–203. and .

[229] Monte Carlo methods for index computations (mod p). Mathematics of Computation, Vol 32, pp. 918–924, 1978. .

[230] In 7th RANDOM, Lecture Notes in Computer Science, Vol. 2764, pp. 370–381, Springer, 2003. . Approximate testing of visual properties.

[231] . Transitive closure spanners: A survey. In [134].

[232] Strong lower bounds for approximating distribution support size and the distinct elements problem. SIAM Journal on Computing, Vol. 39 (3), pp. 813–842, 2009. Extended abstract in 48th FOCS, 2007. , , , and .

[233] and . A note on adaptivity in testing properties of bounded degree graphs. ECCC, TR06-089, 2006.

[234] . A parallel repetition theorem. SIAM Journal on Computing, Vol. 27 (3), pp. 763–803, 1998. Extended abstract in 27th STOC, 1995.

[235] A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP. In 29th ACM Symposium on the Theory of Computing, pp. 475–484, 1997. and .

[236] Constant-round interactive proofs for delegating computation. In 48th ACM Symposium on the Theory of Computing, pp. 49–62, 2016. , , .

[237] Graph minors. I. Excluding a forest. Journal of Combinatorial Theory, Series B, Vol. 35 (1), pp. 39–61, 1983. and .

[238] Graph minors. XIII. The disjoint paths problem. Journal of Combinatorial Theory, Series B, Vol. 63 (1), pp. 65–110, 1995. and .

[239] Graph Minors. XX.Wagner's conjecture. Journal of Combinatorial Theory, Series B, Vol. 92 (1), pp. 325–357, 2004. and .

[240] On graphs with small subgraphs of large chromatic number. Graphs and Combinatorics, Vol. 1, pp. 91–96, 1985. and .

[241] Property testing: A learning theory perspective. Foundations and Trends in Machine Learning, Vol. 1 (3), pp. 307–402, 2008. .

[242] Algorithmic and analysis techniques in property testing. Foundations and Trends in Theoretical Computer Science, Vol. 5, pp. 73–205, 2010. .

[243] and . Testing properties of sparse images. ACM Transactions on Algorithms, Vol. 10 (4), pp. 17:1–17:52, 2014. Extended abstract in 51st FOCS, 2010.

[244] Interactive proofs of proximity: Delegating computation in sublinear time. In 45th ACM Symposium on the Theory of Computing, pp. 793–802, 2013. , , and .

[245] Self-testing polynomial functions efficiently and over rational domains. In 3rd ACM-SIAM Symposium on Discrete Algorithms, pp. 23–32, 1992. and .

[246] Robust characterization of polynomials with applications to program testing. SIAM Journal on Computing, Vol. 25 (2), pp. 252–271, 1996. Unifies and extends part of the results contained in [124] and [245]. and .

[247] Fast local computation algorithms. In 2nd Innovations in (Theoretical) Computer Science, pp. 223–238, 2011. , , , and .

[248] Local monotonicity reconstruction. SIAM Journal on Computing, Vol. 39 (7), pp. 2897–2926, 2010. and .

[249] A PCP characterization of NP with optimal amortized query complexity. In 32nd ACM Symposium on the Theory of Computing, pp. 191–199, 2000. and .

[250] Fast probabilistic algorithms for verification of polynomial identities. Journal of the ACM, Vol. 27 (4), pp. 701–717, October 1980. .

[251] . Testing by implicit learning: A brief survey. In [134].

[252] Is submodularity testable. Algorithmica, Vol. 69 (1), pp. 1–25, 2014. Extended abstract in 2nd Innovations in (Theoretical) Computer Science, 2011. , .

[253] . IP = PSPACE. Journal of the ACM, Vol. 39, No. 4, pp. 869–877, 1992. Preliminary version in 31st FOCS, 1990.

[254] Derandomizing homomorphism testing in general groups. SIAM Journal on Computing, Vol. 36 (4), pp. 1215–1230, 2006. and .

[255] . Computationally efficient error-correcting codes and holographic proofs. PhD thesis, Massachusetts Institute of Technology, June 1995.

[256] . Efficient checking of polynomials and proofs and the hardness of approximation problems. PhD thesis, Computer Science Division, University of California at Berkeley, 1992. Also appears as Lecture Notes in Computer Science, Vol. 1001, Springer, 1996.

[257] . Invariances in property testing. In [134].

[258] Regular partitions of graphs. In Proceedings Colloque International CNRS, pp. 399–401, 1978. .

[259] . On being far from far and on dual problems in property testing. ECCC, TR15-072, 2015. (Revision 1, Aug. 2015.)

[260] . A note on tolerant testing with one-sided error. ECCC, TR16-032, 2016.

[261] Algorithmic approaches to statistical questions. PhD thesis, University of California at Berkeley, 2012. .

[262] A theory of the learnable. Communications of the ACM, Vl. 27 (11), pp. 1134–1142, 1984. .

[263] Estimating the unseen: An n/log(n)-sample estimator for entropy and support size, shown optimal via new CLTs. In 43rd ACM Symposium on the Theory of Computing, pp. 685–694, 2011. Full version in ECCC, TR10-179 and TR10-180, 2010. and .

[264] and . Instance-by-instance optimal identity testing. ECCC, TR13-111, 2013.

[265] Instance optimal learning of discrete distribution. In 48th ACM Symposium on the Theory of Computing, pp. 142–155, 2016. and .

[266] . Testing symmetric properties of distributions, PhD thesis, Massachusetts Institute of Technology, 2012.

[267] Strong LTCs with inverse poly-log rate and constant soundness. In 54th IEEE Symposium on Foundations of Computer Science, pp. 330–339, 2013. .

[268] . Explicit strong LTCs with inverse poly-log rate and constant soundness. ECCC, TR15-020, 2015.

[269] . Various techniques used in connection with random digits. Applied Math Series, Vol. 12, pp. 36–38, 1951. Reprinted in von Neumann's Collected Works, Vol. 5, pp. 768–770, Pergamon, 1963.

[270] Sketching as a tool for numerical linear algebra. Foundations and Trends in Theoretical Computer Science, Vol. 10 (1–2), pp. 1–157, 2014. .

[271] and . Chebyshev polynomials, moment matching, and optimal estimation of the unseen. arXiv:1504.01227 [math.ST], 2015.

[272] Probabilistic complexity: Towards a unified measure of complexity. In 18th IEEE Symposium on Foundations of Computer Science, pp. 222–227, 1977. .

[273] . Lower bounds by probabilistic arguments. In 24th IEEE Symposium on Foundations of Computer Science, pp. 420–428, 1983.

[274] Towards 3-query locally decodable codes of subexponential length. In 39th ACM Symposium on the Theory of Computing, pp. 266–274, 2007. .

[275] Property testing on k-vertex-connectivity of graphs. Algorithmica, Vol. 62 (3), pp. 701–712, 2012. and .

[276] . Probabilistic algorithms for sparse polynomials. In EUROSAM ‘79: International Symposium on Symbolic and Algebraic Manipulation, E. Ng (Ed.), Lecture Notes in Computer Science, Vol. 72, Springer, pp. 216–226, 1979.

* Views captured on Cambridge Core between 13th November 2017 - 16th January 2018. This data will be updated every 24 hours.