Graphclass: CPG
Definition:
A graph $G$ is a CPG graph if the vertices of $G$ can be represented by a family of interiorly disjoint paths in a grid , such that vertices of $G$ are adjacent iff the corresponding paths touch, i.e. share a grid point which is an endoint of
at least one of the two paths.
References
[
1812]
Z. Deniz, E. Galby, A. Munaro, B. Ries
On contact graphs of paths on a grid
Proc. of Graph Drawing 2018, LNCS 11282 317-330 (2018)
;
[
1847]
N. Champseix, E. Galby, A. Munaro, B. Ries
CPG graphs: Some structural and hardness results
Discrete Appl. Math 290 17-35 (2021)
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.
Minimal superclasses
- 6-colorable
[
1812]
Z. Deniz, E. Galby, A. Munaro, B. Ries
On contact graphs of paths on a grid
Proc. of Graph Drawing 2018, LNCS 11282 317-330 (2018)
(known proper)
- K7-free
[
1812]
Z. Deniz, E. Galby, A. Munaro, B. Ries
On contact graphs of paths on a grid
Proc. of Graph Drawing 2018, LNCS 11282 317-330 (2018)
(known proper)
Maximal subclasses
- B1-CPG
[by definition]
(possibly equal)
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)}$ )
factorial
at most factorial From bounded cliquewidth, maximum degree or degeneracy.at least factorial on
(P3,triangle)-free
[
1785]
V.E. Alekseev
On lower layers of a lattice of hereditary classes of graphs
Diskretn. Anal. Issled. Oper. Ser. 1 4:1 3-12 (1997)
[
1786]
E.R. Scheinerman, J. Zito
On the size of hereditary classes of graphs
J. Combin. Th. B Vol. 61 No.1 16-39 (1994)
[
1787]
J. Balogh, B. Bollobas, D. Weinreich
The speed of hereditary properties of graphs
J. Combin. Th. B Vol. 79 No.2 131-156 (2000)
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.
Unknown to ISGCI
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 3-Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.Unbounded from Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.Unbounded from Polarity assuming Polynomial,NP-complete disjoint.Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.Unbounded from booleanwidthUnbounded from branchwidthUnbounded from carvingwidthUnbounded from cliquewidthUnbounded from cutwidthUnbounded from maximum degreeUnbounded from pathwidthUnbounded from rankwidthUnbounded from treewidthUnbounded on
binary tree ∩ partial grid
[
1757]
(no preview available)
Unbounded on
grid graph ∩ maximum degree 3
[
1757]
(no preview available)
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$.
Unknown to ISGCI
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set 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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from cliquewidth
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
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.
Bounded
Bounded from degeneracyBounded on
6-colorable
[by definition]
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 3-Colourability assuming Linear,NP-complete disjoint.Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.Unbounded from Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Domination assuming Linear,NP-complete disjoint.Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.Unbounded from Polarity assuming Polynomial,NP-complete disjoint.Unbounded from Weighted feedback vertex set assuming Linear,NP-complete disjoint.Unbounded from Weighted independent dominating set assuming Linear,NP-complete disjoint.Unbounded from Weighted independent set assuming Linear,NP-complete disjoint.Unbounded from booleanwidthUnbounded from rankwidthUnbounded on
Hn,q grid
[
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
Unbounded on
grid
[
1177]
Golumbic, Martin Charles; Rotics, Udi
On the clique-width of perfect graph classes (extended abstract)
.
Graph theoretic concepts in computer science. 25th international workshop, WG '99 Ascona, Switzerland, June 17-19, 1999. Proceedings.
Berlin: Springer. Lect. Notes Comput. Sci. 1665, 135-147 (1999)
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}$.
Bounded
Bounded from chromatic number
Bounded from degeneracy
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from carvingwidth
Unbounded from cliquewidth
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.
Bounded
Bounded
Bounded by 6
[
1812]
Z. Deniz, E. Galby, A. Munaro, B. Ries
On contact graphs of paths on a grid
Proc. of Graph Drawing 2018, LNCS 11282 317-330 (2018)
diameter
[?] The diameter of a graph $G$ is the length of the longest shortest path between any two vertices in $G$.
Unbounded
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Monopolarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from diameter
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 diameter
Unbounded from distance to block
Unbounded from distance to cograph
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 diameter
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
Unbounded from diameter
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 3-Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.Unbounded from Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.Unbounded from Polarity assuming Polynomial,NP-complete disjoint.Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.Unbounded from booleanwidthUnbounded from branchwidthUnbounded from cliquewidthUnbounded from distance to blockUnbounded from distance to outerplanarUnbounded from pathwidthUnbounded from rankwidthUnbounded from treewidthUnbounded on
binary tree ∩ partial grid
Unbounded on
caterpillar
[trivial]
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 3-Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.Unbounded from Colourability assuming Polynomial,NP-complete disjoint.Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.Unbounded from Polarity assuming Polynomial,NP-complete disjoint.Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.Unbounded from booleanwidthUnbounded from branchwidthUnbounded from cliquewidthUnbounded from rankwidthUnbounded from treewidthUnbounded on
2-tree
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.
Unknown to ISGCI
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from bandwidth
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from carvingwidth
Unbounded from cliquewidth
Unbounded from cutwidth
Unbounded from distance to block
Unbounded from distance to linear forest
Unbounded from distance to outerplanar
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$.
Bounded
Bounded from chromatic numberBounded from degeneracyBounded on
K7-free
[by definition]
maximum degree
[?] The maximum degree of a graph $G$ is the largest number of neighbors of a vertex in $G$.
Unbounded
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 3-Colourability assuming Linear,NP-complete disjoint.Unbounded from Domination assuming Polynomial,NP-complete disjoint.Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.Unbounded from Monopolarity assuming Polynomial,NP-complete disjoint.Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.Unbounded from diameterUnbounded from maximum induced matchingUnbounded from minimum dominating setUnbounded on
SC 2-tree
[trivial]
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
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.Unbounded from diameterUnbounded on
maximum degree 1
[trivial]
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
Unbounded from diameter
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 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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Monopolarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from diameter
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 from diameterUnbounded 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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set 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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
Unbounded from diameter
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 3-Colourability assuming Linear,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Linear,NP-complete disjoint.
Unbounded from Feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Hamiltonian cycle assuming Linear,NP-complete disjoint.
Unbounded from Hamiltonian path assuming Polynomial,NP-complete disjoint.
Unbounded from Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Linear,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
Unbounded from rankwidth
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 3-Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Clique cover assuming Polynomial,NP-complete disjoint.
Unbounded from Colourability assuming Polynomial,NP-complete disjoint.
Unbounded from Domination assuming Polynomial,NP-complete disjoint.
Unbounded from Feedback vertex set 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 Independent set assuming Polynomial,NP-complete disjoint.
Unbounded from Polarity assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted feedback vertex set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent dominating set assuming Polynomial,NP-complete disjoint.
Unbounded from Weighted independent set assuming Polynomial,NP-complete disjoint.
Unbounded from booleanwidth
Unbounded from branchwidth
Unbounded from cliquewidth
Unbounded from diameter
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 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
2-subdivision ∩ planar
Unbounded/NP-complete
on
grid graph
[
1511]
J. Diaz, M. Penrose, J. Petit, M. Serna
Approximating layout problems on random geometric graphs
Journal of Algorithms 39 78-117 (2001)
treewidth decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the treewidth of G is at most k.
Unknown to ISGCI
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.
NP-complete
NP-complete on
B0-CPG
[
1812]
Z. Deniz, E. Galby, A. Munaro, B. Ries
On contact graphs of paths on a grid
Proc. of Graph Drawing 2018, LNCS 11282 317-330 (2018)
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.
Polynomial
Polynomial from Weighted clique
Polynomial from XP on chromatic number and Linear decomposition time
Polynomial from XP on degeneracy and Linear decomposition time
Polynomial from XP on maximum clique and Linear decomposition time
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.
NP-complete
NP-complete on
B0-CPG
[
1847]
N. Champseix, E. Galby, A. Munaro, B. Ries
CPG graphs: Some structural and hardness results
Discrete Appl. Math 290 17-35 (2021)
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.
NP-complete
NP-complete from 3-Colourability
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
bipartite ∩ girth>=9 ∩ maximum degree 3 ∩ planar
[
1096]
I.E. Zverovich, V.E. Zverovich
An induced subgraph characterization of domination perfect graphs
J. Graph Theory 20 1995 375--395
NP-complete on
grid graph
[
229]
B.N. Clark, C.J. Colbourn, D.S. Johnson
Unit disk graphs
Discrete Math. 86 1990 165--177
NP-complete on
partial grid
[
1162]
Berman, Fran; Johnson, David; Leighton, Tom; Shor, Peter W.; Snyder, Larry
Generalized planar matching.
J. Algorithms 11, No.2, 153-184 (1990)
[
630]
D.S. Johnson
The \NP--completeness column: an ongoing guide
J. Algorithms 6 145--159, 291--305, 434--451 1985
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.
NP-complete
Graph isomorphism
[?]
Input:
Graphs G and H in this class
Output:
True iff G and H are isomorphic.
Unknown to ISGCI
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
bipartite ∩ cubic ∩ planar
[
1810]
A. Munaro
On line graphs of subcubic triangle-free graphs
Discrete Math. 340 No.6 1210-1226 (2017)
NP-complete on
bipartite ∩ girth>=9 ∩ maximum degree 3 ∩ planar
[
1675]
(no preview available)
NP-complete on
bipartite ∩ maximum degree 3 ∩ planar
[
1523]
T. Akiyama, T. Nishizeki, N. Saito
NP-completeness of the Hamiltonian cycle problem for bipartite graphs
J. Inf. Process. V.3 73-76 (1980)
[
1537]
A. Itai, C. H. Papadimitriou, J. L. Szwarcfiter
Hamiltonian paths in grid graphs
SIAM J. Comput. Vol.11 No.4 676-686 (1982)
NP-complete on
grid graph
[
1537]
A. Itai, C. H. Papadimitriou, J. L. Szwarcfiter
Hamiltonian paths in grid graphs
SIAM J. Comput. Vol.11 No.4 676-686 (1982)
[
229]
B.N. Clark, C.J. Colbourn, D.S. Johnson
Unit disk graphs
Discrete Math. 86 1990 165--177
NP-complete on
grid graph ∩ maximum degree 3
[
1537]
A. Itai, C. H. Papadimitriou, J. L. Szwarcfiter
Hamiltonian paths in grid graphs
SIAM J. Comput. Vol.11 No.4 676-686 (1982)
[
1565]
E.M. Arkin, S.P. Fekete, K. Islam, H. Meijer, J.S.B. Mitchell, Y. Nunez-Rodriguez, V. Polishchuk, D. Rappaport, H. Xiao
A study of grid hamiltonicity: Not being (super)thin or solid is hard
Computational Geometry: Theory and Applications 42 No.6-7 582-605 (2009)
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
Independent dominating 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, with |S| <= k, such that every vertex in G is either in S or adjacent to a vertex in S.
NP-complete
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.
NP-complete
NP-complete on
2-subdivision ∩ planar
NP-complete on
B0-CPG
[
1847]
N. Champseix, E. Galby, A. Munaro, B. Ries
CPG graphs: Some structural and hardness results
Discrete Appl. Math 290 17-35 (2021)
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.
Unknown to ISGCI
Monopolarity
[?]
Input:
A graph G in this class.
Output:
True iff G is monopolar.
NP-complete
Polarity
[?]
Input:
A graph G in this class.
Output:
True iff G is polar.
NP-complete
Recognition
[?]
Input:
A graph G.
Output:
True iff G is in this graph class.
NP-complete
NP-complete
[
1847]
N. Champseix, E. Galby, A. Munaro, B. Ries
CPG graphs: Some structural and hardness results
Discrete Appl. Math 290 17-35 (2021)
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 FPT on degeneracy and Linear decomposition timePolynomial from XP on chromatic number and Linear decomposition timePolynomial from XP on maximum clique and Linear decomposition timePolynomial on
6-colorable
[trivial]
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.
NP-complete
NP-complete from Feedback vertex set
Weighted independent dominating 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, with the sum of the weights of the vertices in S at most k, such that every vertex in G is either in S or adjacent to a vertex in S.
NP-complete
NP-complete from Independent dominating set
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.
NP-complete
NP-complete from Independent set