Is the Subgraph Isomorphism problem NP-complete?

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Reduction
Click For Summary
SUMMARY

The Subgraph Isomorphism problem is proven to be NP-complete by demonstrating that it belongs to NP and reducing the Clique problem to it. The problem involves determining if a graph $G_1$ is isomorphic to a subgraph of another graph $G_2$. A non-deterministic Turing machine can verify this in polynomial time by checking subsets of vertices and edges. The reduction from the Clique problem is established by constructing a complete graph $G_1$ with $k$ vertices and showing that the existence of a complete subgraph in $G_2$ corresponds to a solution in the Subgraph Isomorphism problem.

PREREQUISITES
  • Understanding of graph theory concepts, specifically isomorphism and subgraphs.
  • Familiarity with NP-completeness and the definitions of NP problems.
  • Knowledge of Turing machines and their operation in verifying problem solutions.
  • Experience with polynomial-time reductions between computational problems.
NEXT STEPS
  • Study the formal definitions of NP-completeness and explore other NP-complete problems.
  • Learn about polynomial-time reductions, focusing on examples like the Clique problem.
  • Investigate algorithms for solving the Subgraph Isomorphism problem, including heuristic and approximation methods.
  • Explore applications of Subgraph Isomorphism in real-world scenarios, such as network analysis and bioinformatics.
USEFUL FOR

This discussion is beneficial for computer scientists, mathematicians, and software engineers interested in computational complexity, graph theory, and algorithm design, particularly those working on problems related to NP-completeness.

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.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
17
Views
3K