Back to gallery

Configuration #39

RSST-R-0039-LEAN-VERIFIEDdischarging rule R6

ring size 8

vertices 14 · edges 31

Free completion

edge 0–1edge 0–7edge 0–9edge 0–10edge 0–11edge 1–2edge 1–13edge 2–3edge 2–8edge 2–13edge 3–4edge 3–8edge 3–13edge 4–5edge 4–8edge 4–12edge 5–6edge 5–8edge 5–12edge 6–7edge 6–9edge 6–12edge 7–9edge 7–10edge 7–11edge 7–12edge 8–9edge 8–12edge 9–10edge 9–13edge 10–11vertex 0 · deg 5 · C·viridian · ringvertex 1 · deg 3 · A·vermilion · ringvertex 2 · deg 4 · B·ochre · ringvertex 3 · deg 4 · A·vermilion · ringvertex 4 · deg 4 · D·indigo · ringvertex 5 · deg 4 · A·vermilion · ringvertex 6 · deg 4 · C·viridian · ringvertex 7 · deg 6 · A·vermilion · ringvertex 8 · deg 6 · C·viridianvertex 9 · deg 6 · B·ochrevertex 10 · deg 4 · D·indigovertex 11 · deg 3 · B·ochrevertex 12 · deg 5 · B·ochrevertex 13 · deg 4 · C·viridian
100%

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.