Примеры использования Graphs of bounded на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
Thus, graphs of bounded pathwidth have embeddings of this type with linear volume.
These optimization problems can be solved in linear time on graphs of bounded clique-width.
Thus, in graphs of bounded treewidth, the maximum independent set problem may be solved in linear time.
There are also efficient approximation algorithms for approximating cr(G) on graphs of bounded degree.
Although graphs of bounded book thickness do not have sublinear separators, they also have bounded expansion.
The latter class includes cographs and graphs of bounded tree-width, such as outerplanar graphs. .
The problem of counting strong orientations may also be solved exactly, in polynomial time, for graphs of bounded treewidth.
For graphs of bounded clique-width, the longest path can also be solved by a polynomial time dynamic programming algorithm.
Path decomposition may also be used to measure the space complexity of dynamic programming algorithms on graphs of bounded treewidth.
However, even the graphs of bounded degree, a much stronger requirement than having bounded expansion, can have unbounded book thickness.
This dynamic programming approach is used in machine learning via the junction tree algorithm for belief propagation in graphs of bounded treewidth.
However, it cannot be true for all graphs of bounded treewidth, because in general counting adds extra power over monadic second-order logic without counting.
The strong exponential time hypothesis leads to tight bounds on the parameterized complexity of several graph problems on graphs of bounded treewidth.
Many problems in graph algorithms may be solved efficiently on graphs of bounded pathwidth, by using dynamic programming on a path-decomposition of the graph. .
The same notation can be used to describe other important families of sparse graphs, including trees,pseudoforests, and graphs of bounded arboricity.
Undirected graphs of bounded genus, bounded degree, or bounded acyclic chromatic number also have bounded oriented chromatic number.
As a consequence, several algorithmic problems including subgraph isomorphism for pattern graphs of bounded size have linear time algorithms for these graphs. .
Graphs of bounded genus form an example of a family of graphs closed under the operation of taking minors, and separator theorems also apply to arbitrary minor-closed graph families.
However, satisfiability of MSO2 formulas is decidable for the graphs of bounded treewidth, and satisfiability of MSO1 formulas is decidable for graphs of bounded clique-width.
Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth.
Planar graphs that can be partitioned into nested cycles, 2-outerplanar graphs and planar graphs of bounded pathwidth, have universal point sets of nearly-linear size.
It is NP-complete to test whether a given graph is 1-planar, andit remains NP-complete even for the graphs formed from planar graphs by adding a single edge and for graphs of bounded bandwidth.
Graphs of bounded queue number also have bounded expansion, meaning that their shallow minors are sparse graphs with a ratio of edges to vertices(or equivalently degeneracy or arboricity) that is bounded by a function of the queue number and the depth of the minor.
This technique allows graph properties involving orientations to be specified in monadic second order logic,allowing these properties to be tested efficiently on graphs of bounded treewidth using Courcelle's theorem.
Determining whether the pathwidth of a graph G is at most k remains NP-complete when G is restricted to bounded-degree graphs, planar graphs, planar graphs of bounded degree, chordal graphs, chordal dominoes, the complements of comparability graphs, and bipartite distance-hereditary graphs. .
Well-quasi-ordering implies that any property of graphs that is monotonic with respect to induced subgraphs has finitely many forbidden induced subgraphs, andtherefore may be tested in polynomial time on graphs of bounded tree-depth.
The proofs of Courcelle's theorem show a stronger result:not only can every(counting) monadic second-order property be recognized in linear time for graphs of bounded treewidth, but it can be recognized by a finite-state tree automaton.
On the positive side, tree-depth can be computed in polynomial time on interval graphs, as well as on permutation, trapezoid, circular-arc,circular permutation graphs, and cocomparability graphs of bounded dimension.
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.
If H can be drawn in the plane with only a single crossing(that is, it has crossing number one)then the H-minor-free graphs have a simplified structure theorem in which they are formed as clique-sums of planar graphs and graphs of bounded treewidth.