In graph theory, if G is a graph, and
is an integer, a haven of order k in G is a function assigning to every set
with
a vertex set of a component of
,
, such that if
and
, then
. In Mathematics and Computer science, graph theory is the study of graphs: mathematical structures used to model pairwise relations between objects In Mathematics and Computer science, a graph is the basic object of study in Graph theory.
The Min-max theorem for tree-width states that a graph has a haven of order k if and only if it has tree width at least k − 1. In Graph theory, a tree decomposition is a mapping of a graph into a tree that can be used to speed up solving certain problems on the original graph