MHB Is the Subgraph Isomorphism problem NP-complete?

  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Reduction
AI Thread Summary
The discussion focuses on the Subgraph Isomorphism problem, questioning its NP-completeness. It establishes that the problem belongs to NP by demonstrating that a non-deterministic Turing machine can verify a solution in polynomial time. The thread also outlines a reduction from the Clique problem to the Subgraph Isomorphism problem, showing that if a complete graph on k vertices can be found in G_2, it implies a solution exists for the Clique problem. The proposed construction for the reduction is refined for clarity, emphasizing that G_1 is a complete graph and that the existence of a solution in one problem directly correlates to the other. The conclusion drawn is that the Subgraph Isomorphism problem is indeed NP-complete.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)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 \subseteq V_2$ and subset of the edges of $G_2, E \subseteq 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 \to V$ such that $\{u,v\} \in E_1 \Leftrightarrow \{ f(u),f(v) \} \in 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 \to V$ such that $\{u,v\} \in E_1 \Leftrightarrow \{ f(u), f(v) \} \in 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 \leq 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 and if I could improve something?
 
Technology news on Phys.org
Would it be better to say the following for the second part?

Let $(G,k)$ be 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_1$ is a complete graph with $k$ vertices.
Let $G_2=G$.
The graph $G_1$ is isomorphic to a subgraph of $G_2$ iff there is a complete subgraph of $G_2$ with $k$ vertices, i.e. iff $G$ has a complete subgraph with $k$ vertices.
Thus the instance of the Subgraph Isomorphism problem has a solution iff the initial instance of the problem clique has a solution.
Since the clique problem that is NP-complete can be reduced to the Subgraph Isomorphism problem, we can deduce that the latter is NP-complete.
 
Thread 'Star maps using Blender'
Blender just recently dropped a new version, 4.5(with 5.0 on the horizon), and within it was a new feature for which I immediately thought of a use for. The new feature was a .csv importer for Geometry nodes. Geometry nodes are a method of modelling that uses a node tree to create 3D models which offers more flexibility than straight modeling does. The .csv importer node allows you to bring in a .csv file and use the data in it to control aspects of your model. So for example, if you...
I tried a web search "the loss of programming ", and found an article saying that all aspects of writing, developing, and testing software programs will one day all be handled through artificial intelligence. One must wonder then, who is responsible. WHO is responsible for any problems, bugs, deficiencies, or whatever malfunctions which the programs make their users endure? Things may work wrong however the "wrong" happens. AI needs to fix the problems for the users. Any way to...

Similar threads

Replies
6
Views
2K
Replies
14
Views
4K
Replies
4
Views
2K
Replies
6
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
Back
Top