We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e67216e commit 9ec2112Copy full SHA for 9ec2112
constants/27b.md
@@ -7,7 +7,7 @@ $C\_{27b}$ is the highest possible chromatic number for any biplanar graph.
7
8
| Bound | Reference | Comments |
9
| ----- | --------- | -------- |
10
-| 12 | Trivial [R1959] | Follows from the four color theorem. |
+| 12 | Trivial [R1959] | In fact, every biplanar graph has a vertex of degree at most 11. |
11
12
## Known lower bounds
13
0 commit comments