|
Toroidal Graph
In the mathematical field of graph theory, a toroidal graph is a graph that can be embedded on a torus. In other words, the graph's vertices and edges can be placed on a torus such that no edges intersect except at a vertex that belongs to both. Examples Any graph that can be embedded in a plane can also be embedded in a torus, so every planar graph is also a toroidal graph. A toroidal graph that cannot be embedded in a plane is said to have genus 1. The Heawood graph, the complete graph K7 (and hence K5 and K6), the Petersen graph (and hence the complete bipartite graph K3,3, since the Petersen graph contains a subdivision of it), one of the Blanuša snarks, and all Möbius ladders are toroidal. More generally, any graph with crossing number 1 is toroidal. Some graphs with greater crossing numbers are also toroidal: the Möbius–Kantor graph, for example, has crossing number 4 and is toroidal. Properties Any toroidal graph has chromatic number at most 7. The complete g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toroidal Graph Sample
Toroidal describes something which resembles or relates to a torus or toroid: Mathematics * Toroidal coordinates, a three-dimensional orthogonal coordinate system * Toroidal and poloidal coordinates, directions for a three-dimensional system which follows a circular ring around the surface *Toroidal graph, a graph whose vertices can be placed on a torus such that no edges cross *Toroidal grid network, an n-dimensional grid connected circularly in more than one dimension *Toroidal polyhedron, partition of a toroidal surface into polygons Engineering *Toroidal engine, an internal combustion engine with pistons that rotate inside a ring-shaped cylinder *Toroidal expansion joint, a metallic assembly consisting of a series of circular tubes used in high pressure applications *Toroidal inductors and transformers, a type of electrical device using magnetic cores with a ring or donut shape *Toroidal propeller, a loop-shaped propeller used in aviation and maritime transport *Toroidal refl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Crossing Number (graph Theory)
In graph theory, the crossing number of a Graph (discrete mathematics), graph is the lowest number of edge crossings of a plane graph drawing, drawing of the graph . For instance, a graph is planar graph, planar if and only if its crossing number is zero. Determining the crossing number continues to be of great importance in graph drawing, as user studies have shown that drawing graphs with few crossings makes it easier for people to understand the drawing. The study of crossing numbers originated in Turán's brick factory problem, in which Pál Turán asked for a factory plan that minimized the number of crossings between tracks connecting brick kilns to storage sites. Mathematically, this problem can be formalized as asking for the crossing number of a complete bipartite graph. The same problem arose independently in sociology at approximately the same time, in connection with the construction of sociograms. Turán's conjectured formula for the crossing numbers of complete bip ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cayley Graph
In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a Graph (discrete mathematics), graph that encodes the abstract structure of a group (mathematics), group. Its definition is suggested by Cayley's theorem (named after Arthur Cayley), and uses a specified generating set of a group, set of generators for the group. It is a central tool in combinatorial group theory, combinatorial and geometric group theory. The structure and symmetry of Cayley graphs make them particularly good candidates for constructing expander graphs. Definition Let G be a group (mathematics), group and S be a generating set of a group, generating set of G. The Cayley graph \Gamma = \Gamma(G,S) is an Edge coloring, edge-colored directed graph constructed as follows: In his Collected Mathematical Papers 10: 403–405. * Each element g of G is assigned a vertex: the vertex set of \Gamma is identified with G. * Each element s of S is assigned a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Minor
In graph theory, an undirected graph is called a minor of the graph if can be formed from by deleting edges, vertices and by contracting edges. The theory of graph minors began with Wagner's theorem that a graph is planar if and only if its minors include neither the complete graph nor the complete bipartite graph ., p. 77; . The Robertson–Seymour theorem implies that an analogous forbidden minor characterization exists for every property of graphs that is preserved by deletions and edge contractions., theorem 4, p. 78; . For every fixed graph , it is possible to test whether is a minor of an input graph in polynomial time; together with the forbidden minor characterization this implies that every graph property preserved by deletions and contractions may be recognized in polynomial time. Other results and conjectures involving graph minors include the graph structure theorem, according to which the graphs that do not have as a minor may be formed by glu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forbidden Graph Characterization
In graph theory, a branch of mathematics, many important families of Graph (discrete mathematics), graphs can be described by a finite set of individual graphs that do not belong to the family and further exclude all graphs from the family which contain any of these forbidden graphs as (induced) Glossary_of_graph_theory#subgraph, subgraph or Graph minor, minor. A prototypical example of this phenomenon is Kuratowski's theorem, which states that a graph is planar graph, planar (can be drawn without crossings in the plane) if and only if it does not contain either of two forbidden graphs, the complete graph and the complete bipartite graph . For Kuratowski's theorem, the notion of containment is that of graph homeomorphism, in which a subdivision of one graph appears as a subgraph of the other. Thus, every graph either has a planar drawing (in which case it belongs to the family of planar graphs) or it has a subdivision of at least one of these two graphs as a subgraph (in which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Minor
In graph theory, an undirected graph is called a minor of the graph if can be formed from by deleting edges, vertices and by contracting edges. The theory of graph minors began with Wagner's theorem that a graph is planar if and only if its minors include neither the complete graph nor the complete bipartite graph ., p. 77; . The Robertson–Seymour theorem implies that an analogous forbidden minor characterization exists for every property of graphs that is preserved by deletions and edge contractions., theorem 4, p. 78; . For every fixed graph , it is possible to test whether is a minor of an input graph in polynomial time; together with the forbidden minor characterization this implies that every graph property preserved by deletions and contractions may be recognized in polynomial time. Other results and conjectures involving graph minors include the graph structure theorem, according to which the graphs that do not have as a minor may be formed by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robertson–Seymour Theorem
In graph theory, the Robertson–Seymour theorem (also called the graph minors theorem) states that the undirected graphs, partially ordered by the graph minor relationship, form a well-quasi-ordering. Equivalently, every family of graphs that is closed under taking minors can be defined by a finite set of forbidden minors, in the same way that Wagner's theorem characterizes the planar graphs as being the graphs that do not have the complete graph K_5 or the complete bipartite graph K_ as minors. The Robertson–Seymour theorem is named after mathematicians Neil Robertson and Paul D. Seymour, who proved it in a series of twenty papers spanning over 500 pages from 1983 to 2004. Before its proof, the statement of the theorem was known as Wagner's conjecture after the German mathematician Klaus Wagner, although Wagner said he never conjectured it. A weaker result for trees is implied by Kruskal's tree theorem, which was conjectured in 1937 by Andrew Vázsonyi and proved in 19 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Book Embedding
In graph theory, a book embedding is a generalization of planar graph, planar embedding of a Graph (discrete mathematics), graph to embeddings in a ''book'', a collection of half-planes all having the same Line (geometry), line as their boundary. Usually, the vertices of the graph are required to lie on this boundary line, called the ''spine'', and the edges are required to stay within a single half-plane. The book thickness of a graph is the smallest possible number of half-planes for any book embedding of the graph. Book thickness is also called pagenumber, stacknumber or fixed outerthickness. Book embeddings have also been used to define several other graph invariants including the pagewidth and book crossing number. Every graph with vertices has book thickness at most \lceil n/2\rceil, and this formula gives the exact book thickness for complete graphs. The graphs with book thickness one are the outerplanar graphs. The graphs with book thickness at most two are the subhamilt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tutte's Spring Theorem
In graph drawing and geometric graph theory, a Tutte embedding or barycentric embedding of a simple graph, simple, k-vertex-connected graph, 3-vertex-connected, planar graph is a Fáry's theorem, crossing-free straight-line embedding with the properties that the outer face is a convex polygon and that each interior Vertex (graph theory), vertex is at the Centroid, average (or barycenter) of its neighbors' positions. If the outer polygon is fixed, this condition on the interior vertices determines their position uniquely as the solution to a system of linear equations. Solving the equations geometrically produces a planar graph, planar embedding. Tutte's spring theorem, proven by , states that this unique solution is always crossing-free, and more strongly that every face of the resulting planar embedding is convex. It is called the spring theorem because such an embedding can be found as the equilibrium position for a system of Spring (device), springs representing the edges of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Periodic Boundary Conditions
Periodic boundary conditions (PBCs) are a set of boundary conditions which are often chosen for approximating a large (infinite) system by using a small part called a ''unit cell''. PBCs are often used in computer simulations and mathematical models. The topology of two-dimensional PBC is equal to that of a ''world map'' of some video games; the geometry of the unit cell satisfies perfect two-dimensional tiling, and when an object passes through one side of the unit cell, it re-appears on the opposite side with the same velocity. In topological terms, the space made by two-dimensional PBCs can be thought of as being mapped onto a torus (Compactification (mathematics), compactification). The large systems approximated by PBCs consist of an infinite number of unit cells. In computer simulations, one of these is the original simulation box, and others are copies called ''images''. During the simulation, only the properties of the original simulation box need to be recorded and propaga ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Drawing
Graph drawing is an area of mathematics and computer science combining methods from geometric graph theory and information visualization to derive two-dimensional depictions of graph (discrete mathematics), graphs arising from applications such as social network analysis, cartography, linguistics, and bioinformatics. A drawing of a graph or network diagram is a pictorial representation of the vertex (graph theory), vertices and edge (graph theory), edges of a graph. This drawing should not be confused with the graph itself: very different layouts can correspond to the same graph., p. 6. In the abstract, all that matters is which pairs of vertices are connected by edges. In the concrete, however, the arrangement of these vertices and edges within a drawing affects its understandability, usability, fabrication cost, and aesthetics. The problem gets worse if the graph changes over time by adding and deleting edges (dynamic graph drawing) and the goal is to preserve the user's men ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fáry's Theorem
In the mathematical field of graph theory, Fáry's theorem states that any simple graph, simple, planar graph can be Graph drawing, drawn without crossings so that its edges are straight line segments. That is, the ability to draw graph edges as curves instead of as straight line segments does not allow a larger class of graphs to be drawn. The theorem is named after István Fáry, although it was proved independently by , , and . Proof One way of proving Fáry's theorem is to use mathematical induction. Let be a simple planar graph, plane graph with vertices; we may add edges if necessary so that is a maximally plane graph. If < 3, the result is trivial. If ≥ 3, then all faces of must be triangles, as we could add an edge into any face with more sides while preserving planarity, contradicting the assumption of maximal planarity. Choose some three vertices forming a triangular face of . We prove by induction on that there exists a straight-line combinatorially iso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
