This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
SATCOL reduction.svg Gadgets for an NPcompleteness proof of graph coloring by reduction from Satisfiability The variable and clause gadgets are shown on the upper and lower left respectively and the right side of the figure shows the complete reduction for the instance with three variables and two clauses This reduction is from Oded