|
Hanani–Tutte Theorem
In topological graph theory, the Hanani–Tutte theorem is a result on the parity of edge crossings in a graph drawing. It states that every drawing in the plane of a non-planar graph contains a pair of independent edges (not both sharing an endpoint) that cross each other an odd number of times. Equivalently, it can be phrased as a planarity criterion: a graph is planar if and only if it has a drawing in which every pair of independent edges crosses evenly (or not at all).. History The result is named after Haim Hanani, who proved in 1934 that every drawing of the two minimal non-planar graphs ''K''5 and ''K''3,3 has a pair of edges with an odd number of crossings, and after W. T. Tutte, who stated the full theorem explicitly in 1970. A parallel development of similar ideas in algebraic topology has been credited to Egbert van Kampen, Arnold S. Shapiro, and Wu Wenjun. Applications One consequence of the theorem is that testing whether a graph is planar may be formulated as sol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Graph Theory
In mathematics, topological graph theory is a branch of graph theory. It studies the embedding of graphs in surfaces, spatial embeddings of graphs, and graphs as topological spaces. It also studies immersions of graphs. Embedding a graph in a surface means that we want to draw the graph on a surface, a sphere for example, without two edges intersecting. A basic embedding problem often presented as a mathematical puzzle is the three utilities problem. Other applications can be found in printing electronic circuits where the aim is to print (embed) a circuit (the graph) on a circuit board (the surface) without two connections crossing each other and resulting in a short circuit. Graphs as topological spaces To an undirected graph we may associate an abstract simplicial complex ''C'' with a single-element set per vertex and a two-element set per edge. The geometric realization , ''C'', of the complex consists of a copy of the unit interval ,1per edge, with the endpoints of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wu Wenjun
Wu Wenjun ( zh, s=吴文俊; 12 May 1919 – 7 May 2017), also commonly known as Wu Wen-tsün, was a Chinese mathematician, historian, and writer. He was an academician at the Chinese Academy of Sciences (CAS), best known for the Wu's method of characteristic set. Biography Wu's Ancestral home (China), ancestral hometown was Jiashan, Zhejiang. He was born in Shanghai and graduated from Shanghai Jiao Tong University in 1940. In 1945, Wu taught several months at Zhijiang Campus, Zhejiang University, Hangchow University (later merged into Zhejiang University) in Hangzhou. In 1947, he went to France for further study at the University of Strasbourg. In 1949, he received his PhD, for his thesis ''Sur les classes caractéristiques des structures fibrées sphériques'', written under the direction of Charles Ehresmann. Afterwards, he did some work in Paris with René Thom and discovered the Wu class and Wu formula in algebraic topology. In 1951 he was appointed to a post at Peking U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Clustered Planarity
In graph drawing, a clustered planar graph is a graph together with a hierarchical clustering on its vertices, such that the graph drawn together with a collection of simple closed curves surrounding each cluster, so that there are no crossings between graph edges or clusters.. A brief survey paper associated with an invited talk at SCG. The clustering can be described combinatorially by a collection of subsets of the vertices such that, for each two subsets, either both are disjoint or one is contained in the other. It is not required that the clustering be maximal nor that every vertex belong to a cluster. In a clustered planar drawing, no two edges may cross each other (that is, the graph must be planar Planar is an adjective meaning "relating to a plane (geometry)". Planar may also refer to: Science and technology * Planar (computer graphics), computer graphics pixel information from several bitplanes * Planar (transmission line technologies), ...), no two of the curves repr ... [...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] |
Projective Plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus ''any'' two distinct lines in a projective plane intersect at exactly one point. Renaissance artists, in developing the techniques of drawing in perspective, laid the groundwork for this mathematical topic. The archetypical example is the real projective plane, also known as the extended Euclidean plane. This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by , RP2, or P2(R), among other notations. There are many other projective planes, both infinite, such as the complex projective plane, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algorithm
In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specifications for performing calculations and data processing. More advanced algorithms can perform automated deductions (referred to as automated reasoning) and use mathematical and logical tests to divert the code execution through various routes (referred to as automated decision-making). Using human characteristics as descriptors of machines in metaphorical ways was already practiced by Alan Turing with terms such as "memory", "search" and "stimulus". In contrast, a Heuristic (computer science), heuristic is an approach to problem solving that may not be fully specified or may not guarantee correct or optimal results, especially in problem domains where there is no well-defined correct or optimal result. As an effective method, an algorithm ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Time
In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by the algorithm, supposing that each elementary operation takes a fixed amount of time to perform. Thus, the amount of time taken and the number of elementary operations performed by the algorithm are taken to be related by a constant factor. Since an algorithm's running time may vary among different inputs of the same size, one commonly considers the worst-case time complexity, which is the maximum amount of time required for inputs of a given size. Less common, and usually specified explicitly, is the average-case complexity, which is the average of the time taken on inputs of a given size (this makes sense because there are only a finite number of possible inputs of a given size). In both cases, the time complexity is generally expresse ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GF(2)
(also denoted \mathbb F_2, or \mathbb Z/2\mathbb Z) is the finite field of two elements (GF is the initialism of ''Galois field'', another name for finite fields). Notations and \mathbb Z_2 may be encountered although they can be confused with the notation of -adic integers. is the field with the smallest possible number of elements, and is unique if the additive identity and the multiplicative identity are denoted respectively and , as usual. The elements of may be identified with the two possible values of a bit and to the boolean values ''true'' and ''false''. It follows that is fundamental and ubiquitous in computer science and its logical foundations. Definition GF(2) is the unique field with two elements with its additive and multiplicative identities respectively denoted and . Its addition is defined as the usual addition of integers but modulo 2 and corresponds to the table below: If the elements of GF(2) are seen as boolean values, then the addition is th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
System Of Linear Equations
In mathematics, a system of linear equations (or linear system) is a collection of one or more linear equations involving the same variable (math), variables. For example, :\begin 3x+2y-z=1\\ 2x-2y+4z=-2\\ -x+\fracy-z=0 \end is a system of three equations in the three variables . A solution to a linear system is an assignment of values to the variables such that all the equations are simultaneously satisfied. A Equation solving, solution to the system above is given by the Tuple, ordered triple :(x,y,z)=(1,-2,-2), since it makes all three equations valid. The word "system" indicates that the equations are to be considered collectively, rather than individually. In mathematics, the theory of linear systems is the basis and a fundamental part of linear algebra, a subject which is used in most parts of modern mathematics. Computational algorithms for finding the solutions are an important part of numerical linear algebra, and play a prominent role in engineering, physics, chemistry, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arnold S
Arnold may refer to: People * Arnold (given name) Arnold may refer to: People * Arnold (given name), a masculine given name * Arnold (surname), a German and English surname Places Australia * Arnold, Victoria, a small town in the Australian state of Victoria Canada * Arnold, Nova Scotia Uni ..., a masculine given name * Arnold (surname), a German and English surname Places Australia * Arnold, Victoria, a small town in the Australian state of Victoria Canada * Arnold, Nova Scotia United Kingdom * Arnold, East Riding of Yorkshire * Arnold, Nottinghamshire United States * Arnold, California, in Calaveras County * Arnold, Carroll County, Illinois * Arnold, Morgan County, Illinois * Arnold, Iowa * Arnold, Kansas * Arnold, Maryland * Arnold, Mendocino County, California * Arnold, Michigan * Arnold, Minnesota * Arnold, Missouri * Arnold, Nebraska * Arnold, Ohio * Arnold, Pennsylvania * Arnold, Texas * Arnold, Brooke County, West Virginia * Arnold, Lewis County, West Virginia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parity (mathematics)
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; otherwis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Egbert Van Kampen
Egbert Rudolf van Kampen (28 May 1908 – 11 February 1942) was a Dutch mathematician. He made important contributions to topology, especially to the study of fundamental groups. Life Van Kampen was born to Dutch parents in Belgium, where his father had recently taken a job as an accountant in Antwerp. At the outbreak of World War I the family moved back to the Netherlands, first to Amsterdam and in 1918 to The Hague. At the age of 16 he graduated from high school and entered Leiden University to study mathematics. After his undergraduate studies he continued with a doctorate study at the same university under the guidance of Willem van der Woude. In 1927, Van Kampen traveled to the University of Göttingen to meet with Bartel van der Waerden and Pavel Aleksandrov. In the summer of 1928 he worked with Emil Artin at the University of Hamburg. Around that time, while still only 20 years old, he was offered a position by Johns Hopkins University in the United States. He recei ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
