Back to gallery

Configuration #4

RSST-R-0004-LEAN-VERIFIEDdischarging rule R4a

ring size 9

vertices 15 · edges 29

Free completion

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