Status
On this page
Status
Topics
Status
On this page
Status
Topics
If is a tree which is a bipartite graph with vertices and vertices in the other class then
Source: erdosproblems.com/549
An accepted solution exists. The statement is false.
Disproved, the site's label (page last edited 28 December 2025), credited by the site's curator, T. F. Bloom, to Norin, Sun and Zhao. For , Norin, Sun and Zhao's Theorem 1.3 gives , so for all large ; the paper says this answers the 1982 question in the negative. The status-defining source is an arXiv preprint (1605.03612v1, 2016); its lower bound is restated and relied on in refereed papers (Dubó and Stein, Discrete Math. 348 (2025)) and the site accepted it. Independently, the refereed Theorem 2.1 of [GHK79] (1979) gives for every by an explicit coloring of , so the equality fails at every (claim page (Grossman, Harary and Klawe, 1979)). The equality does hold for two families with classes and (the brooms and Burr and Erdős's trees made of a path on four vertices with stars on and vertices at its ends) and, by Montgomery, Pavez-Signé and Yan (preprint, 2025), for every such tree of maximum degree at most for a small absolute ; each has a partial claim page (brooms, Burr and Erdős 1976, Montgomery, Pavez-Signé and Yan 2025). The claim page Norin, Sun and Zhao 2016 records the disproof, its posting and the acceptance evidence; the frontmatter standing is derived from the claim pages.