Back to gallery

Configuration #16

RSST-R-0016-COQ-2005discharging rule R7

ring size 12

vertices 14 · edges 19

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.