Примеры использования Treewidth на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
A connected graph with at least two vertices has treewidth 1 if and only if it is a tree.
The planar graphs do not have bounded treewidth, because the n× n grid graph is a planar graph with treewidth exactly n.
A family F of graphs closed under taking subgraphs is said to have bounded local treewidth, or the diameter-treewidth property, if the treewidth of the graphs in the family is upper bounded by a function of their diameter.
The strong exponential time hypothesis leads to tight bounds on the parameterized complexity of several graph problems on graphs of bounded treewidth.
it must have treewidth exactly 3.
this bound is necessary: there exist graphs whose clique-width is exponentially larger than their treewidth.
interval graphs, and between treewidth and chordal graphs.
can be used to show that every planar graph has treewidth O√n.
More strongly, for these graphs, even brambles whose order is slightly larger than the square root of the treewidth must have exponential size.
in particular the graphs with bounded treewidth or bounded genus,
the family must have bounded treewidth.
As a consequence, the pathwidth of a graph is always at least as large as its treewidth, but it can only be larger by a logarithmic factor.
The pentagonal prism is one of the forbidden minors for the graphs of treewidth three.
t as a subgraph have treewidth at most 3k(t- 1)- 1.
The theory of graphs of bounded clique-width resembles that for graphs of bounded treewidth, but unlike treewidth allows for dense graphs.
The problem of counting strong orientations may also be solved exactly, in polynomial time, for graphs of bounded treewidth.
cube graph have treewidth exactly three, but all larger prism graphs have treewidth four.
As an example, consider the problem of finding the maximum independent set in a graph of treewidth k.
then there is a constant k such that all graphs in F have treewidth at most k.
A characterization of Trémaux trees in the monadic second-order logic of graphs allows graph properties involving orientations to be recognized efficiently for graphs of bounded treewidth using Courcelle's theorem.