np-complete


Reduction to Clique prob


Subgraph isomorphism
We have the graphs G_1=(V_1,E_1), G_2=(V_2,E_2).
Question: Is the graph G_1 isomorphic to a subgraph of G_2 ?
(i.e. is there a subset of vertices of G_2, V ⊆ V_2 and subset of the edges of G_2, E ⊆ E_2 such that |V|=|V_1| and |E|=|E_1| and is there a one-to-one matching of the vertices of G_1 at the subset of vertices V of G_2, f:V_1 -> V such that {u,v} ∈ E_1 <=> { f(u),f(v) } ∈ E)
Show that the problem Subgraph isomorphism belongs to NP.
Show that the problem is NP-complete reducing the problem Clique to it. (Hint: consider that the graph G_1 is complete)
I have tried the following:
A non-deterministic Turing machine first "guesses" the subset of nodes V and the subset of edges E of G_2 and after that it verifies that |V|=|V_1| and |E|=|E_1| and that there is a one-to-one correspondence f: V_1 -> V such that {u,v} ∈ E_1 <=> { f(u), f(v) } ∈ E .
Since there are O(|V_2|^2) different pairs of vertices, the check requires polynomial time. So the problem belongs to NP.
Let (G,k) an arbitrary instance of the clique problem, where k is the number of vertices of the clique.
We can construct an instance of the Subgraph isomorphism problem in polynomial time as follows:
G_2 is a graph on n vertices.
G_1 is a complete graph on k vertices, for some k <= n.
Let G=G_2.
The problem Subgraph Isomorphism has a solution iff there is a complete subgraph of G_2 with k vertices, i.e. iff the graph G has a complete subgraph with k vertices.
Thus, the instance of the problem Subgraph Isomorphism has a solution iff the initial instance of the problem Clique has a solution.
Therefore, the problem Subgraph Isomorphism is NP-complete.
Could you tell me if it is right or if I could improve something?

Related Links

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?
Given a collection of consumers competing for a limited resource, allocate that resource to maximize it's applicability

Categories

HOME
compiler-construction
twitter
xamarin
client
wso2-am
date
atom-editor
debugging
alfresco
yahoo-oauth
spring-jdbc
binary-tree
webpack-2
cross-browser
vault
quicklook
vb.net-2010
visual-studio-cordova
quartz-scheduler
django-admin
tostring
finite-automata
angular-ui
invantive-sql
reactive-cocoa
oxyplot
wijmo
hammerspoon
autosys
buildbot
fish
intel-pin
tooltipster
windowbuilder
gitignore
kendo-datasource
unboundid
airconsole
oracle-fusion-middleware
winrt-xaml-toolkit
mmenu
mapdb
nssegmentedcontrol
git-merge
serve
webdriver-manager
gulp-sourcemaps
elmah
spring-security-kerberos
executenonquery
pubmed
rails-routing
alphabet
domain-model
forever
jspdf-autotable
synchronous
angular-cache
grails-tomcat-plugin
multi-level
multiple-regression
jwplayer7
sigabrt
xpath-1.0
system.management
xna-4.0
qdialog
jqgrid-formatter
security-testing
dukescript
map-projections
processmodel
sniffer
unity3d-gui
dereference
notify
operator-precedence
android-nested-fragment
android-imagebutton
applescript-objc
project-planning
eol
cloud-connect
farseer
quartz-graphics
specification-pattern
reddot
hgsubversion
boost-filesystem
mercurial-server
subgurim-maps
xmlspy
mysql-error-1005
modelstate
microsoft-virtualization

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