Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Problem 800 asks whether , with an absolute implied constant, for every graph on vertices in which no two adjacent vertices both have degree at least three. Li, Rousseau and Šoltés answer yes with the constant : the abstract of Ramsey linear families and generalized subdivided graphs states that
whenever the vertices of of degree at least three form an independent set, which is the problem's hypothesis, and that no constant below works for this class; is the two-color Ramsey number of the problem page. The result sharpens Alon's constant for the same class (Alon 1994). Read depth: claims checked against the abstract only, as given by an indexed copy of the publisher's page, with the publication data from the Crossref record, which carries no abstract; neither the statement nor the remark that no constant below works has been checked against a primary text; the paper's full results and proof are unread, and the paper has no library card.
Scope. Full. The bound is the problem's statement with an explicit absolute constant.
Depends on. Nothing in this wiki; the result rests on the cited paper alone.
Acceptance. Refereed: the paper appeared in Discrete Math. 170 (1997), no. 1--3, 269--275 (Crossref record, issue dated June 1997,). The site labels the problem PROVED and its commentary credits Alon; it does not name this paper, and its discussion thread and proof-claim tab are empty, so the acceptance rests on the refereed publication alone; the proof is unread, and the abstract check is not acceptance evidence.
Dating. The page is dated by the issue month the journal record gives; the day in the page name is a placeholder, since no earlier posting is known.