Testing Hereditary Properties of Ordered Graphs and Matrices

@article{Alon2017TestingHP,
  title={Testing Hereditary Properties of Ordered Graphs and Matrices},
  author={Noga Alon and Omri Ben-Eliezer and Eldar Fischer},
  journal={2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)},
  year={2017},
  pages={848-858}
}
We consider properties of edge-colored vertex-ordered graphs} – graphs with a totally ordered vertex set and a finite set of possible edge colors – showing that any hereditary property of such graphs is strongly testable, i.e., testable with a constant number of queries. We also explain how the proof can be adapted to show that any hereditary property of two-dimensional matrices over a finite alphabet (where row and column order is not ignored) is strongly testable. The first… 

Limits of Ordered Graphs and their Applications.

The theory of graph limits is extended to the ordered setting, presenting a limit object for dense vertex-ordered graphs, which is called an orderon, and it is shown that the space of orderons is compact with respect to this distance notion,Which is key to a successful analysis of combinatorial objects through their limits.

Polynomial removal lemmas for ordered graphs

. A recent result of Alon, Ben-Eliezer and Fischer establishes an induced removal lemma for ordered graphs. That is, if F is an ordered graph and ε > 0 , then there exists δ F ( ε ) > 0 such that

Efficient Removal Lemmas for Matrices Noga Alon

The authors and Fischer recently proved that any hereditary property of two-dimensional matrices (where the row and column order is not ignored) over a finite alphabet is testable with a constant

Limits of Ordered Graphs and Images

The theory of graph limits is extended to the ordered setting, presenting a limit object for dense vertex-ordered graphs, which is called an orderon, and it is shown that the space of orderons is compact with respect to this distance notion,Which is key to a successful analysis of combinatorial objects through their limits.

Ordered Graph Limits and Their Applications

An ordered analogue of the well-known result by Alon and Stav on the furthest graph from a hereditary property is proved, the first known result of this type in the ordered setting, and an alternative analytic proof of the ordered graph removal lemma is described.

Earthmover Resilience and Testing in Ordered Structures

A wide class of properties of ordered structures - the earthmover resilient (ER) properties - are identified and it is shown that the "good behavior" of such properties allows us to obtain general testability results that are similar to (and more general than) those of unordered graphs.

C O ] 1 7 Ju l 2 01 9 Ordered Graph Limits and Their Applications

The emerging theory of graph limits exhibits an analytic perspective on graphs, showing that many important concepts and tools in graph theory and its applications can be described more naturally

Testing Hereditary Properties of Sequences

It is shown that there exist hereditary properties of sequences that cannot be tested with sublinear queries, resolving an open question posed by Newman et al.

Efficient Removal Lemmas for Matrices

This work establishes much more efficient removal lemmas for several special cases of the above problem and combines their efficient conditional regularity lemma for matrices with additional combinatorial and probabilistic ideas.

References

SHOWING 1-10 OF 54 REFERENCES

Efficient Testing of Large Graphs

This theorem is used to prove that first order graph properties not containing a quantifier alternation of type "/spl forall//spl exist/" are always testable, while it is shown that some properties containing this alternation are not.

Every monotone graph property is testable

It is shown that any monotone graph property can be tested with one-sided error, and with query complexity depending only on ε, and this result implies the testability of well-studied graph properties that were previously not known to be testable.

A combinatorial characterization of the testable graph properties: it's all about regularity

One of the main open problems in the area of property-testing, which was raised in the 1996 paper of Goldreich, Goldwasser and Ron, is resolved by a purely combinatorial characterization of the graph properties that are testable with a constant number of queries.

Three theorems regarding testing graph properties

  • Oded GoldreichL. Trevisan
  • Mathematics, Computer Science
    Proceedings 2001 IEEE International Conference on Cluster Computing
  • 2001
Three theorems regarding testing graph properties in the adjacency matrix representation are presented and every graph property that can be tested making a number of queries that is independent of the size of the graph, can be so tested by uniformly selecting a set of vertices.

Efficient Testing of Bipartite Graphs for Forbidden Induced Subgraphs

It is shown that any property of bipartite graphs that is characterized by a finite collection of forbidden induced subgraphs is $\epsilon$-testable, with a number of queries that is polynomial in $1/\ep silon$.

A characterization of the (natural) graph properties testable with one-sided error

  • N. AlonA. Shapira
  • Mathematics, Computer Science
    46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05)
  • 2005
It is shown that a graph property P has an oblivious one-sided error tester, if and only if P is (semi) hereditary, and infer that some of the most well studied graph properties, both in graph theory and computer science, are testable with one- sided error.

Testing versus estimation of graph properties

It is shown here that in the setting of the dense graph model, all testable properties are not only tolerantly testable, but also admit a constant query size algorithm that estimates the distance from the property up to any fixed additive constant.

Bounds for graph regularity and removal lemmas

It is shown that a weak partition with approximation parameter Epsilon may require as many as 2^{\Omega}(\epsilon^{-2}) parts, which is tight up to the implied constant and solves a problem studied by Lovász and Szegedy.

Graph limits and parameter testing

We define a distance of two graphs that reflects the closeness of both local and global properties. We also define convergence of a sequence of graphs, and show that a graph sequence is convergent if

Ordered Ramsey numbers

...