We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [ Combinatorica, 4 (1984), pp. 297--306]. For the property of containing a subgraph isomorphic to a fixed graph, and a fairly large class of related n-vertex graph properties, we show evasiveness for an arithmetic progression of values of n. This implies a $\frac12n^2 - O(n)$ lower bound on the decision tree complexity of these properties.
We prove that properties that are preserved under taking graph minors are evasive for all sufficiently large n. This greatly generalizes a theorem due to Best, van Emde Boas, and Lenstra [A Sharpened Version of the Aanderaa--Rosenberg Conjecture, Report ZW 30/74, Mathematisch Centrum, Amsterdam, The Netherlands, 1974] which states that planarity is evasive. We prove a similar result for bipartite subgraph containment.
[1]
EBERHARD TRIESCH.
Some Results on Elusive Graph Properties
,
1994,
SIAM J. Comput..
[2]
Béla Bollobás.
Complete subgraphs are elusive
,
1976,
J. Comb. Theory, Ser. B.
[3]
Ronald L. Rivest,et al.
On Recognizing Graph Properties from Adjacency Matrices
,
1976,
Theor. Comput. Sci..
[4]
B. Bollobás,et al.
Extremal Graph Theory
,
2013
.
[5]
Eberhard Triesch,et al.
On the recognition complexity of some graph properties
,
1996,
Comb..
[6]
Andrew Chi-Chih Yao.
Monotone Bipartite Graph Properties are Evasive
,
1988,
SIAM J. Comput..
[7]
Arnold L. Rosenberg.
On the time required to recognize properties of graphs: a problem
,
1973,
SIGA.
[8]
Michael E. Saks,et al.
A topological approach to evasiveness
,
1984,
Comb..