Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every and every , every graph with vertices and edges has a clique on vertices whose degree sum is at least . The claimed result is R. J. Faudree, Complete subgraphs with large degree sums, J. Graph Theory 16 (1992), no. 4, 327--334, DOI 10.1002/jgt.3190160406. The paper is unread; the statement above is the one the introduction of Bollobás and Nikiforov's paper (p. 2; card) and the site's commentary give: "Later Faudree [7] proved the conjecture for any and ." The publisher's abstract, as the Crossref record carries it, states the hypothesis as and "" edges, the second a slip for , the direction the abstract's next sentence (the conclusion fails in general below ) and the Bollobás--Nikiforov account give; it is recorded as printed. This proves the corrected Statement of Problem 904 on that range of .
Covers. Every and every , with . The whole statement is the accepted full claim Bollobás--Nikiforov.
Depends on. Nothing in this wiki; the result rests on the cited paper alone.
Acceptance. Refereed: the Journal of Graph Theory, 16 (1992), no. 4. Reviewed: the site's curator, T. F. Bloom, credits Faudree with this range in the problem's commentary on a page labeled PROVED (LEAN), and Bollobás and Nikiforov's refereed paper credits it in its introduction.
Dating. The page is dated by the issue month, September 1992; the day is a placeholder.