|
Dominance Drawing
Dominance drawing is a style of graph drawing of directed acyclic graphs that makes the reachability relations between vertices visually apparent. In dominance drawing, vertices are placed at distinct points of the Euclidean plane and a vertex ''v'' is reachable from another vertex ''u'' if and only if both Cartesian coordinates of ''v'' are greater than or equal to the coordinates of ''u''. The edges of a dominance drawing may be drawn either as straight line segments, or, in some cases, as polygonal chains. Planar graphs Every transitively reduced ''st''-planar graph, a directed acyclic planar graph with a single source and a single sink, both on the outer face of some embedding of the graph, has a dominance drawing. The left–right algorithm for finding these drawings sets the ''x'' coordinate of every vertex to be its position in a depth-first search ordering of the graph, starting with ''s'' and prioritizing edges in right-to-left order, and by setting the ''y'' coordi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dominance Drawing
Dominance drawing is a style of graph drawing of directed acyclic graphs that makes the reachability relations between vertices visually apparent. In dominance drawing, vertices are placed at distinct points of the Euclidean plane and a vertex ''v'' is reachable from another vertex ''u'' if and only if both Cartesian coordinates of ''v'' are greater than or equal to the coordinates of ''u''. The edges of a dominance drawing may be drawn either as straight line segments, or, in some cases, as polygonal chains. Planar graphs Every transitively reduced ''st''-planar graph, a directed acyclic planar graph with a single source and a single sink, both on the outer face of some embedding of the graph, has a dominance drawing. The left–right algorithm for finding these drawings sets the ''x'' coordinate of every vertex to be its position in a depth-first search ordering of the graph, starting with ''s'' and prioritizing edges in right-to-left order, and by setting the ''y'' coordi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism (graph Theory)
In graph theory, two graphs G and G' are homeomorphic if there is a graph isomorphism from some subdivision of G to some subdivision of G'. If the edges of a graph are thought of as lines drawn from one vertex to another (as they are usually depicted in illustrations), then two graphs are homeomorphic to each other in the graph-theoretic sense precisely if they are homeomorphic in the topological sense. Subdivision and smoothing In general, a subdivision of a graph ''G'' (sometimes known as an expansion) is a graph resulting from the subdivision of edges in ''G''. The subdivision of some edge ''e'' with endpoints yields a graph containing one new vertex ''w'', and with an edge set replacing ''e'' by two new edges, and . For example, the edge ''e'', with endpoints : can be subdivided into two edges, ''e''1 and ''e''2, connecting to a new vertex ''w'': The reverse operation, smoothing out or smoothing a vertex ''w'' with regards to the pair of edges (''e''1, ''e''2) inciden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete And Computational Geometry
'' Discrete & Computational Geometry'' is a peer-reviewed mathematics journal published quarterly by Springer. Founded in 1986 by Jacob E. Goodman and Richard M. Pollack, the journal publishes articles on discrete geometry and computational geometry. Abstracting and indexing The journal is indexed in: * ''Mathematical Reviews'' * ''Zentralblatt MATH'' * ''Science Citation Index'' * ''Current Contents''/Engineering, Computing and Technology Notable articles The articles by Gil Kalai with a proof of a subexponential upper bound on the diameter of a polyhedron and by Samuel Ferguson on the Kepler conjecture, both published in Discrete & Computational geometry, earned their author the Fulkerson Prize The Fulkerson Prize for outstanding papers in the area of discrete mathematics is sponsored jointly by the Mathematical Optimization Society (MOS) and the American Mathematical Society (AMS). Up to three awards of $1,500 each are presented at e .... References External link ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order (journal)
''Order'' (subtitled ''A Journal on the Theory of Ordered Sets and its Applications'') is a quarterly peer-reviewed academic journal on order theory and its applications, published by Springer Science+Business Media. It was established in 1984 by Ivan Rival (University of Calgary). From 2010 to 2018, its editor-in-chief was Dwight Duffus (Emory University). He was succeeded in 2019 by Ryan R. Martin (Iowa State University). Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2017 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as i ... of 0.353. References External links * Order theory Mathematics journals Springer Science+Business Media academic journals Publications established in 198 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hasse Diagram
In order theory, a Hasse diagram (; ) is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction. Concretely, for a partially ordered set ''(S, ≤)'' one represents each element of ''S'' as a vertex in the plane and draws a line segment or curve that goes ''upward'' from ''x'' to ''y'' whenever ''y'' ≠ ''x'' and ''y'' covers ''x'' (that is, whenever ''x'' ≤ ''y'' and there is no ''z'' such that ''x'' ≤ ''z'' ≤ ''y''). These curves may cross each other but must not touch any vertices other than their endpoints. Such a diagram, with labeled vertices, uniquely determines its partial order. The diagrams are named after Helmut Hasse (1898–1979); according to , they are so called because of the effective use Hasse made of them. However, Hasse was not the first to use these diagrams. One example that predates Hasse can be found in . Although Hasse diagrams were originally devised as a technique for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Dimension
In mathematics, the dimension of a partially ordered set (poset) is the smallest number of total orders the intersection of which gives rise to the partial order. This concept is also sometimes called the order dimension or the Dushnik–Miller dimension of the partial order. first studied order dimension; for a more detailed treatment of this subject than provided here, see . Formal definition The dimension of a poset ''P'' is the least integer ''t'' for which there exists a family :\mathcal R=(<_1,\dots,<_t) of s of ''P'' so that, for every ''x'' and ''y'' in ''P'', ''x'' precedes ''y'' in ''P'' if and only if it precedes ''y'' in all of the linear extensions. That is, : An alternative definition of order dimension is the minimal number of |
Partially Ordered Set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set together with a binary relation indicating that, for certain pairs of elements in the set, one of the elements precedes the other in the ordering. The relation itself is called a "partial order." The word ''partial'' in the names "partial order" and "partially ordered set" is used as an indication that not every pair of elements needs to be comparable. That is, there may be pairs of elements for which neither element precedes the other in the poset. Partial orders thus generalize total orders, in which every pair is comparable. Informal definition A partial order defines a notion of Comparability, comparison. Two elements ''x'' and ''y'' may stand in any of four mutually exclusive relationships to each other: either ''x'' ''y'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Area (graph Drawing)
In graph drawing, the area used by a drawing is a commonly used way of measuring its quality. Definition For a drawing style in which the vertices are placed on the integer lattice, the area of the drawing may be defined as the area of the smallest axis-aligned bounding box of the drawing: that is, it the product of the largest difference in ''x''-coordinates of two vertices with the largest difference in ''y''-coordinates. For other drawing styles, in which vertices are placed more freely, the drawing may be scaled so that the closest pair of vertices have distance one from each other, after which the area can again be defined as the area of a smallest bounding box of a drawing. Alternatively, the area can be defined as the area of the convex hull of the drawing, again after appropriate scaling.. Polynomial bounds For straight-line drawings of planar graphs with ''n'' vertices, the optimal worst-case bound on the area of a drawing is Θ(''n''2). The nested triangles graph requi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Upward Planar Drawing
In graph drawing, an upward planar drawing of a directed acyclic graph is an embedding of the graph into the Euclidean plane, in which the edges are represented as non-crossing monotonic upwards curves. That is, the curve representing each edge should have the property that every horizontal line intersects it in at most one point, and no two edges may intersect except at a shared endpoint. In this sense, it is the ideal case for layered graph drawing, a style of graph drawing in which edges are monotonic curves that may cross, but in which crossings are to be minimized. Characterizations A directed acyclic graph must be planar in order to have an upward planar drawing, but not every planar acyclic graph has such a drawing. Among the planar directed acyclic graphs with a single source (vertex with no incoming edges) and sink (vertex with no outgoing edges), the graphs with upward planar drawings are the ''st''-planar graphs, planar graphs in which the source and sink both belong ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bend Minimization
In graph drawing styles that represent the edges of a graph by polylines (sequences of line segments connected at bends), it is desirable to minimize the number of bends per edge (sometimes called the curve complexity). or the total number of bends in a drawing.. Bend minimization is the algorithmic problem of finding a drawing that minimizes these quantities. Eliminating all bends The prototypical example of bend minimization is Fáry's theorem, which states that every planar graph can be drawn with no bends, that is, with all its edges drawn as straight line segments. Drawings of a graph in which the edges are both bendless and axis-aligned are sometimes called ''rectilinear drawings'', and are one way of constructing RAC drawings in which all crossings are at right angles. However, it is NP-complete to determine whether a planar graph has a planar rectilinear drawing, and NP-complete to determine whether an arbitrary graph has a rectilinear drawing that allows crossings.. Bend ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integer Lattice
In mathematics, the -dimensional integer lattice (or cubic lattice), denoted , is the lattice in the Euclidean space whose lattice points are -tuples of integers. The two-dimensional integer lattice is also called the square lattice, or grid lattice. is the simplest example of a root lattice. The integer lattice is an odd unimodular lattice. Automorphism group The automorphism group (or group of congruences) of the integer lattice consists of all permutations and sign changes of the coordinates, and is of order 2''n'' ''n''!. As a matrix group it is given by the set of all ''n''×''n'' signed permutation matrices. This group is isomorphic to the semidirect product :(\mathbb Z_2)^n \rtimes S_n where the symmetric group ''S''''n'' acts on (Z2)''n'' by permutation (this is a classic example of a wreath product). For the square lattice, this is the group of the square, or the dihedral group of order 8; for the three-dimensional cubic lattice, we get the group of the cube, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
