Adds a transitional section reframing the frequency results: the
relevant class is not all maximal planar graphs but those that resist
Kempe-style reductions, where flip-asymmetry's exclusion may have
real bite. Sets up subsequent development of additional necessary
properties of a minimum-order 5-chromatic counterexample.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
The unrestricted census suggested flip-symmetry already excludes a
vanishing fraction of maximal planar graphs; this commit re-runs the
same enumeration over the minimum-degree-5 subclass (where any
minimum-order 5-chromatic counterexample must live) to check whether
the restriction tightens the bound. It does not: the density decays
to zero there as well, only at a gentler geometric rate (~0.63 per
step instead of ~0.5).
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis