Maximum Chromatic Number of Biplanar Graphs

Description of constant

$C_{27b}$ is the highest possible chromatic number for any biplanar graph.

Known upper bounds

Bound Reference Comments
12 Trivial [R1959] In fact, every biplanar graph has a vertex of degree at most 11.

Known lower bounds

Bound Reference Comments
8 [R1959]  
9 Sulanke [G1980] Constructed as the join of a 6-vertex complete graph and a 5-vertex cycle graph.

References

Contribution notes

Before I opened the pull request adding this file I had Copilot review it.