np-complete


How to reduce 3COLOR to 3SAT?


We know that 3SAT ≤p 3COLOR(i.e. 3SAT is polynomial time reducible to 3COLOR).
Can anyone give a short argument why 3COLOR ≤p 3SAT?
And give an actual Cook reduction showing that 3COLOR ≤p 3SAT Please.
the short answer is: since 3SAT is NP-complete, any problem in NP can be p.t. reduced to
solving an instance of 3SAT (or showing it is not satisfiable). Hence 3COLOR <=p 3SAT.
For a construction of p.t. reduction of 3COLOR to SAT, you may see section 2 in the
following document (the topic is not related to your question):
http://research.microsoft.com/apps/pubs/default.aspx?id=66816

Related Links

Is vertex coloring of hypergraph with no uniformity restriction NP-hard?
Grid dominating set is NP-complete
Given a graph with n vertices and m edges, does it contain a simple cycle of length ⌈n/2⌉?
NP-complete or NP-hard?
Why using linear integer programming (ILP) though it is NP-Complete?
Prove NP-Completeness of generating 2 shortest routes over given edge grouping constraints?
Reduction to Clique prob
Approximation Algorithm between two NP compete problems
Is it possible to find the probability to a solution of NP-complete problems?
Knapsack for each weight having multiple values - Is it possible to solve?
Reduction from Maximum independent set to Dominating set to prove the Dominating set is NP-complete
How I can prove that 2-CNF is not NP-complete?
When NP complete becomes NP hard
Can it be proven no polynomial algorithm exists for an NP-Complete prob.?
Effect of number base when proving NP completeness of numerical problems
How to reduce 3COLOR to 3SAT?

Categories

HOME
arduino-uno
pycharm
homebrew
electron
baqend
acquia
wamp
datastax-java-driver
pheatmap
elasticsearch-hadoop
primary-key
row
export-to-csv
vb.net-2010
gz
task
zebra-printers
uitypeeditor
ef-migrations
textfield
swingx
vlsi
pepper
rst2pdf
minitab
bcd
airconsole
webtest
http-referer
bytecode-manipulation
host
overlap
vxworks
gesture
starteam
streamreader
leading-zero
tasker
hp-ux
quadratic-programming
modelmapper
convertapi
auto-update
network-flow
zip4j
mu
svmlight
slickedit
np-complete
r-forge
zendesk-app
linode
iso8601
wdf
spring-android
gridpane
phishing
trash
nsfilemanager
mongocsharpdriver
gstreamer-0.10
fputcsv
lua-5.1
blackberry-10
jfugue
ios8-today-widget
xna-4.0
wireshark-dissector
remobjects
dia
network-interface
winddk
gulp-less
markers
rdl
aapt
seaside
android-2.2-froyo
dir
quartz-graphics
qt-faststart
flashvars
kyotocabinet
tridion-worldserver
errai
hosts-file
objective-c-2.0
appconkit
enter
subscript
whoosh
fireworks
joyent
psi
cinema-4d
locationlistener
table-footer
android-sdk-2.1
xfbml
w3wp.exe
routedevent
mirah
ncqrs
database-management
firefox4
ctp4
premature-optimization
procedural-music

Resources

Mobile Apps Dev
Database Users
javascript
java
csharp
php
android
MS Developer
developer works
python
ios
c
html
jquery
RDBMS discuss
Cloud Virtualization
Database Dev&Adm
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App