Lune

FOCS2023Top-tier venue

Testing Graph Properties with the Container Method

Eric Blais, Cameron Seth

2023Year
11Citations
5Top-tier citations

Abstract

We establish nearly optimal sample complexity bounds for testing the ρ-clique property in the dense graph model. Specifically, we show that it is possible to distinguish graphs on n vertices that have a ρn-clique from graphs for which at least ϵn 2 edges must be added to form a ρn-clique by sampling and inspecting a random subgraph on only Õ(ρ 3 /ϵ 2 ) vertices. We also establish new sample complexity bounds for ϵ-testing k-colorability. In this case, we show that a sampled subgraph on Õ(k/ϵ) vertices suffices to distinguish k-colorable graphs from those for which any k-coloring of the vertices causes at least ϵn 2 edges to be monochromatic. The new bounds for testing the ρ-clique and k-colorability properties are both obtained via new extensions of the graph container method. This method has been an effective tool for tackling various problems in graph theory and combinatorics. Our results demonstrate that it is also a powerful tool for the analysis of property testing algorithms.

1 By bounded error we mean there exist absolute constants δ1 > δ2 such that if G has property Π, then the algorithm accepts with probability at least δ1, and if G is ϵ-far from Π, then the algorithm accepts with probability at most δ2.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 037b8774-e99d-40ad-b732-54b20a729696

Cited by top-tier papers5

Ask how each one uses it

Builds on4

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines