Induced subgraph

From HandWiki
Short description: Graph made from a subset of another graph's nodes and their edges

In the mathematical field of graph theory, an induced subgraph of a graph is another graph, formed from a subset of the vertices of the graph and all of the edges (from the original graph) connecting pairs of vertices in that subset.

Definition

Formally, let [math]\displaystyle{ G=(V,E) }[/math] be any graph, and let [math]\displaystyle{ S\subseteq V }[/math] be any subset of vertices of G. Then the induced subgraph [math]\displaystyle{ G[S] }[/math] is the graph whose vertex set is [math]\displaystyle{ S }[/math] and whose edge set consists of all of the edges in [math]\displaystyle{ E }[/math] that have both endpoints in [math]\displaystyle{ S }[/math].[1] That is, for any two vertices [math]\displaystyle{ u,v\in S }[/math], [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] are adjacent in [math]\displaystyle{ G[S] }[/math] if and only if they are adjacent in [math]\displaystyle{ G }[/math]. The same definition works for undirected graphs, directed graphs, and even multigraphs.

The induced subgraph [math]\displaystyle{ G[S] }[/math] may also be called the subgraph induced in [math]\displaystyle{ G }[/math] by [math]\displaystyle{ S }[/math], or (if context makes the choice of [math]\displaystyle{ G }[/math] unambiguous) the induced subgraph of [math]\displaystyle{ S }[/math].

Examples

Important types of induced subgraphs include the following.

The snake-in-the-box problem concerns the longest induced paths in hypercube graphs

Computation

The induced subgraph isomorphism problem is a form of the subgraph isomorphism problem in which the goal is to test whether one graph can be found as an induced subgraph of another. Because it includes the clique problem as a special case, it is NP-complete.[4]

References

  1. Diestel, Reinhard (2006), Graph Theory, Graduate texts in mathematics, 173, Springer-Verlag, pp. 3–4, ISBN 9783540261834, https://books.google.com/books?id=aR2TMYQr2CMC&pg=PA3 .
  2. Howorka, Edward (1977), "A characterization of distance-hereditary graphs", The Quarterly Journal of Mathematics, Second Series 28 (112): 417–420, doi:10.1093/qmath/28.4.417 .
  3. "The strong perfect graph theorem", Annals of Mathematics 164 (1): 51–229, 2006, doi:10.4007/annals.2006.164.51 .
  4. Johnson, David S. (1985), "The NP-completeness column: an ongoing guide", Journal of Algorithms 6 (3): 434–451, doi:10.1016/0196-6774(85)90012-4 .