Graphclass: (C5,P,P5,P,house)-free
Complement classes
self-complementary
Inclusions
The map shows the inclusions between the current class and a fixed set of landmark classes. Minimal/maximal is with respect
to the contents of ISGCI. Only references for direct inclusions are given. Where no reference is given, check equivalent classes
or use the Java application. To check relations other than inclusion (e.g. disjointness) use the Java application, as well.
Map
Inclusion map for (C_5,P,P_5,\co{P},house)--free
Minimal superclasses
- (2K3 + e,A,C5,C6,E,K3,3-e,P6,R,X166,X167,X169,X170,X171,X172,X18,X45,X5,X58,X84,X95,X98,A,C6,E,P6,R,X166,X167,X169,X170,X171,X172,X18,X45,X5,X58,X84,X95,X98,antenna,co-antenna,co-domino,co-fish,co-twin-house,domino,fish,twin-house)-free
[from the set of forbidden subgraphs]
(known proper)
- (A,C5,P5,A,house,parachute,parapluie)-free
[from the set of forbidden subgraphs]
(known proper)
- (C5,P,P5,house)-free
[from the set of forbidden subgraphs]
(known proper)
- (C5,P5,P,house)-free (known proper)
- P4-laden (known proper)
- hereditary Welsh-Powell opposition (known proper)
- superbrittle (known proper)
Maximal subclasses
- (1,1)-colorable (known proper)
- (2K2,C4,C5)-free
[from the set of forbidden subgraphs]
(known proper)
- (5,1) (known proper)
- (C5,P,P5,P,co-fork,fork,house)-free
[from the set of forbidden subgraphs]
(known proper)
- P4-sparse (known proper)
- chordal ∩ co-chordal (known proper)
- split (known proper)
Speed
Speed
[?]
The speed of a class $X$ is the function $n \mapsto |X_n|,ドル where $X_n$ is the set of $n$-vertex labeled graphs in $X$.
Depending on the rate of growths of the speed of the class, ISGCI
distinguishes the following values of the parameter:
Constant
Polynomial
Exponential
Factorial
Superfactorial (2ドル^{o(n^2)}$ )
Superfactorial (2ドル^{\Theta(n^2)}$ )
superfactorial (2ドル^{\Theta(n^2)}$)
at least factorial on
P4-free
[
1791]
V.V. Lozin, C. Mayhill, V. Zamaraev
Locally bounded coverings and factorial properties of graphs
European J. Combin. 33 No.4 534-543 (2012)
at least
superfactorial (2ドル^{\Theta(n^2)}$)
on
split
[
1788]
V.E. Alekseev
Range of values of entropy of hereditary classes of graphs
Diskretn. Math. 4:2 148-157 (1995)
[
1789]
B. Bollobas, A. Thomason
Projections of bodies and hereditary properties of hypergraphs
Bull. London Math. Soc. 27(5) 417-424 (1995)
Parameters
acyclic chromatic number
[?] The acyclic chromatic number of a graph $G$ is the smallest size of a vertex partition $\{V_1,\dots,V_l\}$ such that each $V_i$ is an independent set
and for all $i,j$ that graph $G[V_i\cup V_j]$ does not contain a cycle.
Unbounded
Unbounded from chromatic number
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
bandwidth
[?] The bandwidth of a graph $G$ is the shortest maximum "length" of an edge over all one dimensional layouts of $G$. Formally, bandwidth is defined as $\min_{i \colon V \rightarrow \mathbb{N}\;}\{\max_{\{u,v\}\in E\;} \{|i(u)-i(v)|\}\mid i\text{ is injective}\}$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.Unbounded from acyclic chromatic numberUnbounded from book thicknessUnbounded from booleanwidthUnbounded from branchwidthUnbounded from carvingwidthUnbounded from chromatic numberUnbounded from cliquewidthUnbounded from cochromatic numberUnbounded from cutwidthUnbounded from degeneracyUnbounded from maximum cliqueUnbounded from maximum degreeUnbounded from pathwidthUnbounded from rankwidthUnbounded from treewidthUnbounded on
complete
[by definition]
Unbounded on
complete bipartite
[by definition]
book thickness
[?] A book embedding of a graph $G$ is an embedding of $G$ on a collection of half-planes (called pages) having the same line
(called spine) as their boundary, such that the vertices all lie on the spine and there are no crossing edges. The book thickness of a graph $G$ is the smallest number of pages over all book embeddings of $G$.
Unbounded
Unbounded from acyclic chromatic numberUnbounded from chromatic numberUnbounded from cochromatic numberUnbounded from degeneracyUnbounded from maximum cliqueUnbounded on
complete
[
1778]
F. Bernhart, P.C. Kainen
The book thickness of a graph
J. of Combin. Th. (B) 27 320-331 (1979)
booleanwidth
[?] Consider the following decomposition of a graph $G$ which is defined as a pair $(T,L)$ where $T$ is a binary tree and $L$
is a bijection from $V(G)$ to the leaves of the tree $T$. The function $\text{cut-bool} \colon 2^{V(G)} \rightarrow R$ is
defined as $\text{cut-bool}(A)$ := $\log_2|\{S \subseteq V(G) \backslash A \mid \exists X \subseteq A \colon S = (V(G) \backslash
A) \cap \bigcup_{x \in X} N(x)\}|$. Every edge $e$ in $T$ partitions the vertices $V(G)$ into $\{A_e,\overline{A_e}\}$ according
to the leaves of the two connected components of $T - e$. The booleanwidth of the above decomposition $(T,L)$ is $\max_{e
\in E(T)\;} \{ \text{cut-bool}(A_e)\}$. The booleanwidth of a graph $G$ is the minimum booleanwidth of a decomposition of $G$ as above.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from cliquewidth
Unbounded from rankwidth
branchwidth
[?] A branch decomposition of a graph $G$ is a pair $(T,\chi),ドル where $T$ is a binary tree and $\chi$ is a bijection, mapping
leaves of $T$ to edges of $G$. Any edge $\{u, v\}$ of the tree divides the tree into two components and divides the set of
edges of $G$ into two parts $X, E \backslash X,ドル consisting of edges mapped to the leaves of each component. The width of
the edge $\{u,v\}$ is the number of vertices of $G$ that is incident both with an edge in $X$ and with an edge in $E \backslash
X$. The width of the decomposition $(T,\chi)$ is the maximum width of its edges. The branchwidth of the graph $G$ is the minimum width over all branch-decompositions of $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from rankwidth
Unbounded from treewidth
carvingwidth
[?] Consider a decomposition $(T,\chi)$ of a graph $G$ where $T$ is a binary tree with $|V(G)|$ leaves and $\chi$ is a bijection
mapping the leaves of $T$ to the vertices of $G$. Every edge $e \in E(T)$ of the tree $T$ partitions the vertices of the graph
$G$ into two parts $V_e$ and $V \backslash V_e$ according to the leaves of the two connected components in $T - e$. The width
of an edge $e$ of the tree is the number of edges of a graph $G$ that have exactly one endpoint in $V_e$ and another endpoint
in $V \backslash V_e$. The width of the decomposition $(T,\chi)$ is the largest width over all edges of the tree $T$. The
carvingwidth of a graph is the minimum width over all decompositions as above.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from maximum degree
Unbounded from rankwidth
Unbounded from treewidth
chromatic number
[?] The chromatic number of a graph is the minimum number of colours needed to label all its vertices in such a way that no two vertices with the
same color are adjacent.
Unbounded
Unbounded from cochromatic number
Unbounded from maximum clique
cliquewidth
[?] The cliquewidth of a graph is the number of different labels that is needed to construct the graph using the following operations:
- creation of a vertex with label $i,ドル
- disjoint union,
- renaming labels $i$ to label $j,ドル and
- connecting all vertices with label $i$ to all vertices with label $j$.
Unbounded
Unbounded From Superfactorial(Theta) Speed.Unbounded From Superfactorial(Theta) Speed.Unbounded from Domination assuming Linear,NP-complete disjoint.Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.Unbounded from booleanwidthUnbounded from rankwidthUnbounded
[
1185]
A. Brandstaedt, F.F. Dragan, H.-O. Le, R. Mosca
New graph classes of bounded clique-width
WG 2002, Lecture Notes in Computer Science 2573, 57-67 (2002)
Unbounded on
permutation ∩ split
[
1796]
N. Korpelainen, V.V. Lozin, C. Mayhill
Split permutation graphs
Graphs and Combinatorics 30 633-646 (2014)
Unbounded on
split
[
1176]
J.A. Makowsky, U. Rotics
On the clique-width of graphs with few $P_4$'s.
International Journal of Foundations of Computer Science 10 (1999) 329-348
cochromatic number
[?] The cochromatic number of a graph $G$ is the minimum number of colours needed to label all its vertices in such a way that that every set of vertices
with the same colour is either independent in G, or independent in $\overline{G}$.
Unbounded
Unbounded from cochromatic number on the complementUnbounded on
cluster
[
1866]
(no preview available)
cutwidth
[?] The cutwidth of a graph $G$ is the smallest integer $k$ such that the vertices of $G$ can be arranged in a linear layout $v_1,
\ldots, v_n$ in such a way that for every $i = 1, \ldots,n - 1,ドル there are at most $k$ edges with one endpoint in $\{v_1,
\ldots, v_i\}$ and the other in $\{v_{i+1}, \ldots, v_n\}$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from carvingwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from maximum degree
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from treewidth
degeneracy
[?] Let $G$ be a graph and consider the following algorithm:
- Find a vertex $v$ with smallest degree.
- Delete vertex $v$ and its incident edges.
- Repeat as long as the graph is not empty.
The degeneracy of a graph $G$ is the maximum degree of a vertex when it is deleted in the above algorithm.
Unbounded
Unbounded From Superfactorial(Theta) Speed.Unbounded From Superfactorial(Theta) Speed.Unbounded from chromatic numberUnbounded from cochromatic numberUnbounded from maximum cliqueUnbounded on
complete bipartite
[by definition]
diameter
[?] The diameter of a graph $G$ is the length of the longest shortest path between any two vertices in $G$.
Bounded
distance to block
[?] The distance to block of a graph $G$ is the size of a smallest vertex subset whose deletion makes $G$ a block graph.
Unbounded
distance to clique
[?] Let $G$ be a graph. Its distance to clique is the minimum number of vertices that have to be deleted from $G$ in order to obtain a clique.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from cochromatic number
Unbounded from distance to block
Unbounded from distance to cluster
Unbounded from distance to co-cluster
Unbounded from distance to cograph
Unbounded from maximum independent set
Unbounded from maximum induced matching
Unbounded from minimum clique cover
Unbounded from minimum dominating set
distance to cluster
[?] A cluster is a disjoint union of cliques. The distance to cluster of a graph $G$ is the size of a smallest vertex subset whose deletion makes $G$ a cluster graph.
Unbounded
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.Unbounded from distance to blockUnbounded from distance to cographUnbounded on
complete bipartite
[by definition]
distance to co-cluster
[?] The distance to co-cluster of a graph is the minimum number of vertices that have to be deleted to obtain a co-cluster graph.
Unbounded
Unbounded from distance to cluster on the complement
Unbounded from distance to cograph
distance to cograph
[?] The distance to cograph of a graph $G$ is the minimum number of vertices that have to be deleted from $G$ in order to obtain a cograph .
Unbounded
distance to linear forest
[?] The distance to linear forest of a graph $G = (V, E)$ is the size of a smallest subset $S$ of vertices, such that $G[V \backslash S]$ is a disjoint union
of paths and singleton vertices.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from distance to block
Unbounded from distance to outerplanar
Unbounded from maximum clique
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from treewidth
distance to outerplanar
[?] The distance to outerplanar of a graph $G = (V,E)$ is the minumum size of a vertex subset $X \subseteq V,ドル such that $G[V \backslash X]$ is a outerplanar graph.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from rankwidth
Unbounded from treewidth
genus
[?] The genus $g$ of a graph $G$ is the minimum number of handles over all surfaces on which $G$ can be embedded without edge
crossings.
Unbounded
Unbounded from acyclic chromatic numberUnbounded from book thicknessUnbounded from chromatic numberUnbounded from cochromatic numberUnbounded from degeneracyUnbounded from maximum cliqueUnbounded on
complete bipartite
[by definition]
max-leaf number
[?] The max-leaf number of a graph $G$ is the maximum number of leaves in a spanning tree of $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from bandwidth
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from carvingwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from cutwidth
Unbounded from degeneracy
Unbounded from distance to block
Unbounded from distance to linear forest
Unbounded from distance to outerplanar
Unbounded from maximum clique
Unbounded from maximum degree
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from treewidth
maximum clique
[?] The parameter maximum clique of a graph $G$ is the largest number of vertices in a complete subgraph of $G$.
Unbounded
maximum degree
[?] The maximum degree of a graph $G$ is the largest number of neighbors of a vertex in $G$.
Unbounded
Unbounded From Superfactorial(Theta) Speed.Unbounded From Superfactorial(Theta) Speed.Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.Unbounded from acyclic chromatic numberUnbounded from chromatic numberUnbounded from cochromatic numberUnbounded from degeneracyUnbounded from maximum cliqueUnbounded on
(C4,P3,triangle)-free
[by definition]
Unbounded on
complete
[by definition]
Unbounded on
complete bipartite
[by definition]
Unbounded on
disjoint union of stars
[by definition]
maximum independent set
[?] An independent set of a graph $G$ is a subset of pairwise non-adjacent vertices. The parameter maximum independent set of graph $G$ is the size of a largest independent set in $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.Unbounded from maximum induced matchingUnbounded from minimum dominating setUnbounded on
complete bipartite
[by definition]
Unbounded on
disjoint union of stars
[by definition]
maximum induced matching
[?] For a graph $G = (V,E)$ an induced matching is an edge subset $M \subseteq E$ that satisfies the following two conditions:
$M$ is a matching of the graph $G$ and there is no edge in $E \backslash M$ connecting any two vertices belonging to edges
of the matching $M$. The parameter maximum induced matching of a graph $G$ is the largest size of an induced matching in $G$.
Unbounded
maximum matching
[?] A matching in a graph is a subset of pairwise disjoint edges (any two edges that do not share an endpoint). The parameter
maximum matching of a graph $G$ is the largest size of a matching in $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from distance to block
Unbounded from distance to cluster
Unbounded from distance to co-cluster
Unbounded from distance to cograph
Unbounded from distance to linear forest
Unbounded from distance to outerplanar
Unbounded from maximum clique
Unbounded from maximum induced matching
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from tree depth
Unbounded from treewidth
Unbounded from vertex cover
minimum clique cover
[?] A clique cover of a graph $G = (V, E)$ is a partition $P$ of $V$ such that each part in $P$ induces a clique in $G$. The minimum clique cover of $G$ is the minimum number of parts in a clique cover of $G$. Note that the clique cover number of a graph is exactly the
chromatic number of its complement.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from cochromatic number
Unbounded from maximum independent set
Unbounded from maximum induced matching
Unbounded from minimum dominating set
minimum dominating set
[?] A dominating set of a graph $G$ is a subset $D$ of its vertices, such that every vertex not in $D$ is adjacent to at least
one member of $D$. The parameter minimum dominating set for graph $G$ is the minimum number of vertices in a dominating set for $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded on
K2-free
[by definition]
pathwidth
[?] A path decomposition of a graph $G$ is a pair $(P,X)$ where $P$ is a path with vertex set $\{1, \ldots, q\},ドル and $X = \{X_1,X_2,
\ldots ,X_q\}$ is a family of vertex subsets of $V(G)$ such that:
- $\bigcup_{p \in \{1,\ldots ,q\}} X_p = V(G)$
- $\forall\{u,v\} \in E(G) \exists p \colon u, v \in X_p$
- $\forall v \in V(G)$ the set of vertices $\{p \mid v \in X_p\}$ is a connected subpath of $P$.
The width of a path decomposition $(P,X)$ is max$\{|X_p| - 1 \mid p \in \{1,\ldots ,q\}\}$. The pathwidth of a graph $G$ is the minimum width among all possible path decompositions of $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from rankwidth
Unbounded from treewidth
rankwidth
[?] Let $M$ be the $|V| \times |V|$ adjacency matrix of a graph $G$. The cut rank of a set $A \subseteq V(G)$ is the rank of the
submatrix of $M$ induced by the rows of $A$ and the columns of $V(G) \backslash A$. A rank decomposition of a graph $G$ is
a pair $(T,L)$ where $T$ is a binary tree and $L$ is a bijection from $V(G)$ to the leaves of the tree $T$. Any edge $e$ in
the tree $T$ splits $V(G)$ into two parts $A_e, B_e$ corresponding to the leaves of the two connected components of $T - e$.
The width of an edge $e \in E(T)$ is the cutrank of $A_e$. The width of the rank-decomposition $(T,L)$ is the maximum width
of an edge in $T$. The rankwidth of the graph $G$ is the minimum width of a rank-decomposition of $G$.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from cliquewidth
tree depth
[?] A tree depth decomposition of a graph $G = (V,E)$ is a rooted tree $T$ with the same vertices $V,ドル such that, for every edge
$\{u,v\} \in E,ドル either $u$ is an ancestor of $v$ or $v$ is an ancestor of $u$ in the tree $T$. The depth of $T$ is the maximum
number of vertices on a path from the root to any leaf. The tree depth of a graph $G$ is the minimum depth among all tree depth decompositions.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from maximum clique
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from treewidth
treewidth
[?] A tree decomposition of a graph $G$ is a pair $(T, X),ドル where $T = (I, F)$ is a tree, and $X = \{X_i \mid i \in I\}$ is a
family of subsets of $V(G)$ such that
- the union of all $X_i,ドル $i \in I$ equals $V,ドル
- for all edges $\{v,w\} \in E,ドル there exists $i \in I,ドル such that $v, w \in X_i,ドル and
- for all $v \in V$ the set of nodes $\{i \in I \mid v \in X_i\}$ forms a subtree of $T$.
The width of the tree decomposition is $\max |X_i| - 1$.
The treewidth of a graph is the minimum width over all possible tree decompositions of the graph.
Unbounded
Unbounded from Domination assuming Linear,NP-complete disjoint.Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.Unbounded from Hamiltonian cycle assuming Linear,NP-complete disjoint.Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.Unbounded from Maximum cut assuming Linear,NP-complete disjoint.Unbounded from acyclic chromatic numberUnbounded from book thicknessUnbounded from booleanwidthUnbounded from branchwidthUnbounded from chromatic numberUnbounded from cliquewidthUnbounded from cochromatic numberUnbounded from degeneracyUnbounded from maximum cliqueUnbounded from rankwidthUnbounded on
complete
[by definition]
vertex cover
[?] Let $G$ be a graph. Its vertex cover number is the minimum number of vertices that have to be deleted in order to obtain an independent set.
Unbounded
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Graph isomorphism assuming Polynomial,GI-complete disjoint.
Unbounded from Hamiltonian cycle assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Maximum cut assuming Polynomial,NP-complete disjoint.
Unbounded from acyclic chromatic number
Unbounded from book thickness
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from chromatic number
Unbounded from cliquewidth
Unbounded from cochromatic number
Unbounded from degeneracy
Unbounded from distance to block
Unbounded from distance to cluster
Unbounded from distance to co-cluster
Unbounded from distance to cograph
Unbounded from distance to linear forest
Unbounded from distance to outerplanar
Unbounded from maximum clique
Unbounded from maximum induced matching
Unbounded from maximum matching
Unbounded from pathwidth
Unbounded from rankwidth
Unbounded from tree depth
Unbounded from treewidth
Problems
Problems in italics have no summary page and are only listed when
ISGCI contains a result for the current class.
Parameter decomposition
book thickness decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the book thickness of G is at most k.
Unknown to ISGCI
booleanwidth decomposition
[?]
Input:
A graph G in this class.
Output:
An expression that constructs G according to the rules for booleanwidth, using only a constant number of labels.
Undefined if this class has unbounded booleanwidth.
Unknown to ISGCI
cliquewidth decomposition
[?]
Input:
A graph G in this class.
Output:
An expression that constructs G according to the rules for cliquewidth, using only a constant number of labels.
Undefined if this class has unbounded cliquewidth.
Unknown to ISGCI
cutwidth decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the cutwidth of G is at most k.
NP-complete
Unbounded/NP-complete
on
split
[
1510]
P. Heggernes, D. Lokshtanov, R. Mihai, C. Papadopoulos
Cutwidth of split graphs, threshold graphs, and proper interval graphs
Proceedings of WG 2008, LNCS 5344, pp. 218-229 (2008)
treewidth decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the treewidth of G is at most k.
Polynomial
Polynomial on
HHD-free
[
1420]
H.J. Broersma, E. Dahlhaus, T. Kloks
Algorithms for the treewidth and minimum fill-in of HHD-free graphs
23rd Intern. Workshop on Graph--Theoretic Concepts in Comp. Sci. WG'97, Lecture Notes in Comp. Sci. 1335 (1997) 109-117
Polynomial [$O((V+E) \log V)$]
on
weak bipolarizable
[
1419]
E. Dahlhaus
Minimum fill-in and treewidth on graphs modularly decomposable into chordal graphs
24th Intern. Workshop on Graph--Theoretic Concepts in Comp. Sci. WG'98, Lecture Notes in Comp. Sci. 1517 (1998) 351-358
Polynomial on
weakly chordal
[
1421]
V. Bouchitte, I. Todinca
Treewidth and minimum fill-in of weakly triangulated graphs
Annual symposium on theoretical aspects of computer science STACS 99, Lecture Notes in Comp. Sci. 1563 (1999) 197-206
Unweighted problems
3-Colourability
[?]
Input:
A graph G in this class.
Output:
True iff each vertex of G can be assigned one colour out of 3 such that whenever two vertices are adjacent, they have different colours.
Linear
Linear from ColourabilityPolynomial from ColourabilityPolynomial on
P5-free
[
1242]
B. Randerath, I. Schiermeyer, M. Tewes
Three-colourability and forbidden subgraphs II: polynomial algorithms
Discrete Math. 251 137-212 (2002)
[
1441]
C.T. Hoang, M. Kaminski, V. Lozin, J. Sawada, X. Shu
Deciding k-colorability of P_5-free graphs in polynomial time
Algorithmica Vol.57 No.1 74-81 (2010)
Polynomial on
P6-free
[
1243]
B. Randerath, I. Schiermeyer
3-colorability in P for P_6-free graphs
Discrete Appl. Math. 136 299-313 (2004)
Polynomial on
odd-hole-free
[
1744]
(no preview available)
Clique
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff G contains a set S of pairwise adjacent vertices, with |S| >= k.
Linear
Polynomial from Independent set on the complementPolynomial from Weighted cliqueLinear on
Matula perfect
[
221]
V. Chv\'atal, C.T. Ho\`ang, N.V.R. Mahadev, D. de Werra
Four classes of perfectly orderable graphs
J. Graph Theory 11 1987 481--495
Linear on
Welsh-Powell perfect
[
221]
V. Chv\'atal, C.T. Ho\`ang, N.V.R. Mahadev, D. de Werra
Four classes of perfectly orderable graphs
J. Graph Theory 11 1987 481--495
Polynomial on
biclique separable
[
1304]
Eschen, Elaine M.; Hoàng, Chính T.; Petrick, Mark D.T.; Sritharan, R
Disjoint clique cutsets in graphs without long holes
J. Graph Theory 48, No.4, 277-298 (2005)
Polynomial on
circular perfect
[
1408]
A. Pecher, A.K. Wagler
Clique and chromatic number of circular-perfect graphs
Proceedings of ISCO 2010 - International Symposium on Combinatorial Optimization, Elec. Notes in Discrete Math 36 199-206
(2010)
Clique cover
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the vertices of G can be partitioned into k sets Si, such that whenever two vertices are in the same set Si, they are adjacent.
Polynomial
Polynomial from Colourability on the complement
Colourability
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff each vertex of G can be assigned one colour out of k such that whenever two vertices are adjacent, they have different colours.
Linear
Linear on
Matula perfect
[
221]
V. Chv\'atal, C.T. Ho\`ang, N.V.R. Mahadev, D. de Werra
Four classes of perfectly orderable graphs
J. Graph Theory 11 1987 481--495
Linear on
Welsh-Powell perfect
[
221]
V. Chv\'atal, C.T. Ho\`ang, N.V.R. Mahadev, D. de Werra
Four classes of perfectly orderable graphs
J. Graph Theory 11 1987 481--495
Polynomial on
biclique separable
[
1304]
Eschen, Elaine M.; Hoàng, Chính T.; Petrick, Mark D.T.; Sritharan, R
Disjoint clique cutsets in graphs without long holes
J. Graph Theory 48, No.4, 277-298 (2005)
Polynomial on
circular perfect
[
1408]
A. Pecher, A.K. Wagler
Clique and chromatic number of circular-perfect graphs
Proceedings of ISCO 2010 - International Symposium on Combinatorial Optimization, Elec. Notes in Discrete Math 36 199-206
(2010)
Polynomial on
perfect
[
476]
M. Gr\"otschel, L. Lov\'asz, A. Schrijver
The ellipsoid method and its consequences in combinatorial optimization
Combinatorica 1 169--197, 1981 Corrigendum
Polynomial [$O(VE)$]
on
perfectly orderable
Polynomial [$O(V^4E)$]
on
weakly chordal
[
530]
R.B. Hayward, C. Ho\`ang, F. Maffray
Optimizing weakly triangulated graphs
Graphs and Combinatorics 5 339--349, Erratum: 6 (1990) 33--35 1989
Domination
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff G contains a set S of vertices, with |S| <= k, such that every vertex in G is either in S or adjacent to a vertex in S.
NP-complete
NP-complete on
split
[
1144]
A.A. Bertossi
Dominating sets for split and bipartite graphs.
Inform. Process. Lett. 19 (1984) 37-40
[
1145]
D.G. Corneil, Y. Perl
Clustering and domination in perfect graphs.
Discrete. Appl. Math. 9 (1984) 27-39
Feedback vertex set
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff G contains a set S of vertices, with |S| <= k, such that every cycle in G contains a vertex from S.
Unknown to ISGCI
Graph isomorphism
[?]
Input:
Graphs G and H in this class
Output:
True iff G and H are isomorphic.
GI-complete
GI-complete on
split
[
1695]
F.R.K. Chung
On the cutwidth and the topological bandwidth of a tree
SIAM J. Alg. Discr. Meth. 6 1985 268--277
Hamiltonian cycle
[?]
Input:
A graph G in this class.
Output:
True iff G has a simple cycle that goes through every vertex of the graph.
NP-complete
NP-complete on
split
[
453]
M.C. Golumbic
Algorithmic Graph Theory and Perfect Graphs
Academic Press, New York 1980
NP-complete on
split ∩ strongly chordal
[
1517]
H. Mueller
Hamiltonian circuits in chordal bipartite graphs
Discrete Math. 156 291-298 (1996)
Hamiltonian path
[?]
Input:
A graph G in this class.
Output:
True iff G has a simple path that goes through every vertex of the graph.
NP-complete
NP-complete on
split ∩ strongly chordal
[
1517]
H. Mueller
Hamiltonian circuits in chordal bipartite graphs
Discrete Math. 156 291-298 (1996)
Independent set
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff G contains a set S of pairwise non-adjacent vertices, such that |S| >= k.
Linear
Polynomial from Clique on the complementPolynomial from Weighted independent setLinear on
extended P4-laden
[
438]
V. Giakoumakis
$P_4$--laden graphs: a new class of brittle graphs
Inf. Proc. Letters 60 1996 29--36
Polynomial on
(E,P)-free
[
1305]
M.U. Gerber, V.V. Lozin
Robust algorithms for the stable set problem
Graphs and Combin., to appear
Polynomial [$O(nm)$]
on
(K3,3-e,P5,X98)-free
[
1117]
A. Brandstaedt, V.V. Lozin
A note on \alpha-redundant vertices in graphs.
Discrete Appl. Math. 108 (2001) 301-308
Polynomial [$O(V^{5})$]
on
(K3,3-e,P5,X99)-free
[
1307]
M.U. Gerber, A. Hertz, D. Schindl
P_5-free graphs and the maximum stable set problem
Discrete Appl. Math. 132 109-119 (2004)
Polynomial on
(K3,3-e,P5)-free
[
1246]
V. Alekseev, P. Lozin, R. Mosca
Maximum independent set problem and P_5-free graphs
Manuscript 2004
Polynomial on
Meyniel
[
169]
M. Burlet, J. Fonlupt
Polynomial algorithm to recognize a Meyniel graph
Annals of Discrete Math. 21 1984 225--252
Polynomial [$O(VE)$]
on
(P,P5)-free
[
1117]
A. Brandstaedt, V.V. Lozin
A note on \alpha-redundant vertices in graphs.
Discrete Appl. Math. 108 (2001) 301-308
Polynomial [$O(V^8)$]
on
(P,P7)-free
[
1351]
V.E. Alekseev, V.V. Lozin
Augmenting graphs for independent sets
Discrete Appl. Math. 145, No.1 3-10 (2004)
Polynomial on
(P,P8)-free
[
1306]
M.U. Gerber, A. Hertz, V.V. Lozin
Stable sets in two subclasses of banner-free graphs
Discrete Appl. Math. 132 121-136 (2004)
Polynomial on
(P,T2)-free
[
1305]
M.U. Gerber, V.V. Lozin
Robust algorithms for the stable set problem
Graphs and Combin., to appear
Polynomial on
(P,star1,2,5)-free
[
1349]
V.L. Lozin, M. Milanic
On finding augmenting graphs
Rutcor Research Report 28-2005
Polynomial on
co-biclique separable
[
1304]
Eschen, Elaine M.; Hoàng, Chính T.; Petrick, Mark D.T.; Sritharan, R
Disjoint clique cutsets in graphs without long holes
J. Graph Theory 48, No.4, 277-298 (2005)
Polynomial [$O(VE)$]
on
weakly chordal
[
1119]
R. Hayward, J. Spinrad. R. Sritharan
Weakly chordal graph algorithms via handles
Proc. of the 11th symposium on Discrete Algorithms 42-49, 2000
[
530]
R.B. Hayward, C. Ho\`ang, F. Maffray
Optimizing weakly triangulated graphs
Graphs and Combinatorics 5 339--349, Erratum: 6 (1990) 33--35 1989
Maximum cut
[?] (decision variant)
Input:
A graph G in this class and an integer k.
Output:
True iff the vertices of G can be partitioned into two sets A,B such that there are at least k edges in G with one endpoint in A and the other endpoint in B.
NP-complete
NP-complete on
split
[
1629]
H.L. Bodlaender, K. Jansen
On the complexity of the maximum cut problem
Nordic J. Comput. 7 No.1 14-31 (2000)
Monopolarity
[?]
Input:
A graph G in this class.
Output:
True iff G is monopolar.
Polynomial
Polynomial [$O(V^4)$]
on
(5-pan,T2,X172)-free
[
1764]
V.B. Le, R. Nevries
Complexity and algorithms for recognizing polar and monopolar graphs
Theoretical Computer Science 528 1-11 (2014)
Polynomial on
hole-free
[
1764]
V.B. Le, R. Nevries
Complexity and algorithms for recognizing polar and monopolar graphs
Theoretical Computer Science 528 1-11 (2014)
Polarity
[?]
Input:
A graph G in this class.
Output:
True iff G is polar.
Unknown to ISGCI
Recognition
[?]
Input:
A graph G.
Output:
True iff G is in this graph class.
Polynomial
Polynomial
Finite forbidden subgraph characterization
Weighted problems
Weighted clique
[?]
Input:
A graph G in this class with weight function on the vertices and a real k.
Output:
True iff G contains a set S of pairwise adjacent vertices, such that the sum of the weights of the vertices in S is at least k.
Polynomial
Polynomial from Weighted independent set on the complementPolynomial [$O(VE)$]
on
perfectly orderable
Weighted feedback vertex set
[?]
Input:
A graph G in this class with weight function on the vertices and a real k.
Output:
True iff G contains a set S of vertices, such that the sum of the weights of the vertices in S is at most k and every cycle in G contains a vertex from S.
Unknown to ISGCI
Weighted independent set
[?]
Input:
A graph G in this class with weight function on the vertices and a real k.
Output:
True iff G contains a set S of pairwise non-adjacent vertices, such that the sum of the weights of the vertices in S is at least k.
Polynomial
Polynomial on
(P,P5)-free
[
1353]
A. Brandstaedt, C.T. Hoang
On clique separators, nearly chordal graphs, and the Maximum Weight Stable Set Problem
Theoretical Comp. Sci. 389, No.1-2, 295-306 (2007)
Polynomial [$O(V^9 E)$]
on
(P,P7)-free
[
1452]
R. Mosca
Stable sets of maximum weight in (P_7, banner)-free graphs
Discrete Math. 308 Issue 1 20-33 (2008)
Polynomial on
(P5,X82,X83)-free
[
1246]
V. Alekseev, P. Lozin, R. Mosca
Maximum independent set problem and P_5-free graphs
Manuscript 2004
Polynomial on
(P5,house)-free
[
1109]
V. Giakoumakis, I. Rusu
Weighted parameters in (P_5,\overline{P_5})-free graphs
Discrete Appl. Math. 80 (1997) 255-261
Polynomial on
P5-free
[
1635]
D. Lokshantov, M. Vatshelle, Y. Villanger
Independent set in P5-free graphs in polynomial time
Accepted for publication
Polynomial on
P6-free
[
1839]
A. Grzesik, T. Klimosova, M. Pilipczuk
Polynomial-time Algorithm for Maximum Weight Independent Set on P6-free Graphs
ACM Transactions on Algorithms 18 No.1 1-57 (2022)
Polynomial on
(n+4)-pan-free
[
1447]
A. Brandstaedt, V.V. Lozin, R. Mosca
Independent sets of maximum weight in apple-free graphs
SIAM J. Discrete Math. Vol.24 No.1 239-254 (2010)
Polynomial on
perfect
[
476]
M. Gr\"otschel, L. Lov\'asz, A. Schrijver
The ellipsoid method and its consequences in combinatorial optimization
Combinatorica 1 169--197, 1981 Corrigendum
Polynomial [$O(V^4)$]
on
weakly chordal
[
997]
J.P. Spinrad, R. Sritharan
Algorithms for weakly triangulated graphs
Discrete Appl. Math. 59 1995 181--191
Weighted maximum cut
[?]
(decision variant)
Input:
A graph G in this class with weight function on the edges and a real k.
Output:
True iff the vertices of G can be partitioned into two sets A,B such that the sum of weights of the edges in G with one endpoint in A and the other endpoint in B is at least k.
NP-complete
NP-complete from Maximum cutNP-complete on
2K1-free
[
1676]
M. Kaminski
Max-cut and containment relations in graphs
Proceedings of WG 2010, Lecture Notes in Computer Science 6410, 15-26 (2010)
NP-complete on
P3-free
[
1676]
M. Kaminski
Max-cut and containment relations in graphs
Proceedings of WG 2010, Lecture Notes in Computer Science 6410, 15-26 (2010)