Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Random Structures an...arrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Random Structures and Algorithms
Article . 2004 . Peer-reviewed
License: Wiley Online Library User Agreement
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2005
Data sources: zbMATH Open
DBLP
Article . 2025
Data sources: DBLP
DBLP
Article . 2022
Data sources: DBLP
versions View all 4 versions
addClaim

Testing graphs for colorability properties*

Testing graphs for colorability properties
Authors: Eldar Fischer;

Testing graphs for colorability properties*

Abstract

AbstractLet P be a property of graphs. An ϵ‐test for P is a randomized algorithm which, given the ability to make queries whether a desired pair of vertices of an input graph G with n vertices are adjacent or not, distinguishes, with high probability, between the case of G satisfying P and the case that it has to be modified by adding and removing more than ϵ() edges to make it satisfy P. The property P is called testable if for every ϵ there exists an ϵ‐test for P whose total number of queries is independent of the size of the input graph. Goldreich, Goldwasser, and Ron [Property testing and its connection to learning and approximation, J ACM 45 (1998), 653–750] showed that certain graph properties, like k‐colorability, admit an ϵ‐test. In Alon, Fischer, Krivelevich, and Szegedy [Efficient testing of large graphs, Combinatorica 20 (2000), 451–476] a first step towards a logical characterization of the testable graph properties was made by proving that all first order properties of type “∃∀” are testable, while there exist first‐order graph properties of type “∃∀” that are not testable. For proving the positive part, it was shown that all properties describable by a very general type of coloring problem are testable. While this result is tight from the standpoint of first order expressions, further steps towards the characterization of the testable graph properties can be taken by considering the coloring problem instead. It is proven here that other classes of graph properties, describable by various generalizations of the coloring notion used in Alon et al. [Combinatorica 20 (2000), 451–476], are testable, showing that this approach can broaden the understanding of the nature of the testable graph properties. The proof combines some generalizations of the methods used in Alon et al. with additional methods. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2005

Keywords

Analysis of algorithms and problem complexity, Randomized algorithms, property testing, Coloring of graphs and hypergraphs, regularity lemma, Graph theory (including graph drawing) in computer science, Graph algorithms (graph-theoretic aspects), graph coloring

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    14
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
14
Average
Top 10%
Top 10%
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!