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:
SAT reduced too VC.svg en Example of the SAT problem reduced in PTIME and PSPACE to the vertex cover problem Blue vertices form partial vertex cover in the sense that the image is not showing the correct solution to Vertex Cover problem In the correct solution the in the left most triangle should be blue as well and there should