In theoretical computer science, the subgraph isomorphism problem is a computational task in which two graphs G and H are given as input, and one must determine whether G contains a subgraph that is isomorphic to H.
Subgraph isomorphism is a generalization of both the maximum clique problem and the problem of testing whether a graph contains a Hamiltonian cycle, and is therefore NP-complete.[1] However certain other cases of subgraph isomorphism may be solved in polynomial time.[2]
Sometimes the name subgraph matching is also used for the same problem. This name puts emphasis on finding such a subgraph as opposed to the bare decision problem.
^The original Cook (1971) paper that proves the Cook–Levin theorem already showed subgraph isomorphism to be NP-complete, using a reduction from 3-SAT involving cliques.
^Cite error: The named reference e99 was invoked but never defined (see the help page).
and 24 Related for: Subgraph isomorphism problem information
In theoretical computer science, the subgraphisomorphismproblem is a computational task in which two graphs G and H are given as input, and one must...
efficiently. This problem is a special case of the subgraphisomorphismproblem, which asks whether a given graph G contains a subgraph that is isomorphic...
graph theory, induced subgraphisomorphism is an NP-complete decision problem that involves finding a given graph as an induced subgraph of a larger graph...
the induced subgraph of all vertices adjacent to it. The induced subgraphisomorphismproblem is a form of the subgraphisomorphismproblem in which the...
called an isomorphism class of graphs. The question of whether graph isomorphism can be determined in polynomial time is a major unsolved problem in computer...
computer science, a maximum common subgraph may mean either: Maximum common induced subgraph, a graph that is an induced subgraph of two given graphs and has...
with at least k vertices. This problem is NP-complete. It is a generalization of the induced subgraphisomorphismproblem, which arises when k equals the...
NP-complete problem. For example: Finding the largest complete subgraph is called the clique problem (NP-complete). One special case of subgraphisomorphism is...
occurrence of the pattern graph (pattern matching, thus solving the subgraphisomorphismproblem) and by replacing the found occurrence by an instance of the...
the graph isomorphismproblem. The problem of exact matching of a graph to a part of another graph is called subgraphisomorphismproblem. Inexact graph...
to isomorphism. It can be represented as an induced subgraph of G, and is a core in the sense that all of its self-homomorphisms are isomorphisms. 4. In...
clique problem is the computational problem of finding cliques (subsets of vertices, all adjacent to each other, also called complete subgraphs) in a graph...
whether a graph is uniquely determined by its vertex-deleted subgraphs. The snake-in-the-box problem: what is the longest possible induced path in an n {\displaystyle...
In extremal graph theory, the forbidden subgraphproblem is the following problem: given a graph G {\displaystyle G} , find the maximal number of edges...
with these properties have efficient algorithms for problems including the subgraphisomorphismproblem and model checking for the first order theory of...
{\displaystyle u} . The subgraphisomorphismproblem for a fixed subgraph H {\displaystyle H} asks whether H {\displaystyle H} appears as a subgraph of a larger graph...
to isomorphisms of induced subgraphs of G and H. Therefore, the modular product graph can be used to reduce problems of induced subgraphisomorphism to...
removes them from the graph. These actions are repeated on the remaining subgraph until no vertices remain. The worst-case complexity of DSatur is O ( n...
results on subgraphisomorphism in sparse graphs to search for atoms) for graphs of bounded expansion. However, on general graphs the problem is W[1]-hard...
Unsolved problem in mathematics: Are graphs uniquely determined by their subgraphs? (more unsolved problems in mathematics) Informally, the reconstruction...
invariants are instrumental for fast recognition of graph isomorphism, or rather non-isomorphism, since for any invariant at all, two graphs with different...
solve a problem in extremal graph theory, of constructing a graph with a given number of edges and vertices whose largest tree induced as a subgraph is as...