Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Conjecture

Erdos-Faber-Lovasz Conjecture

Combinatorics

In graph theory, the Erdos-Faber-Lovasz conjecture is a problem about graph coloring, named after Paul Erdos, Vance Faber and Laszlo Lovasz, who formulated it in 1972. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Statement
If k complete graphs, each with exactly k vertices, are arranged so that every pair shares at most one vertex, the union of the graphs can be properly colored with k colors. 1
Proposed Year
1972 1
Progress Toward Resolution
Proved for all sufficiently large values of k by Dong Yeap Kang, Tom Kelly, Daniela Kuhn, Abhishek Methuku, and Deryk Osthus, resolving the conjecture asymptotically; the small-k case was not separately addressed in the source consulted. 1
Classification
Resolution Status
Proven 1
Chronology
Resolved Year
2021 1
Prize Status
Prize Status (category)
No Prize Offered 1
Connections

In Branch

Source Erdős-Faber-Lovász conjecture (Wikipedia)

Posed By

Sources
1. Erdos-Faber-Lovasz Conjecture (Wikipedia)
Wikimedia Foundation
  • Lead section
    named after Paul Erdős, Vance Faber, and László Lovász, who formulated it in 1972
  • Lead section, formal statement
    If k complete graphs, each having exactly k vertices, have the property that every pair of complete graphs has at most one shared vertex, then the union of the graphs can be properly colored with k colors.
  • Lead section, first sentence
    who formulated it in 1972
  • Lead section, second paragraph
    The conjecture for all sufficiently large values of k was proved by Dong Yeap Kang, Tom Kelly, Daniela Kühn, Abhishek Methuku, and Deryk Osthus.
View the Source
Erdős-Faber-Lovász conjecture (Wikipedia)
In Branch: Graph Theory, Lead sentenceView the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.