Tolerant Bipartiteness Testing in Dense Graphs

Authors Arijit Ghosh, Gopinath Mishra, Rahul Raychaudhury, Sayantan Sen



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2022.69.pdf
  • Filesize: 0.82 MB
  • 19 pages

Document Identifiers

Author Details

Arijit Ghosh
  • Indian Statistical Institute, Kolkata, India
Gopinath Mishra
  • University of Warwick, Coventry, UK
Rahul Raychaudhury
  • Duke University, Durham, NC, USA
Sayantan Sen
  • Indian Statistical Institute, Kolkata, India

Acknowledgements

The authors would like to thank Yufei Zhao, Dingding Dong and Nitya Mani for pointing out a mistake in an earlier version of this paper, as well as the reviewers of ICALP for various suggestions that improved the presentation of the paper.

Cite AsGet BibTex

Arijit Ghosh, Gopinath Mishra, Rahul Raychaudhury, and Sayantan Sen. Tolerant Bipartiteness Testing in Dense Graphs. In 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 229, pp. 69:1-69:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.ICALP.2022.69

Abstract

Bipartite testing has been a central problem in the area of property testing since its inception in the seminal work of Goldreich, Goldwasser, and Ron. Though the non-tolerant version of bipartite testing has been extensively studied in the literature, the tolerant variant is not well understood. In this paper, we consider the following version of tolerant bipartite testing problem: Given two parameters ε, δ ∈ (0,1), with δ > ε, and access to the adjacency matrix of a graph G, we have to decide whether G can be made bipartite by editing at most ε n² entries of the adjacency matrix of G, or we have to edit at least δ n² entries of the adjacency matrix to make G bipartite. In this paper, we prove that for δ = (2+Ω(1))ε, tolerant bipartite testing can be decided by performing 𝒪̃(1/ε³) many adjacency queries and in 2^𝒪̃(1/ε) time complexity. This improves upon the state-of-the-art query and time complexities of this problem of 𝒪̃(1/ε⁶) and 2^𝒪̃(1/ε²), respectively, due to Alon, Fernandez de la Vega, Kannan and Karpinski, where 𝒪̃(⋅) hides a factor polynomial in log (1/ε).

Subject Classification

ACM Subject Classification
  • Theory of computation → Streaming, sublinear and near linear time algorithms
Keywords
  • Tolerant Testing
  • Bipartite Testing
  • Query Complexity
  • Graph Property Testing

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Noga Alon, Wenceslas Fernandez de la Vega, Ravi Kannan, and Marek Karpinski. Random Sampling and Approximation of MAX-CSPs. Journal of Computer and System Sciences, 67(2):212-243, 2003. URL: https://doi.org/10.1016/S0022-0000(03)00008-4.
  2. Noga Alon, Eldar Fischer, Michael Krivelevich, and Mario Szegedy. Efficient testing of large graphs. Combinatorica, 20(4):451-476, 2000. URL: https://doi.org/10.1007/s004930070001.
  3. Noga Alon, Eldar Fischer, Ilan Newman, and Asaf Shapira. A combinatorial characterization of the testable graph properties: it’s all about regularity. SIAM Journal on Computing, 39(1):143-167, 2009. URL: https://doi.org/10.1137/060667177.
  4. Noga Alon and Michael Krivelevich. Testing k-colorability. SIAM Journal on Discrete Mathematics, 15(2):211-227, 2002. URL: https://doi.org/10.1137/S0895480199358655.
  5. Andrej Bogdanov and Fan Li. A better tester for bipartiteness? arXiv preprint, 2010. URL: http://arxiv.org/abs/1011.0531.
  6. Andrej Bogdanov and Luca Trevisan. Lower Bounds for Testing Bipartiteness in Dense Graphs. In CCC, pages 75-81, 2004. URL: https://doi.org/10.1109/CCC.2004.1313803.
  7. Artur Czumaj, Morteza Monemizadeh, Krzysztof Onak, and Christian Sohler. Planar graphs: Random walks and bipartiteness testing. Random Structures & Algorithms, 55(1):104-124, 2019. URL: https://doi.org/10.1002/rsa.20826.
  8. Devdatt P Dubhashi and Alessandro Panconesi. Concentration of Measure for the Analysis of Randomized Algorithms. Cambridge University Press, 2009. URL: http://www.cambridge.org/gb/knowledge/isbn/item2327542/.
  9. Eldar Fischer and Ilan Newman. Testing versus estimation of graph properties. SIAM Journal on Computing, 37(2):482-501, 2007. URL: https://doi.org/10.1137/060652324.
  10. Arijit Ghosh, Gopinath Mishra, Rahul Raychaudhury, and Sayantan Sen. Tolerant bipartiteness testing in dense graphs. arXiv preprint, 2022. URL: http://arxiv.org/abs/2204.12397.
  11. Oded Goldreich. Introduction to Property Testing. Cambridge University Press, 2017. URL: https://doi.org/10.1017/9781108135252.
  12. Oded Goldreich, Shafi Goldwasser, and Dana Ron. Property Testing and its Connection to Learning and Approximation. Journal of the ACM, 45(4):653-750, 1998. URL: https://doi.org/10.1145/285055.285060.
  13. Oded Goldreich and Dana Ron. A sublinear bipartiteness tester for bounded degree graphs. Combinatorica, 19(3):335-373, 1999. URL: https://doi.org/10.1007/s004930050060.
  14. Mira Gonen and Dana Ron. On the benefits of adaptivity in property testing of dense graphs. In APPROX-RANDOM, pages 525-539, 2007. URL: https://doi.org/10.1007/978-3-540-74208-1_38.
  15. Tali Kaufman, Michael Krivelevich, and Dana Ron. Tight bounds for testing bipartiteness in general graphs. SIAM Journal on computing, 33(6):1441-1483, 2004. URL: https://doi.org/10.1137/S0097539703436424.
  16. Claire Mathieu and Warren Schudy. Yet Another Algorithm for Dense Max Cut: Go Greedy. In SODA, pages 176-182, 2008. URL: http://dl.acm.org/citation.cfm?id=1347082.1347102.
  17. Michael Mitzenmacher and Eli Upfal. Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press, 2005. URL: https://doi.org/10.1017/CBO9780511813603.
  18. Christian Sohler. Almost Optimal Canonical Property Testers for Satisfiability. In FOCS, pages 541-550, 2012. URL: https://doi.org/10.1109/FOCS.2012.59.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail