Back to gallery
Configuration #4
RSST-R-0004-LEAN-VERIFIEDdischarging rule R4a
ring size 9
vertices 15 · edges 29
Free completion
Outer cycle (bold ring) is the configuration's boundary; interior vertices form the reducible piece. A configuration is D-reducible when every 4-coloring of its ring either extends to the interior or can be Kempe-modified into one that does.