Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every graph with edges and no isolated vertices,
so in the notation of Problem 569 . The one-edge graph is eligible and , so , and hence . Goddard and Kleitman proved the same theorem independently (Goddard and Kleitman 1994); the same theorem is the case of Problem 570, recorded on its claim page there, whose account of the statement's sources this page follows. A comment of 27 March 2026 in the site's discussion thread credits the case to this paper and to Goddard and Kleitman.
Covers. The case , . Nothing about .
Depends on. Nothing in this wiki; the result rests on the cited paper, and the one-edge endpoint is elementary.
Acceptance. Refereed: A. F. Sidorenko, The Ramsey number of an -edge graph versus triangle is at most , J. Combin. Theory Ser. B 58 (1993), no. 2, 185--196, in the July 1993 issue, the month this page is dated by; the day is a placeholder. The site labels the problem OPEN, so its pages are not acceptance.
Read depth. The paper is not held. The statement, with its hypotheses ( edges, no isolated vertices), is read in the zbMATH Open review of the paper (Zbl 0794.05090): "We prove the conjecture of Harary that for any graph with edges and without isolated vertices, ". Theorem 1 of the 2026 preprint of Cambie, Freschi, Morawski, Petrova and Pokrovskiy attributes the same statement to it. Nothing is independently reviewed in this corpus.