|
Planar Cover
In graph theory, a planar cover of a finite undirected graph, graph ''G'' is a finite covering graph of ''G'' that is itself a planar graph. Every graph that can be graph embedding, embedded into the projective plane has a planar cover; an unsolved conjecture of Seiya Negami states that these are the only graphs with planar covers., p. 1 The existence of a planar cover is a graph minor, minor-closed graph property,, Proposition 1, p. 2 and so can be characterized by finitely many forbidden graph characterization, forbidden minors, but the exact set of forbidden minors is not known. For the same reason, there exists a polynomial time algorithm for testing whether a given graph has a planar cover, but an explicit description of this algorithm is not known. Definition A ''covering map'' from one graph ''C'' to another graph ''H'' may be described by a function ''f'' from the vertices of ''C'' onto the vertices of ''H'' that, for each vertex ''v'' of ''C'', gives a bijection ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Even Number
In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not.. For example, −4, 0, 82 are even because \begin -2 \cdot 2 &= -4 \\ 0 \cdot 2 &= 0 \\ 41 \cdot 2 &= 82 \end By contrast, −3, 5, 7, 21 are odd numbers. The above definition of parity applies only to integer numbers, hence it cannot be applied to numbers like 1/2 or 4.201. See the section "Higher mathematics" below for some extensions of the notion of parity to a larger class of "numbers" or in other more general settings. Even and odd numbers have opposite parities, e.g., 22 (even number) and 13 (odd number) have opposite parities. In particular, the parity of zero is even. Any two consecutive integers have opposite parity. A number (i.e., integer) expressed in the decimal numeral system is even or odd according to whether its last digit is even or odd. That is, if the last digit is 1, 3, 5, 7, or 9, then it is odd; otherw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientable Double Cover
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, Surface (topology), surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loop (topology), loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Union
In mathematics, a disjoint union (or discriminated union) of a family of sets (A_i : i\in I) is a set A, often denoted by \bigsqcup_ A_i, with an injection of each A_i into A, such that the images of these injections form a partition of A (that is, each element of A belongs to exactly one of these images). A disjoint union of a family of pairwise disjoint sets is their union. In category theory, the disjoint union is the coproduct of the category of sets, and thus defined up to a bijection. In this context, the notation \coprod_ A_i is often used. The disjoint union of two sets A and B is written with infix notation as A \sqcup B. Some authors use the alternative notation A \uplus B or A \operatorname B (along with the corresponding \biguplus_ A_i or \operatorname_ A_i). A standard way for building the disjoint union is to define A as the set of ordered pairs (x, i) such that x \in A_i, and the injection A_i \to A as x \mapsto (x, i). Example Consider the sets A_0 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Y-Δ Transform
The Y-Δ transform, also written wye-delta and also known by many other names, is a mathematical technique to simplify the analysis of an electrical network. The name derives from the shapes of the circuit diagrams, which look respectively like the letter Y and the Greek capital letter Δ. This circuit transformation theory was published by Arthur Edwin Kennelly in 1899. It is widely used in analysis of three-phase electric power circuits. The Y-Δ transform can be considered a special case of the star-mesh transform for three resistors. In mathematics, the Y-Δ transform plays an important role in theory of circular planar graphs. Names The Y-Δ transform is known by a variety of other names, mostly based upon the two shapes involved, listed in either order. The Y, spelled out as wye, can also be called T or star; the Δ, spelled out as delta, can also be called triangle, Π (spelled out as pi), or mesh. Thus, common names for the transformation include wye-delta or delta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Operations
In the mathematical field of graph theory, graph operations are operations which produce new graphs from initial ones. They include both unary (one input) and binary (two input) operations. Unary operations Unary operations create a new graph from a single initial graph. Elementary operations Elementary operations or editing operations, which are also known as graph edit operations, create a new graph from one initial one by a simple local change, such as addition or deletion of a vertex or of an edge, merging and splitting of vertices, edge contraction, etc. The graph edit distance between a pair of graphs is the minimum number of elementary operations required to transform one graph into the other. Advanced operations Advanced operations create a new graph from initial one by a complex changes, such as: * transpose graph; * complement graph; * line graph; * graph minor; * graph rewriting; * power of graph; * dual graph; * medial graph; * quotient graph; * Y-Δ transform; * My ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-constructive
In mathematics, a constructive proof is a method of mathematical proof, proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an existence proof or existence theorem, ''pure existence theorem''), which proves the existence of a particular kind of object without providing an example. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof. A constructive proof may also refer to the stronger concept of a proof that is valid in constructive mathematics. Constructivism (mathematics), Constructivism is a mathematical philosophy that rejects all proof methods that involve the existence of objects that are not explicitly built. This excludes, in particular, the use of the law of the excluded middle, the axiom of infinity, and the axiom of choice, and induces a different meaning for some ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robertson–Seymour Theorem
In graph theory, the Robertson–Seymour theorem (also called the graph minor 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 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''3,3 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 1960 in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Utility Graph
As a topic of economics, utility is used to model worth or value. Its usage has evolved significantly over time. The term was introduced initially as a measure of pleasure or happiness as part of the theory of utilitarianism by moral philosophers such as Jeremy Bentham and John Stuart Mill. The term has been adapted and reapplied within neoclassical economics, which dominates modern economic theory, as a utility function that represents a single consumer's preference ordering over a choice set but is not comparable across consumers. This concept of utility is personal and based on choice rather than on pleasure received, and so is specified more rigorously than the original concept but makes it less useful (and controversial) for ethical decisions. Utility function Consider a set of alternatives among which a person can make a preference ordering. The utility obtained from these alternatives is an unknown function of the utilities obtained from each alternative, not the sum of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangular Prism
In geometry, a triangular prism is a three-sided prism; it is a polyhedron made of a triangular base, a translated copy, and 3 faces joining corresponding sides. A right triangular prism has rectangular sides, otherwise it is ''oblique''. A uniform triangular prism is a right triangular prism with equilateral bases, and square sides. Equivalently, it is a polyhedron of which two faces are parallel, while the surface normals of the other three are in the same plane (which is not necessarily parallel to the base planes). These three faces are parallelograms. All cross-sections parallel to the base faces are the same triangle. As a semiregular (or uniform) polyhedron A right triangular prism is semiregular or, more generally, a uniform polyhedron if the base faces are equilateral triangles, and the other three faces are squares. It can be seen as a truncated trigonal hosohedron, represented by Schläfli symbol t. Alternately it can be seen as the Cartesian product of a triangle ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only regular hexahedron and is one of the five Platonic solids. It has 6 faces, 12 edges, and 8 vertices. The cube is also a square parallelepiped, an equilateral cuboid and a right rhombohedron a 3-zonohedron. It is a regular square prism in three orientations, and a trigonal trapezohedron in four orientations. The cube is dual to the octahedron. It has cubical or octahedral symmetry. The cube is the only convex polyhedron whose faces are all squares. Orthogonal projections The ''cube'' has four special orthogonal projections, centered, on a vertex, edges, face and normal to its vertex figure. The first and third correspond to the A2 and B2 Coxeter planes. Spherical tiling The cube can also be represented as a spherical tiling, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hexagonal Prism
In geometry, the hexagonal prism is a prism with hexagonal base. Prisms are polyhedrons; this polyhedron has 8 faces, 18 edges, and 12 vertices.. Since it has 8 faces, it is an octahedron. However, the term ''octahedron'' is primarily used to refer to the ''regular octahedron'', which has eight triangular faces. Because of the ambiguity of the term ''octahedron'' and tilarity of the various eight-sided figures, the term is rarely used without clarification. Before sharpening, many pencils take the shape of a long hexagonal prism. As a semiregular (or uniform) polyhedron If faces are all regular, the hexagonal prism is a semiregular polyhedron, more generally, a uniform polyhedron, and the fourth in an infinite set of prisms formed by square sides and two regular polygon caps. It can be seen as a truncated hexagonal hosohedron, represented by Schläfli symbol t. Alternately it can be seen as the Cartesian product of a regular hexagon and a line segment, and represented by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
