Back to gallery

Configuration #8

RSST-R-0008-COQ-2005discharging rule R7

ring size 13

vertices 16 · edges 24

Free completion

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