File:3SAT reduced too VC.svg

From Wikipedia, the free encyclopedia
Jump to: navigation, search
3SAT_reduced_too_VC.svg(SVG file, nominally 384 × 257 pixels, file size: 11 KB)

[edit] 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}

Source

Image:3SAT reduced too VC.png

Date

October 4, 2008

Author

Booya Bazooka

Permission
(Reusing this file)

See below.

[edit] Licensing:

File history

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

Date/TimeThumbnailDimensionsUserComment
current03:29, 5 October 2008Thumbnail for version as of 03:29, 5 October 2008384 × 257 (11 KB)Booyabazooka (talk | contribs){{Information |Description=Example of the 3-SAT problem reduced in PTIME and PSPACE to the vertex cover problem. Blue vertices form a vertex cover. 3-sat = {A, B', C} |Source=Image:3SAT reduced too VC.png |Date=October 4, 2008 |Author=~~~ |other_ve

The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Metadata

Personal tools
Namespaces

Variants
Actions
Navigation
Interaction
Toolbox