Back to gallery

Configuration #54

RSST-R-0054-LEAN-VERIFIEDdischarging rule R5

ring size 14

vertices 20 · edges 36

Free completion

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