File:3SAT reduced too VC.svg

From formulasearchengine
Jump to navigation Jump to search

Original file(SVG file, nominally 388 × 221 pixels, file size: 13 KB)

This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

Summary

Description

Example of the 3-SAT problem reduced in PTIME and PSPACE to the vertex cover problem.

Blue vertices form a partial vertex cover.

3-sat = {A, B', C}
Date
Source Image:3SAT reduced too VC.png
Author Booya Bazooka

Licensing

This work has been released into the public domain by its author, Booyabazooka, at the English Wikipedia project. This applies worldwide.

In case this is not legally possible:
Booyabazooka grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

4 October 2008

image/svg+xml

e5bd301175c579d3c7e0432c78ec6021a414d1f9

13,182 byte

221 pixel

388 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current22:16, 19 January 2009Thumbnail for version as of 22:16, 19 January 2009388 × 221 (13 KB)wikimediacommons>Amirki{{Information |Description=Example of the 3-SAT problem reduced in PTIME and PSPACE to the vertex cover problem. Blue vertices form a partial vertex cover. 3-sat = {A, B', C} |Source=Image:3SAT reduced too VC.png |Date=October 4, 2008 |Author=~&nbs

There are no pages that use this file.