Back to gallery

Configuration #64

RSST-R-0064-LEAN-VERIFIEDdischarging rule R7

ring size 6

vertices 12 · edges 30

Free completion

edge 0–1edge 0–5edge 0–7edge 0–9edge 1–2edge 2–3edge 2–6edge 2–8edge 3–4edge 3–6edge 3–7edge 3–8edge 3–10edge 4–5edge 4–6edge 4–7edge 4–8edge 4–10edge 4–11edge 5–6edge 5–7edge 5–8edge 5–9edge 5–10edge 5–11edge 6–7edge 7–8edge 7–9edge 8–10edge 8–11vertex 0 · deg 4 · B·ochre · ringvertex 1 · deg 2 · A·vermilion · ringvertex 2 · deg 4 · B·ochre · ringvertex 3 · deg 6 · A·vermilion · ringvertex 4 · deg 7 · B·ochre · ringvertex 5 · deg 8 · A·vermilion · ringvertex 6 · deg 5 · D·indigovertex 7 · deg 7 · C·viridianvertex 8 · deg 7 · D·indigovertex 9 · deg 3 · D·indigovertex 10 · deg 4 · C·viridianvertex 11 · deg 3 · 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.