Back to gallery

Configuration #24

RSST-R-0024-LEAN-VERIFIEDdischarging rule R7

ring size 11

vertices 17 · edges 30

Free completion

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