Graphclass: (K2,3,K4)-minor-free
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.
- outerplanar
[
1411]
H.L. Bodlaender
A partial k-arboretum of graphs with bounded treewidth
Theor. Comp. Sci. 209 1-45 (1998)
[
1412]
M. Syslo
Characterisations of outerplanar graphs
Discrete Math. 26 47-53 (1979)
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 (K_{2,3},K_4)--minor--free
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 thicknessBounded from branchwidthBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
apex
[
1755]
J. Nesetril, P. Ossona de Mendez
Colorings and homomorphisms of minor closed classes
Discrete and Comput. Geometry 25, The Goodman-Pollack Festschrift 651-664 (2003)
Bounded on
planar
[
1755]
J. Nesetril, P. Ossona de Mendez
Colorings and homomorphisms of minor closed classes
Discrete and Comput. Geometry 25, The Goodman-Pollack Festschrift 651-664 (2003)
Bounded on
treewidth 5
[
1755]
J. Nesetril, P. Ossona de Mendez
Colorings and homomorphisms of minor closed classes
Discrete and Comput. Geometry 25, The Goodman-Pollack Festschrift 651-664 (2003)
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
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 branchwidthBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
apex
[
1830]
(no preview available)
Bounded on
planar
[
1777]
M. Yannakakis
Embedding planar graph in four pages
Journal of Computer and System Sciences 38 36-67 (1989)
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.
Bounded
Bounded from branchwidth
Bounded from cliquewidth
Bounded from distance to outerplanar
Bounded from rankwidth
Bounded from treewidth
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$.
Bounded
Bounded from distance to outerplanar
Bounded 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 maximum degree
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 numberBounded from book thicknessBounded from branchwidthBounded from degeneracyBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
4-colorable
[by definition]
Bounded on
5-colorable
[by definition]
Bounded on
6-colorable
[by definition]
Bounded on
tripartite
[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$.
Bounded
Bounded from booleanwidth
Bounded from branchwidth
Bounded from distance to outerplanar
Bounded from rankwidth
Bounded from treewidth
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 numberBounded from book thicknessBounded from branchwidthBounded from chromatic numberBounded from degeneracyBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
probe (2,2)-colorable
[
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 carvingwidth
Unbounded from maximum degree
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 branchwidthBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
apex
[by definition]
Bounded 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 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
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.
Bounded
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
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 bandwidth
Unbounded from carvingwidth
Unbounded from cutwidth
Unbounded from distance to block
Unbounded from distance to linear forest
Unbounded from maximum degree
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 numberBounded from book thicknessBounded from branchwidthBounded from chromatic numberBounded from degeneracyBounded from distance to outerplanarBounded from genusBounded from treewidthBounded on
K4-free
[by definition]
Bounded on
K6-free
[by definition]
Bounded 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 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
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 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 maximum induced matching
Unbounded from tree depth
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 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 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$.
Unknown to ISGCI
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$.
Bounded
Bounded from booleanwidth
Bounded from branchwidth
Bounded from cliquewidth
Bounded from distance to outerplanar
Bounded from treewidth
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 diameter
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.
Bounded
Bounded from branchwidthBounded from distance to outerplanarBounded on
partial k-tree, fixed k
[
1085]
T.V. Wimer
Linear algorithms on $k$--terminal graphs
Ph. D. Thesis, {\sl Dept. of Computer Science, URI-030, Clemson Univ., Clemson, SC} 1987
[
950]
P. Scheffler
The graphs of tree--width $k$ are exactly the partial $k$--trees
manuscript 1986
Bounded on
treewidth 2
[by definition]
Bounded on
treewidth 3
[by definition]
Bounded on
treewidth 4
[by definition]
Bounded on
treewidth 5
[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 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 maximum induced matching
Unbounded from maximum matching
Unbounded from tree depth
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.
Polynomial
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.
Polynomial
Polynomial from Bounded cliquewidth
cutwidth decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the cutwidth of G is at most k.
Unknown to ISGCI
treewidth decomposition
[?]
Input:
A graph G in this class and an integer k.
Output:
True iff the treewidth of G is at most k.
Linear
Linear from Bounded treewidthLinear on
treewidth 2
[
119]
H.L. Bodlaender
A tourist guide through treewidth
Acta Cybernetica 11 1993 1--23
[
120]
H.L. Bodlaender
A linear time algorithm for finding tree-decompositions of small treewidth
SIAM J. Comput. 25 No.6 1305-1317 (1996)
Linear on
treewidth 3
[
119]
H.L. Bodlaender
A tourist guide through treewidth
Acta Cybernetica 11 1993 1--23
[
120]
H.L. Bodlaender
A linear time algorithm for finding tree-decompositions of small treewidth
SIAM J. Comput. 25 No.6 1305-1317 (1996)
Linear on
treewidth 4
[
119]
H.L. Bodlaender
A tourist guide through treewidth
Acta Cybernetica 11 1993 1--23
[
120]
H.L. Bodlaender
A linear time algorithm for finding tree-decompositions of small treewidth
SIAM J. Comput. 25 No.6 1305-1317 (1996)
Linear on
treewidth 5
[
119]
H.L. Bodlaender
A tourist guide through treewidth
Acta Cybernetica 11 1993 1--23
[
120]
H.L. Bodlaender
A linear time algorithm for finding tree-decompositions of small treewidth
SIAM J. Comput. 25 No.6 1305-1317 (1996)
Polynomial on
circle
[
119]
H.L. Bodlaender
A tourist guide through treewidth
Acta Cybernetica 11 1993 1--23
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 Colourability
Linear from FPT-Linear on treewidth and Linear decomposition time
Polynomial from Colourability
Polynomial from FPT on booleanwidth and Polynomial decomposition time
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from FPT on rankwidth and Linear decomposition time
Polynomial from FPT-Linear on cliquewidth and Polynomial decomposition time
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
Linear from Weighted cliquePolynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on cliquewidth and Polynomial decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from FPT on treewidth and Linear decomposition timePolynomial from Independent set on the complementPolynomial from Weighted cliquePolynomial from XP on acyclic chromatic number and Linear decomposition timePolynomial from XP on chromatic number and Linear decomposition timePolynomial from XP on degeneracy and Linear decomposition timePolynomial from XP on genus and Linear decomposition timePolynomial from XP on maximum clique and Linear decomposition timePolynomial [$O(V \log V)$]
on
boxicity 2
[
604]
H. Imai, T. Asano
Finding the connected components and a maximum clique of an intersection graph of rectangles in the plane
J. Algorithms 4 1983 310--323
Polynomial [$O(V log^2 V)$]
on
circle
[
1466]
A. Tiskin
Fast distance multiplication of unit-Monge matrices
Proc. of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms SODA 1287-1296 (2010)
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 XP on booleanwidth and Polynomial decomposition time
Polynomial from XP on branchwidth and Linear decomposition time
Polynomial from XP on cliquewidth and Polynomial decomposition time
Polynomial from XP on distance to outerplanar and Linear decomposition time
Polynomial from XP on rankwidth and Linear decomposition time
Polynomial from XP on treewidth and Linear decomposition time
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
Polynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on cliquewidth and Polynomial decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from FPT on treewidth and Linear decomposition timeLinear on
(0,3)-colorable
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)
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.
Linear
Linear from FPT-Linear on treewidth and Linear decomposition time
Polynomial from FPT on booleanwidth and Polynomial decomposition time
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from FPT on rankwidth and Linear decomposition time
Polynomial from FPT-Linear on cliquewidth and Polynomial decomposition time
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.
Polynomial
Polynomial from FPT on booleanwidth and Polynomial decomposition time
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on cliquewidth and Polynomial decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from FPT on rankwidth and Linear decomposition time
Polynomial from FPT on treewidth and Linear decomposition time
Polynomial from Weighted feedback vertex set
Graph isomorphism
[?]
Input:
Graphs G and H in this class
Output:
True iff G and H are isomorphic.
Linear
Polynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on treewidth and Linear decomposition timePolynomial from XP on booleanwidth and Polynomial decomposition timePolynomial from XP on cliquewidth and Polynomial decomposition timePolynomial from XP on rankwidth and Linear decomposition timeLinear on
planar
[
1700]
R.A. Wilson
Graphs, colourings and the four-colour theorem
Oxford University Press, London 2002
Polynomial on
genus 0
[
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)
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)
Polynomial on
partial 2-tree
[
1701]
M. Vatshelle
New Width Parameters of Graphs
PhD Thesis, Dept. of Informatics, University of Bergen 2012
Polynomial on
partial 3-tree
[
1701]
M. Vatshelle
New Width Parameters of Graphs
PhD Thesis, Dept. of Informatics, University of Bergen 2012
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.
Linear
Linear from FPT-Linear on treewidth and Linear decomposition time
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from XP on booleanwidth and Polynomial decomposition time
Polynomial from XP on cliquewidth and Polynomial decomposition time
Polynomial from XP on rankwidth and Linear decomposition time
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.
Polynomial
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from FPT on treewidth and Linear decomposition time
Polynomial from XP on booleanwidth and Polynomial decomposition time
Polynomial from XP on cliquewidth and Polynomial decomposition time
Polynomial from XP on rankwidth and Linear decomposition time
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.
Polynomial
Polynomial from Weighted independent dominating set
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
Linear from Weighted independent setPolynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on cliquewidth and Polynomial decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from FPT on treewidth and Linear decomposition timePolynomial from Weighted independent setPolynomial [$O(V min(d,\alpha))$]
on
circle
[
1465]
N. Nash, D. Gregg
An output sensitive algorithm for computing a maximum independent set of a circle graph
Inform. Process. Lett. 110 No.16 630-634 (2010)
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.
Linear
Linear from FPT-Linear on treewidth and Linear decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from Weighted maximum cutPolynomial from XP,W-hard on booleanwidth and Polynomial decomposition timePolynomial from XP,W-hard on cliquewidth and Polynomial decomposition timePolynomial from XP,W-hard on rankwidth and Linear decomposition timePolynomial 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)
Monopolarity
[?]
Input:
A graph G in this class.
Output:
True iff G is monopolar.
Unknown to ISGCI
Polarity
[?]
Input:
A graph G in this class.
Output:
True iff G is polar.
Polynomial
Polynomial from XP on booleanwidth and Polynomial decomposition time
Polynomial from XP on branchwidth and Linear decomposition time
Polynomial from XP on cliquewidth and Polynomial decomposition time
Polynomial from XP on distance to outerplanar and Linear decomposition time
Polynomial from XP on rankwidth and Linear decomposition time
Polynomial from XP on treewidth and Linear decomposition time
Recognition
[?]
Input:
A graph G.
Output:
True iff G is in this graph class.
Linear
Linear on
outerplanar
[
784]
S.L. Mitchell
Linear algorithms to recognize outerplanar and maximal outerplanar graphs
Inf. Proc. Letters 9 1979 229--232
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.
Linear
Linear from FPT-Linear on treewidth and Linear decomposition timePolynomial from FPT on acyclic chromatic number and Linear decomposition timePolynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on cliquewidth and Polynomial decomposition timePolynomial from FPT on degeneracy and Linear decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on genus and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from Weighted independent set on the complementPolynomial from XP on chromatic number and Linear decomposition timePolynomial from XP on maximum clique and Linear decomposition timeLinear on
planar
[
1869]
C.H. Papadimitriou, M. Yannakakis
The clique problem for planar graphs
Information Proc. Letters 13 131-133 (1981)
Polynomial on
4-colorable
[trivial]
Polynomial on
5-colorable
[trivial]
Polynomial on
6-colorable
[trivial]
Polynomial on
(K3,3,K5)-minor-free
Polynomial on
alternation
[
1598]
M.M. Halldorson, S. Kitaev, A. Pyatkin
Alternation graphs
Proceedings of WG 2011, Lecture Notes in Computer Science 6986, 191-202 (2011)
Polynomial [$O(V^2 + E \log \log V)$]
on
circle
[
1429]
W.-L. Hsu
Maximum weight clique algorithms for circular-arc graphs and circle graphs
SIAM J. Computing 14 No.1 224-231 (1985)
Polynomial [$O(V^2 \log V)$]
on
circle-trapezoid
Polynomial on
interval filament
[
1159]
F. Gavril
Maximum weight independent sets and cliques in intersection graphs of filaments.
Information Processing Letters 73(5-6) 181-188 (2000)
Polynomial on
max-tolerance
[
1481]
M. Kaufmann, J. Kratochvil, K.A. Lehmann, A.R. Subramanian
Max-tolerance graphs as intersection graphs: cliques, cycles and recognition
Proc. of 17th annual ACM-SIAM symposium on Discrete algorithms SODA'06 832-841 (2006)
Polynomial [$O(VE)$]
on
split-neighbourhood
[
759]
F. Maffray, M. Preissmann
Split--neighbourhood graphs and the strong perfect graph conjecture
J. Comb. Theory (B) 63 1995 294--309
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.
Polynomial
Polynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from FPT on treewidth and Linear decomposition timePolynomial from FPT-Linear on cliquewidth and Polynomial decomposition timePolynomial on
circle
[
1585]
F. Gavril
Minimum weight feedback vertex sets in circle graphs
Information Proc. Lett. 107 No.1 1-6 (2008)
Polynomial [$O(V^{2n+5})$]
on
circle-n-gon, fixed n
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.
Polynomial
Polynomial from FPT on booleanwidth and Polynomial decomposition time
Polynomial from FPT on branchwidth and Linear decomposition time
Polynomial from FPT on distance to outerplanar and Linear decomposition time
Polynomial from FPT on rankwidth and Linear decomposition time
Polynomial from FPT on treewidth and Linear decomposition time
Polynomial from FPT-Linear on cliquewidth and Polynomial decomposition time
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.
Linear
Linear from FPT-Linear on treewidth and Linear decomposition timePolynomial from FPT on booleanwidth and Polynomial decomposition timePolynomial from FPT on branchwidth and Linear decomposition timePolynomial from FPT on distance to outerplanar and Linear decomposition timePolynomial from FPT on rankwidth and Linear decomposition timePolynomial from FPT-Linear on cliquewidth and Polynomial decomposition timePolynomial [$O(V^2)$]
on
circle
[
1121]
A. Apostolico, M.J. Atallah, S.E. Hambrusch
New clique and independent set algorithms for circle graphs.
Discrete Appl. Math 36 (1992) 1-24 Erratum: Discrete Appl. Math 41 (1993) 179-180
Polynomial [$O(V^2)$]
on
circle-trapezoid
Polynomial [$O(V^2 \log \log V)$]
on
circular trapezoid
Polynomial on
interval filament
[
1159]
F. Gavril
Maximum weight independent sets and cliques in intersection graphs of filaments.
Information Processing Letters 73(5-6) 181-188 (2000)
Polynomial on
subtree overlap
[
1123]
E. Cenek, L. Stewart
Maximum independent set and maximum clique algorithms for overlap graphs
Discrete Appl. Math. 131, No.1 77-91 (2003)
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.
Polynomial
Polynomial [$O(V^{3/2}\log V)$]
on
planar
[
1658]
W.-k. Shih, S. Wu, Y.S. Kuo
Unifying Maximum Cut and Minimum Cut of a Planar Graph
IEEE Transactions on Computer 39 No.5 694-697 (1990)