Status
On this page
Status
Topics
Status
On this page
Status
Topics
If is a finite graph and are disjoint sets of vertices then we call anticomplete if there are no edges between and .
If then there exists such that if and then there are anticomplete sets with .
Source: erdosproblems.com/1111
No claim settles this problem.
Open. The most recent refereed treatment, Problem 1.1 of [NSS24] (J. Combin. Theory Ser. B 165 (2024), 211--222; cited in the arXiv v1 text of March 2023), restates the statement in the site's letters and says "This remains open." What is settled: for every , through Wagon's Theorem of [Wa80b] (J. Combin. Theory Ser. B 1980, refereed), for graphs with no induced , so , with , , as [ElEr85] reports them; and for every , by Corollary 3 (Elzahar 1985) of [ElEr85] (Combinatorica 1985, refereed), for , from Theorem 2 (Elzahar 1985), , and the reduction Theorem 1. Both cases are recorded as accepted partial claims, on Wagon 1980 and El-Zahar and Erdős 1985. For nothing found decides the statement for any (the cases are trivial); Erdős wrote in 1985 that "great difficulties appeared for " ([Er85b], p. 206). The strongest partial results are 1.2 of [NSS24], the statement with weakened to minimum degree at least on , and 1.3, a minimum-degree variant with excluded instead of ; neither settles an instance of the statement, so neither is a claim. No proof or disproof was found in the search whose scope the Current assessment records; this is a bounded negative finding, not a certificate of openness.