A Proof of a Conjecture of Ohba
We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Bruce A. Reed contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$.
In 1998 the second author proved that there is an $ε>0$ such that every graph satisfies $χ\leq \lceil (1-ε)(Δ+1)+εω\rceil$. The first author recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set intersecting every maximum clique. In this note we exploit the latter result to give a much shorter, simpler proof of the former. We include, as a certificate of simplicity, an appendix that proves all intermediate results with the exception of Hall's Theorem, Brooks' Theorem, the Lovász Local Lemma, and Talagrand's Inequality.
The second author's $ω$, $Δ$, $χ$ conjecture proposes that every graph satisties $χ\leq \lceil \frac 12 (Δ+1+ω)\rceil$. In this paper we prove that the conjecture holds for all claw-free graphs. Our approach uses the structure theorem of Chudnovsky and Seymour. Along the way we discuss a stronger local conjecture, and prove that it holds for claw-free graphs with a three-colourable complement. To prove our results we introduce a very useful $χ$-preserving reduction on homogeneous pairs of cliques, and thus restrict our view to so-called "skeletal" graphs.
Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whose intersection graph is bipartite and contains a $K_{\ell}$-minor. For example, the rows and columns of the $\ell\times\ell$ grid are a grid-like-minor of order $\ell+1$. We prove that polynomial treewidth forces a large grid-like-minor. In particular, every graph with treewidth at least $c\ell^4\sqrt{\log\ell}$ has a grid-like-minor of order $\ell$. As an application of this result, we prove that the cartesian product $G\square K_2$ contains a $K_{\ell}$-minor whenever $G$ has treewidth at least $c\ell^4\sqrt{\log\ell}$.