The Gadget
This is a classic reduction that uses a “gadget”.
Assume the outer vertices are colored at most two colors. The gadget is 3-colorable if and only if the outer vertices are not all the same color.
Previous slide
Next slide
Back to first slide
View graphic version