Abstract:A graph G on n vertices is ε ‐far from property P if one should add/delete at least εn2 edges to turn G into a graph satisfying P. A distance estimator for P is an algorithm that given G and α,ε>0 distinguishes between the case that G is (α−ε) ‐close to P and the case that G is α ‐far from P. If P has a distance estimator whose query complexity depends only on ε , then P is said to be estimable. Every estimable property is clearly also testable, since testing corresponds to estimating with α=ε . A central result in the area of property testing is the Fischer–Newman theorem, stating that an inverse statement also holds, that is, that every testable graph property is in fact estimable. The proof of Fischer and Newman was highly ineffective, since it incurred a tower‐type loss when transforming a testing algorithm for P into a distance estimator. This raised the natural problem, studied recently by Fiat–Ron and by Hoppen–Kohayakawa–Lang–Lefmann–Stagni, whether one can find a transformation with a polynomial loss. We obtain the following results. 1.We show that if P is hereditary, then one can turn a tester for P into a distance estimator with an exponential loss. This is an exponential improvement over the result of Hoppen et al., who obtained a transformation with a double exponential loss. 2.We show that for every P, one can turn a testing algorithm for P into a distance estimator with a double exponential loss. This improves over the transformation of Fischer–Newman that incurred a tower‐type loss. Our main conceptual contribution in this work is that we manage to turn the approach of Fischer–Newman, which was inherently ineffective, into an efficient one. On the technical level, our main contribution is in establishing certain properties of Frieze–Kannan Weak Regular partitions that are of independent interest.

Isomorphism Testing Parameterized by Genus and Beyond

Isomorphism Testing Parameterized by Genus and Beyond

Isomorphism Testing for Graphs Excluding Small Topological Subgraphs

Faster FPT Algorithm for Graph Isomorphism Parameterized by Eigenvalue Multiplicity

Isomorphism for Tournaments of Small Twin Width

Faster Isomorphism for $p$-Groups of Class 2 and Exponent $p$

Beating the Generator-Enumeration Bound for $p$-Group Isomorphism

Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth

The Graph Isomorphism Problem and approximate categories

Parallel Planar Subgraph Isomorphism and Vertex Connectivity

Graph isomorphism in quasipolynomial time [extended abstract]

Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k

On the parallel complexity of Group Isomorphism via Weisfeiler-Leman

Generalized Witten Genus and Vanishing Theorems

Count-Free Weisfeiler--Leman and Group Isomorphism

Efficient polynomial-time approximation scheme for the genus of dense graphs

RSVP: Beyond Weisfeiler Lehman Graph Isomorphism Test

Graph isomorphism in quasipolynomial time parameterized by treewidth

A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension

Higher Genus FJRW Invariants of a Fermat Cubic

Testing versus estimation of graph properties, revisited