Search results
Results From The WOW.Com Content Network
A closely related result, Wagner's theorem, characterizes the planar graphs by their minors in terms of the same two forbidden graphs and ,. Every Kuratowski subgraph is a special case of a minor of the same type, and while the reverse is not true, it is not difficult to find a Kuratowski subgraph (of one type or the other) from one of these ...
Forbidden graph characterizations may be used in algorithms for testing whether a graph belongs to a given family. In many cases, it is possible to test in polynomial time whether a given graph contains any of the members of the obstruction set, and therefore whether it belongs to the family defined by that obstruction set.
Pages in category "Theorems in graph theory" The following 54 pages are in this category, out of 54 total. ... Kőnig's theorem (graph theory) Kotzig's theorem ...
Bondy's theorem (graph theory, combinatorics) Bondy–Chvátal theorem (graph theory) Bonnet theorem (differential geometry) Boolean prime ideal theorem (mathematical logic) Borel–Bott–Weil theorem (representation theory) Borel–Carathéodory theorem (complex analysis) Borel–Weil theorem (representation theory) Borel determinacy theorem
Since such graphs have a unique embedding (up to flipping and the choice of the external face), the next bigger graph, if still planar, must be a refinement of the former graph. This allows to reduce the planarity test to just testing for each step whether the next added edge has both ends in the external face of the current embedding.
The discharging method is used to prove that every graph in a certain class contains some subgraph from a specified list. The presence of the desired subgraph is then often used to prove a coloring result. [1] Most commonly, discharging is applied to planar graphs. Initially, a charge is assigned to each face and each vertex of the graph. The ...
In mathematical logic, monadic second-order logic (MSO) is the fragment of second-order logic where the second-order quantification is limited to quantification over sets. [1] It is particularly important in the logic of graphs , because of Courcelle's theorem , which provides algorithms for evaluating monadic second-order formulas over graphs ...
In the monadic second-order logic of graphs, the variables represent objects of up to four types: vertices, edges, sets of vertices, and sets of edges. There are two main variations of monadic second-order graph logic: MSO 1 in which only vertex and vertex set variables are allowed, and MSO 2 in which all four types of variables are allowed ...