|
Heawood Number
In mathematics, the Heawood number of a surface is an upper bound for the number of colors that suffice to color any graph embedded in the surface. In 1890 Heawood proved for all surfaces ''except'' the sphere that no more than : H(S)=\left\lfloor\frac\right\rfloor = \left\lfloor\frac\right\rfloor colors are needed to color any graph embedded in a surface of Euler characteristic e(S), or genus g(S) for an orientable surface. The number H(S) became known as Heawood number in 1976. Franklin proved that the chromatic number of a graph embedded in the Klein bottle can be as large as 6, but never exceeds 6. Later it was proved in the works of Gerhard Ringel, J. W. T. Youngs, and other contributors that the complete graph with H(S) vertices can be embedded in the surface S unless S is the Klein bottle. This established that Heawood's bound could not be improved. For example, the complete graph on 7 vertices can be embedded in the torus as follows: The case of the sphere is th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices is connected by a pair of unique edges (one in each direction). Graph theory itself is typically dated as beginning with Leonhard Euler's 1736 work on the Seven Bridges of Königsberg. However, drawings of complete graphs, with their vertices placed on the points of a regular polygon, had already appeared in the 13th century, in the work of Ramon Llull. Such a drawing is sometimes referred to as a mystic rose. Properties The complete graph on vertices is denoted by . Some sources claim that the letter in this notation stands for the German word , but the German name for a complete graph, , does not contain the letter , and other sources state that the notation honors the contributions of Kazimierz Kuratowski to graph theory. has edges (a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Chester Kainen
Paul Chester Kainen is an American mathematician, an adjunct associate professor of mathematics and director of the Lab for Visual Mathematics at Georgetown University. Kainen is the author of a popular book on the four color theorem, and is also known for his work on book embeddings of graphs. Biography Kainen received his Bachelor of Arts degree from George Washington University in 1966 and was awarded the Ruggles Prize for Excellence in Mathematics. He went on to get his Ph.D. from Cornell University in 1970 with Peter Hilton Peter John Hilton (7 April 1923Peter Hilton, "On all Sorts of Automorphisms", '' The American Mathematical Monthly'', 92(9), November 1985, p. 6506 November 2010) was a British mathematician, noted for his contributions to homotopy theory and ... as his thesis advisor. Kainen's father was the American artist Jacob Kainen. Selected publications *. 2nd ed., Dover, 1986, , . *. References External linksHome pageat GeorgetownPaul Kainen's Page on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas L
Thomas may refer to: People * List of people with given name Thomas * Thomas (name) * Thomas (surname) * Saint Thomas (other) * Thomas Aquinas (1225–1274) Italian Dominican friar, philosopher, and Doctor of the Church * Thomas the Apostle * Thomas (bishop of the East Angles) (fl. 640s–650s), medieval Bishop of the East Angles * Thomas (Archdeacon of Barnstaple) (fl. 1203), Archdeacon of Barnstaple * Thomas, Count of Perche (1195–1217), Count of Perche * Thomas (bishop of Finland) (1248), first known Bishop of Finland * Thomas, Earl of Mar (1330–1377), 14th-century Earl, Aberdeen, Scotland Geography Places in the United States * Thomas, Illinois * Thomas, Indiana * Thomas, Oklahoma * Thomas, Oregon * Thomas, South Dakota * Thomas, Virginia * Thomas, Washington * Thomas, West Virginia * Thomas County (other) * Thomas Township (other) Elsewhere * Thomas Glacier (Greenland) Arts, entertainment, and media * ''Thomas'' (Burton novel) 1969 nove ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Béla Bollobás
Béla Bollobás FRS (born 3 August 1943) is a Hungarian-born British mathematician who has worked in various areas of mathematics, including functional analysis, combinatorics, graph theory, and percolation. He was strongly influenced by Paul Erdős since the age of 14. Early life and education As a student, he took part in the first three International Mathematical Olympiads, winning two gold medals. Paul Erdős invited Bollobás to lunch after hearing about his victories, and they kept in touch afterward. Bollobás' first publication was a joint publication with ErdősBollobás, Béla; Erdös, Paul , Über graphentheoretische Extremalprobleme. (Extremal problems in graph theory.) , Mat. Lapok 13, 143-152 (1962) on extremal problems in graph theory, written when he was in high school in 1962. With Erdős's recommendation to Harold Davenport and a long struggle for permission from the Hungarian authorities, Bollobás was able to spend an undergraduate year in Cambridge, England ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wolfgang Haken
Wolfgang Haken (June 21, 1928 – October 2, 2022) was a German American mathematician who specialized in topology, in particular 3-manifolds. Biography Haken was born in Berlin, Germany. His father was Werner Haken, a physicist who had Max Planck as a doctoral thesis advisor. In 1953, Haken earned a Ph.D. degree in mathematics from Christian-Albrechts-Universität zu Kiel (Kiel University) and married Anna-Irmgard von Bredow, who earned a Ph.D. degree in mathematics from the same university in 1959. In 1962, they left Germany so he could accept a position as visiting professor at the University of Illinois at Urbana-Champaign. He became a full professor in 1965, retiring in 1998. In 1976, together with colleague Kenneth Appel at the University of Illinois at Urbana-Champaign, Haken solved the four-color theorem. They proved that any two-dimensional map, with certain limitations, can be filled in with four colors without any adjacent “countries” sharing the same color. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kenneth Appel
Kenneth Ira Appel (October 8, 1932 – April 19, 2013) was an American mathematician who in 1976, with colleague Wolfgang Haken at the University of Illinois at Urbana–Champaign, solved one of the most famous problems in mathematics, the four-color theorem. They proved that any two-dimensional map, with certain limitations, can be filled in with four colors without any adjacent "countries" sharing the same color. Biography Appel was born in Brooklyn, New York, on October 8, 1932. He grew up in Queens, New York, and was the son of a Jewish couple, Irwin Appel and Lillian Sender Appel. He worked as an actuary for a brief time and then served in the U.S. Army for two years at Fort Benning, Georgia, and in Baumholder, Germany. In 1959, he finished his doctoral program at the University of Michigan, and he also married Carole S. Stein in Philadelphia. The couple moved to Princeton, New Jersey, where Appel worked for the Institute for Defense Analyses from 1959 to 1961. His main work ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Four-color Conjecture
In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions share a common boundary curve segment, not merely a corner where three or more regions meet. It was the first major theorem to be proved using a computer. Initially, this proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand. The proof has gained wide acceptance since then, although some doubters remain. The four color theorem was proved in 1976 by Kenneth Appel and Wolfgang Haken after many false proofs and counterexamples (unlike the five color theorem, proved in the 1800s, which states that five colors are enough to color a map). To dispel any remaining doubts about the Appel–Haken proof, a simpler proof using the same ideas and still relying on computers was publi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K7 Et Tore
K7, K07 or K-7 may refer to: * A complete graph with 7 Vertices * Bluebird K7, a high speed hydroplane raced by Donald Campbell * Daewoo Precision Industries K7, a submachine gun with an integrated suppressor * Deep Space Station K7, a fictional space station featured in the Star Trek episodes "The Trouble With Tribbles" and "Trials and Tribble-ations" * K7 (mountain), a mountain of the Karakoram range, in Pakistan * K-7 (Kansas highway), a state highway in Kansas * Kalinin K-7, a heavy experimental aircraft designed and tested in the Soviet Union in the early 1930s * Kronprinsens husarregemente, a Swedish Army cavalry regiment disbanded 1927 * Pentax K-7, a DSLR camera by Hoya Corporation * Schleicher K7, a 2-seater glider plane made from wood and steel Computing * AMD K7, codename for certain AMD CPUs, including the Athlon, Athlon XP, Duron and some Sempron microprocessors Music * Ibanez K7, a series of guitars * K7 (musician) (born 1967), American rapper * Studio !K7 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gerhard Ringel
Gerhard Ringel (October 28, 1919 in Kollnbrunn, Austria – June 24, 2008 in Santa Cruz, California) was a German mathematician. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture (now the Ringel–Youngs theorem), a mathematical problem closely linked with the four color theorem. Although born in Austria, Ringel was raised in Czechoslovakia and attended Charles University before being drafted into the Wehrmacht in 1940 (after Germany had taken control of much of what had been Czechoslovakia). After the war Ringel served for over four years in a Soviet prisoner of war camp. He earned his PhD from the University of Bonn in 1951 with a thesis written under the supervision of Emanuel Sperner and Ernst Peschl. Ringel started his academic career as professor at the Free University Berlin. In 1970 he left Germany due to bureaucratic consequences of the German student movement, and continued his career at the University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface (topology)
In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space. Topological surfaces are sometimes equipped with additional information, such as a Riemannian metric or a complex structure, that connects them to other disciplines within mathematics, such as differential geometry and complex analysis. The various mathematical notions of surface can be used to model surfaces in the physical world. In general In mathematics, a surface is a geometrical shape that resembles a deformed plane. The most familiar examples arise as boundaries of solid ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
