Construct a graph from explicit adjacency rules, verify an upper coloring bound, and prove a matching lower bound by recoloring a hypothetical solution.
Open any lesson. Completion records participation; automatic practice checks and human judgment of written arguments are separate. This unit retains its own versioned requirements.
Readiness and preparation
Check your starting point
Try these short questions on paper, then compare your reasoning. They are optional self-checks, not a placement score or a navigation requirement. Use a targeted review when useful and return with your browser’s Back control.
Does finding a proper coloring prove that it uses as few colors as possible?
Feasibility and optimality need different evidence.
Compare reasoning and find a refresher
No. A proper coloring supplies an upper bound. A matching lower bound must rule out every coloring with fewer colors.