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

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?
proof NP-complete
Proof that Dominating Set is NP-Complete
Is this an NP problem?

Categories

HOME
testing
coq
azure-data-factory
json.net
objectgears
webstorm
setup-deployment
elm
cmd
rubygems
youtube-api-v3
contact
communication
tomcat6
modx-revolution
google-cloud-ml
commonmark
quickfix
serilog
reactive-cocoa
code-review
google-pagespeed
php-openssl
trading
emgucv
numerical-methods
apache-commons-io
user-interaction
uninstall
wtx
kendo-datasource
nat
bluestacks
fabric8
media-queries
http-status-code-503
calibre
dynamics-crm-2013
lumberjack
cookiecutter-django
scorm
google-datalayer
menuitem
outlook-2013
rainbowtable
jquery-validate
paxos
nodebb
memory-alignment
epson
arrow-keys
lync-client-sdk
chord-diagram
pintos
objective-c-swift-bridge
messenger
infix-notation
savon
bgp
captivenetwork
ford-fulkerson
xna-4.0
collapse
wordml
service-accounts
umbraco6
csquery
formatjs
client-side-templating
googlemock
eol
fluentautomation
doskey
mechanize-ruby
spring-io
ftps
tws
flash-builder4.5
dataadapter
html-editor
flashvars
bitsharp
spring-portlet-mvc
asyncfileupload
custom-backend
nsdatecomponents
deobfuscation
f#-powerpack
fluent-interface
dbal
exchange-server-2003

Resources

Encrypt Message