Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/3313276.3316302acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
research-article

Testing graphs in vertex-distribution-free models

Published: 23 June 2019 Publication History

Abstract

Prior studies of testing graph properties presume that the tester can obtain uniformly distributed vertices in the tested graph (in addition to obtaining answers to the some type of graph-queries). Here we envision settings in which it is only feasible to obtain random vertices drawn according to an arbitrary distribution (and, in addition, obtain answers to the usual graph-queries). We initiate a study of testing graph properties in such settings, while adapting the definition of distance between graphs so that it reflects the different probability weight of different vertices. Hence, the distance to the property represents the relative importance of the “part of the graph” that violates the property. We consider such “vertex-distribution free” (VDF) versions of the two most-studied models of testing graph properties (i.e., the dense graph model and the bounded-degree model).
In both cases, we show that VDF testing within complexity that is independent of the distribution on the vertex-set (of the tested graph) is possible only if the same property can be tested in the standard model with one-sided error and size-independent complexity. We also show that this necessary condition is not sufficient; yet, we present size-independent VDF testers for many of the natural properties that satisfy the necessary condition.

References

[1]
N. Alon. Testing subgraphs of large graphs. Random Structures and Algorithms, Vol. 21, pages 359–370, 2002.
[2]
N. Alon, J. Balogh, P. Keevash, and B. Sudakov. The Number of Edge Colorings with No Monochromatic Cliques. Journal of the London Mathematical Society, Vol. 70 (2), pages 273–288, 2006.
[3]
N. Alon, E. Fischer, M. Krivelevich and M. Szegedy. Efficient Testing of Large Graphs. Combinatorica, Vol. 20, pages 451–476, 2000.
[4]
N. Alon and J. Fox. Easily testable graph properties. Combinatorics, Probability and Computing, Vol. 24 (4), pages 646–657, 2015.
[5]
N. Alon and A. Shapira. A Characterization of the (natural) Graph Properties Testable with One-Sided Error. SIAM Journal on Computing, Vol. 37 (6), pages 1703–1727, 2008.
[6]
M. Balcan, E. Blais, A. Blum, and L. Yang. Active property testing. In 53rd FOCS, pages 21–30, 2012.
[7]
I. Benjamini, O. Schramm, and A. Shapira. Every Minor-Closed Property of Sparse Graphs is Testable. In 40th STOC, pages 393–402, 2008.
[8]
E. Blais, C.L. Canonne, and T. Gur. Distribution Testing Lower Bounds via Reductions from Communication Complexity. In 32nd Computational Complexity Conference, pages 28:1–28:40, 2017.
[9]
A. Czumaj, O. Goldreich, D. Ron, C. Seshadhri, A. Shapira, and C. Sohler. Finding cycles and trees in sublinear time. RS&A, Vol. 45(2), pages 139–184, 2014.
[10]
I. Dinur, O. Goldreich, and T. Gur. Every set in P is strongly testable under a suitable encoding. ECCC, TR18-050, 2018.
[11]
J. Fox. A new proof of the graph removal lemma. Ann. of Math, Vol. 174 (1), pages 561–579, 2011.
[12]
L. Gishboliner and A. Shapira. Which Properties are Testable in the Vertex-Distribution-Free Model. Preprint, to appear in 51st STOC, 2019.
[13]
O. Goldreich. Computational Complexity: A Conceptual Perspective. Cambridge University Press, 2008.
[14]
O. Goldreich. Introduction to Property Testing. Cambridge University Press, 2017.
[15]
O. Goldreich. Flexible models for testing graph properties. ECCC, TR18-104, 2018.
[16]
O. Goldreich. Testing Graphs in Vertex-Distribution-Free Models. ECCC, TR18-171, 2018.
[17]
O. Goldreich. Testing Graphs in Vertex-Distribution-Free Models. ECCC, TR18-171, 2018. Revision Nr 1, March 2019.
[18]
O. Goldreich, S. Goldwasser, and D. Ron. Property testing and its connection to learning and approximation. Journal of the ACM, pages 653–750, July 1998.
[19]
O. Goldreich, M. Krivelevich, I. Newman, and E. Rozenberg. Hierarchy Theorems for Property Testing. Computational Complexity, Vol. 21 (1), pages link to page 8 STOC ’19, June 23–26, 2019, Phoenix, AZ, USA Oded Goldreich 129–192, 2012.
[20]
O. Goldreich and D. Ron. Property Testing in Bounded Degree Graphs. Algorithmica, Vol. 32 (2), pages 302–343, 2002.
[21]
O. Goldreich and D. Ron. A Sublinear Bipartitness Tester for Bounded Degree Graphs. Combinatorica, Vol. 19 (3), pages 335–373, 1999.
[22]
O. Goldreich and D. Ron. On Proximity Oblivious Testing. SIAM J. on Comp., Vol. 40, No. 2, pages 534–566, 2011. Extended abstract in 41st STOC, 2009.
[23]
O. Goldreich and D. Ron. On Sample-Based Testers. TOCT, Vol. 8 (2), 2016.
[24]
O. Goldreich and L. Trevisan. Three theorems regarding testing graph properties. Random Structures and Algorithms, Vol. 23 (1), pages 23–57, August 2003.
[25]
O. Goldreich and L. Trevisan. Errata to { 24 }. Manuscript, August 2005. Available from http://www.wisdom.weizmann.ac.il/∼oded/p_ttt.html
[26]
T. Kaufman, M. Krivelevich, and D. Ron. Tight Bounds for Testing Bipartiteness in General Graphs. SIAM Journal on Computing, Vol. 33 (6), pages 1441–1483, 2004.
[27]
J. Komlos and M. Simonovits. Szemeredi’s regularity lemma and its applications in graph theory. Paul Erdos is 80, Proceedings of Colloquia of the Bolyai Mathematical Society 2, pages 295–352, 1993. See also DIMACS Tech. Rep. 96-10, 1996.
[28]
W. Mader. Homomorphiesätze für graphen. Mathematische Annalen, Vol. 178, pages 154–168, 1968.
[29]
Y. Nakar and D. Ron. On the Testability of Graph Partition Properties. In Proc. of RANDOM’18, pages 53:1–53:13, 2018.
[30]
N. Nisan and A. Wigderson. Hardness vs Randomness. JCSS, Vol. 49, No. 2, pages 149–167, 1994. Preliminary version in 29th FOCS, 1988.
[31]
M. Parnas and D. Ron. Testing the diameter of graphs. Random Structures and Algorithms, Vol. 20 (2), pages 165–183, 2002.
[32]
O. Pikhurko. An Analytic Approach to Stability. Discrete Math., Vol. 310, pages 2951–2964, 2010.
[33]
R. Rubinfeld and M. Sudan. Robust characterization of polynomials with applications to program testing. SIAM Journal on Computing, 25(2), pages 252–271, 1996.
[34]
E. Szemeŕedi. Regular partitions of graphs. In Proceedings, Colloque Inter. CNRS, pages 399–401, 1978.
[35]
Y. Yoshida and H. Ito. Property Testing on k-Vertex-Connectivity of Graphs. Algorithmica, Vol. 62 (3), pages 701–712, 2012.

Cited By

View all
  • (2020)Flexible Models for Testing Graph PropertiesComputational Complexity and Property Testing10.1007/978-3-030-43662-9_19(352-362)Online publication date: 4-Apr-2020
  • (2019)Hierarchy Theorems for Testing Properties in Size-Oblivious Query Complexitycomputational complexity10.1007/s00037-019-00187-2Online publication date: 6-Jun-2019

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
STOC 2019: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing
June 2019
1258 pages
ISBN:9781450367059
DOI:10.1145/3313276
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Graph Algorithms
  2. One-sided vs Two-sided Error
  3. Property Testing

Qualifiers

  • Research-article

Funding Sources

Conference

STOC '19
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

Upcoming Conference

STOC '25
57th Annual ACM Symposium on Theory of Computing (STOC 2025)
June 23 - 27, 2025
Prague , Czech Republic

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)24
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2020)Flexible Models for Testing Graph PropertiesComputational Complexity and Property Testing10.1007/978-3-030-43662-9_19(352-362)Online publication date: 4-Apr-2020
  • (2019)Hierarchy Theorems for Testing Properties in Size-Oblivious Query Complexitycomputational complexity10.1007/s00037-019-00187-2Online publication date: 6-Jun-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media