Back to gallery

Configuration #57

RSST-R-0057-COQ-2005discharging rule R1

ring size 8

vertices 13 · edges 26

Free completion

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