Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Three results of the paper that posed the question give families of graphs that are Ramsey size linear, that is, for every graph of size without isolated vertices (Definition 1, p. 390):
- Theorem 4 (p. 393; theorem_4): a connected graph with is Ramsey size linear.
- Corollary 2 (p. 392; corollary_2): for every tree on vertices and every graph of size without isolated vertices, .
- Theorem 5 (p. 394; theorem_5): if , then for every graph of size without isolates.
Each family lies inside the hypothesis of the corrected Statement of Problem 566, so each result answers that Statement yes for the graphs it covers.
Covers. The corrected Statement (every subgraph on vertices has at most edges) for three classes of . On two and three vertices the bound holds in every graph, so only subgraphs on vertices need checking (elementary checks made here).
- Connected with : a subgraph keeps at most the graph's cyclomatic number, , so a subgraph on vertices has at most edges for . Connectedness is needed: has vertices and edges and contains .
- : a subgraph on vertices containing the apex has at most edges, and one avoiding it is a forest with at most edges; the whole graph meets the bound with equality.
- : a subgraph with vertices and edges would give, by the standard random deletion bound, , and , contradicting the hypothesis.
The density question for all graphs meeting the hypothesis is not settled. None of the three results covers or , and Theorem 5 covers only if , which is open (Problems 567 and 576).
Depends on. Nothing in this wiki; the results rest on the cited paper alone.
Acceptance. Refereed: P. Erdős, R. J. Faudree, C. C. Rousseau and R. H. Schelp, Ramsey size linear graphs, Combin. Probab. Comput. 2 (1993), no. 4, 389--399, received 12 March 1993 and printed in the December 1993 issue, the month this page is dated by; the day is a placeholder. The site labels the problem OPEN; its commentary credits the paper with Ramsey size linearity for graphs on vertices with at most edges, omitting the connectedness Theorem 4 requires, and is not an acceptance.
Read depth. The statements of Theorems 3, 4 and 5 and Corollary 2 were checked clause by clause; their proofs (pp. 392--395) were checked for structure only. Nothing is independently reviewed in this corpus.