Every Property of Hyperfinite Graphs is Testable

dc.contributor.authorNewman, Ilan
dc.contributor.authorSohler, Christian
dc.date.accessioned2015-07-22T07:39:16Z
dc.date.available2015-07-22T07:39:16Z
dc.date.issued2013-06-13
dc.description.abstractA k-disc around a vertex v of a graph G=(V,E) is the subgraph induced by all vertices of distance at most k from v. We show that the structure of a planar graph on n vertices, and with constant maximum degree d, is determined, up to the modification (insertion or deletion) of at most εdn edges, by the frequency of k-discs for certain k=k(ε,d) that is independent of the size of the graph. We can replace planar graphs by any hyperfinite class of graphs, which includes, for example, every graph class that does not contain a set of forbidden minors. A pure combinatorial consequence of this result is that two d-bounded degree graphs that have similar frequency vectors (that is, the l_1 difference between the frequency vectors is small) are close to isomorphic (where close here means that by inserting or deleting not too many edges in one of them, it becomes isomorphic to the other). We also obtain the following new results in the area of property testing, which are essentially equivalent to the above statement. We prove that (a) graph isomorphism is testable for every class of hyperfinite graphs, (b) every graph property is testable for every class of hyperfinite graphs, (c) every hyperfinite graph property is testable in the bounded degree graph model, (d) A large class of graph parameters is approximable for hyperfinite graphs. Our results also give a partial explanation of the success of motifs in the analysis of complex networks.en
dc.description.sponsorshipThis project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no. 307696.en
dc.identifier.issn0097-5397
dc.identifier.issn1095-7111
dc.identifier.urihttp://hdl.handle.net/2003/34160
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-7805
dc.language.isoende
dc.publisherSociety for Industrial and Applied Mathematicsen
dc.subjectproperty testingen
dc.subjectgraph propertiesen
dc.subject.ddc004
dc.titleEvery Property of Hyperfinite Graphs is Testableen
dc.typeTextde
dc.type.publicationtypearticlede
dcterms.accessRightsopen access

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
hyperfinite_sicomp.pdf
Size:
361.39 KB
Format:
Adobe Portable Document Format
Description:
Artikel
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3.12 KB
Format:
Item-specific license agreed upon to submission
Description: