Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Every three-coloring of the edges of K10K_{10} has four vertices on which at least one color is missing, and every four-coloring of the edges of K17K_{17} has five vertices on which at least one color is missing: the cases r=3r=3 and r=4r=4 of Problem 617, which is Conjecture 1 (p. 80) of Paul Erdős and András Gyárfás, Split and balanced colorings of complete graphs, Discrete Math. 200 (1999), no. 1--3, 79--86. The two cases are Lemma 1 (pp. 84--85) and Lemma 2 (pp. 85--86), proved on the way to Propositions 2 and 3, g3(2)=13g_3(2)=13 and g4(2)=21g_4(2)=21. Each proof takes a minority color, whose graph G1G_1 has at most 1515 (r=3r=3) or 3434 (r=4r=4) edges; if G1G_1 is rr-regular, Brooks's theorem gives an independent (r+1)(r+1)-set or a Kr+1K_{r+1}, either of which misses a color, and otherwise low-degree vertices are deleted with their neighborhoods and the residue is analyzed by hand, in the r=4r=4 case through the uniqueness of the extremal graph for R(3,4)=9R(3,4)=9. The paper's digest is on its card.

Covers. The fixed cases r=3r=3 and r=4r=4 only. The same paper observes that the statement fails for r=2r=2, excluded by the problem's hypothesis r≥3r\ge3, and, whenever an affine plane of order rr exists (for every prime power rr, hence for infinitely many rr), gives an rr-coloring of Kr2K_{r^2} in which every r+1r+1 vertices see every color, so for those rr the extra vertex is the sharp issue; it proves nothing for r≥5r\ge5. A discussion-thread comment of 15 July 2026 reports that Chung and Liu, Discrete Math. 21 (1978), 117--127, proved the r=3r=3 case earlier as R23(K4,K4,K4)=10R^3_2(K_4,K_4,K_4)=10; that earlier proof is the accepted partial claim 1978_01_01_chung_liu.

Depends on. Nothing in this wiki; the proofs are the paper's own, with Brooks's theorem and R(3,4)=9R(3,4)=9 as external inputs.

Acceptance. Refereed: Discrete Mathematics 200 (1999), issue 1--3, 79--86 (the Crossref record dates the issue April 1999; the day is the issue's nominal first day, used for this page's date). The site's commentary credits the authors with the cases r=3r=3 and r=4r=4 while labeling the problem FALSIFIABLE, which is commentary on an open problem and not acceptance, so reviewed is not listed. The acceptance recorded here rests on the publication, not on a local review.