Back to gallery

Configuration #40

RSST-R-0040-COMP-1976discharging rule R7

ring size 9

vertices 13 · edges 24

Free completion

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