<p>Example of the 3-SAT problem reduced in PTIME and PSPACE to the vertex cover problem.
</p><p>Blue vertices form a partial vertex cover.
</p>
3-sat = {A, B', C}
~ <a href="https://en.wikipedia.org/wiki/User:Booyabazooka" class="extiw" title="en:User:Booyabazooka">Booya <sup>Bazooka</sup></a>
<a href="//commons.wikimedia.org/w/index.php?title=File:3SAT_reduced_too_VC.png&amp;action=edit&amp;redlink=1" class="new" title="File:3SAT reduced too VC.png (page does not exist)">Image:3SAT reduced too VC.png</a>