Back to gallery

Configuration #34

RSST-R-0034-LEAN-VERIFIEDdischarging rule R2

ring size 12

vertices 18 · edges 36

Free completion

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