Back to gallery

Configuration #17

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

ring size 13

vertices 18 · edges 33

Free completion

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