Graphclass: toroidal
Definition:
A graph is toroidal if it can be embedded in the torus without crossings.
Equivalent classes
Only references for direct inclusions are given. Where no reference is given for an equivalent class, check other equivalent
classes or use the Java application.
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 toroidal
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.
Bounded
Bounded from book thickness
Bounded from genus
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$.
Bounded
Bounded from genus
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 acyclic chromatic number
Bounded from book thickness
Bounded from degeneracy
Bounded from genus
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)
Unbounded on
planar
[
1174]
B. Courcelle, S. Olariu
Upper bounds to the clique-width of graphs.
Discrete Appl. Math. 101 (2000) 77-114
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 acyclic chromatic number
Bounded from book thickness
Bounded from chromatic number
Bounded from degeneracy
Bounded from genus
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 from acyclic chromatic numberBounded from book thicknessBounded from genusBounded on
biplanar
[by definition]
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.
Bounded
Bounded
[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 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 acyclic chromatic number
Bounded from book thickness
Bounded from chromatic number
Bounded from degeneracy
Bounded from genus
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
Halin
[trivial]
Unbounded on
SC 2-tree
[trivial]
Unbounded on
SC 3-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]
Unbounded on
maximal planar
[
1761]
(no preview available)
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)
Unbounded/NP-complete
on
planar of maximum degree 3
[
1509]
B. Monien, I.H. Sudborough
Min cut is NP-complete for edge weighted trees
Theoretical Comp. Sci. 58 Issue 1-3, 209-229 (1988)
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
4-regular ∩ planar
[
1649]
D.P. Dailey
Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete
Discrete Math. 30 No.3 289-293 (1980)
NP-complete on
hamiltonian ∩ planar
[
1793]
D. Cavallaro
Hamiltonicity and the computational complexity of graph problems
Bachelor Thesis, TU Berlin (2019)
NP-complete on
planar of maximum degree 4
[
420]
M.R. Garey, D.S. Johnson
Computers and Intractability -- A Guide to the Theory of \NP--completeness
Freeman and Company, San Francisco 1979
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 acyclic chromatic number and Linear decomposition time
Polynomial from XP on chromatic number and Linear decomposition time
Polynomial from XP on degeneracy and Linear decomposition time
Polynomial from XP on genus 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
(C4,C5,K4,diamond)-free ∩ planar
[
1433]
D. Kral, J. Kratochvil, Z. Tuza, G.J. Woeginger
Complexity of coloring graphs without forbidden induced subgraphs
Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science WG'01, LNCS 2204, 254-262 (2001)
NP-complete on
cubic ∩ planar
[
1838]
M.R. Cerioli, L. Faria, T.O. Ferreira, C.A.J. Martinhon, F. Protti, B. Reed
Partition into cliques for cubic graphs: Planar case, complexity and approximation
Discrete Appl. Math. 156 No.12 2270-2278 (2008)
NP-complete on
penny
[
1873]
M.R. Cerioli, F. Luerbio, O. Talita, F. Protti
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
RAIRO-Theor. Inf. Appl. 45 No.3, 331-346 (2011)
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-ColourabilityNP-complete on
planar of maximum degree 4
[
420]
M.R. Garey, D.S. Johnson
Computers and Intractability -- A Guide to the Theory of \NP--completeness
Freeman and Company, San Francisco 1979
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
cubic ∩ planar
[
1865]
(no preview available)
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
NP-complete on
penny
[
1873]
M.R. Cerioli, F. Luerbio, O. Talita, F. Protti
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
RAIRO-Theor. Inf. Appl. 45 No.3, 331-346 (2011)
NP-complete on
planar of maximum degree 3
[
420]
M.R. Garey, D.S. Johnson
Computers and Intractability -- A Guide to the Theory of \NP--completeness
Freeman and Company, San Francisco 1979
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.
Polynomial
Polynomial on
genus 1
[
1686]
I.S. Filotti, J.N. Mayer
A Polynomial-time Algorithm for Determining the Isomorphism of Graphs of Fixed Genus
Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing STOC'80 236-243 (1980)
[
1687]
G. Miller
Isomorphism testing for graphs of bounded genus
Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing STOC'80 225-235 (1980)
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
2-connected ∩ cubic ∩ planar
[
1539]
M.R. Garey, D.S. Johnson, R.E. Tarjan
The planar Hamiltonian circuit problem is NP-complete
SIAM J. Comput. Vol.5 704-714 (1976)
NP-complete on
4-regular ∩ planar
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
NP-complete on
5-regular ∩ planar
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
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
cubic ∩ planar
[
1539]
M.R. Garey, D.S. Johnson, R.E. Tarjan
The planar Hamiltonian circuit problem is NP-complete
SIAM J. Comput. Vol.5 704-714 (1976)
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
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)
NP-complete on
maximal planar
[
706]
E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy Kan, D.B. Shmoys
The Traveling Salesman Problem
J. Wiley, New York 1990
NP-complete on
planar
NP-complete on
planar
NP-complete on
triangular grid graph
[
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
NP-complete on
2-connected ∩ cubic ∩ planar
[
1660]
(no preview available)
NP-complete on
4-regular ∩ planar
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
NP-complete on
5-regular ∩ planar
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
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
cubic ∩ planar
[
1539]
M.R. Garey, D.S. Johnson, R.E. Tarjan
The planar Hamiltonian circuit problem is NP-complete
SIAM J. Comput. Vol.5 704-714 (1976)
[
1560]
C. Picouleau
Complexity of the Hamiltonian cycle in regular graph problem
Theoret. Comput. Sci. 131 463-473 (1994)
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)
NP-complete on
grid graph ∩ maximum degree 3
[
1653]
C.H. Papadimitriou, U.V. Vazirani
On two geometric problems related to the travelling salesman problem
J. of Algorithms 5 No.2 231-246 (1984)
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-connected ∩ cubic ∩ planar
[
1621]
B. Mohar
Face covers and the genus problem for apex graphs
J. Combin. Theory (B), 82(1) 102-117 (2000)
NP-complete on
2-subdivision ∩ planar
NP-complete on
4-regular ∩ hamiltonian ∩ planar
[
1794]
H. Fleischner, G. Sabidussi, V.I. Sarvanov
Maximum independent sets in 3- and 4-regular Hamiltonian graphs
Discrete Math. 310 No.20 2742-2749 (2010)
NP-complete on
5-regular ∩ hamiltonian ∩ planar
[
1794]
H. Fleischner, G. Sabidussi, V.I. Sarvanov
Maximum independent sets in 3- and 4-regular Hamiltonian graphs
Discrete Math. 310 No.20 2742-2749 (2010)
NP-complete on
cubic ∩ hamiltonian ∩ planar
[
1794]
H. Fleischner, G. Sabidussi, V.I. Sarvanov
Maximum independent sets in 3- and 4-regular Hamiltonian graphs
Discrete Math. 310 No.20 2742-2749 (2010)
NP-complete on
penny
[
1873]
M.R. Cerioli, F. Luerbio, O. Talita, F. Protti
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
RAIRO-Theor. Inf. Appl. 45 No.3, 331-346 (2011)
NP-complete on
planar
NP-complete on
planar of maximum degree 3
[
421]
M.R. Garey, D.S. Johnson, L. Stockmeyer
Some simplified \NP--complete graph problems
Theor. Comp. Sci. 1 1976 237--267
Maximum bisection
[?]
(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 of equal size (or |A|=|B|-1 if G has an odd number of vertices) 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
planar
[
1628]
J. Diaz, M. Karminski
Max-Cut and Max-Bisection are NP-hard on unit disk graphs
Theo. Comp. Sci 377 271-276 (2007)
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.
Polynomial
Polynomial on
genus 1
[
1024]
C. Thomassen
The graph genus problem is \NP--complete
J. Algorithms 10 1989 568--576
[
387]
I.S. Filotti, G.I. Miller, J. Reif
On determining the genus of a graph in ${\cal O}(|V|)^{{\cal O}(g)}$ steps
11th Ann. ACM \STOC, New York 1979 27--37
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 acyclic chromatic number and Linear decomposition time
Polynomial from FPT on degeneracy and Linear decomposition time
Polynomial from FPT on genus and Linear decomposition time
Polynomial from XP on chromatic number and Linear decomposition time
Polynomial from XP on maximum clique and Linear decomposition time
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