|
Graph Theory, 1736–1936
''Graph Theory, 1736–1936'' is a book in the history of mathematics on graph theory. It focuses on the foundational documents of the field, beginning with the 1736 paper of Leonhard Euler on the Seven Bridges of Königsberg and ending with the first textbook on the subject, published in 1936 by Dénes Kőnig. ''Graph Theory, 1736–1936'' was edited by Norman L. Biggs, E. Keith Lloyd, and Robin J. Wilson, and published in 1976 by the Clarendon Press. The Oxford University Press published a paperback second edition in 1986, with a corrected reprint in 1998. Topics ''Graph Theory, 1736–1936'' contains copies, extracts, and translations of 37 original sources in graph theory, grouped into ten chapters and punctuated by commentary on their meaning and context. It begins with Euler's 1736 paper "Solutio problematis ad geometriam situs pertinentis" on the seven bridges of Königsberg (both in the original Latin and in English translation) and ending with Dénes Kőnig's book ''Theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Theory, 1736–1936
''Graph Theory, 1736–1936'' is a book in the history of mathematics on graph theory. It focuses on the foundational documents of the field, beginning with the 1736 paper of Leonhard Euler on the Seven Bridges of Königsberg and ending with the first textbook on the subject, published in 1936 by Dénes Kőnig. ''Graph Theory, 1736–1936'' was edited by Norman L. Biggs, E. Keith Lloyd, and Robin J. Wilson, and published in 1976 by the Clarendon Press. The Oxford University Press published a paperback second edition in 1986, with a corrected reprint in 1998. Topics ''Graph Theory, 1736–1936'' contains copies, extracts, and translations of 37 original sources in graph theory, grouped into ten chapters and punctuated by commentary on their meaning and context. It begins with Euler's 1736 paper "Solutio problematis ad geometriam situs pertinentis" on the seven bridges of Königsberg (both in the original Latin and in English translation) and ending with Dénes Kőnig's book ''Theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Kirkman
Thomas Penyngton Kirkman FRS (31 March 1806 – 3 February 1895) was a British mathematician and ordained minister of the Church of England. Despite being primarily a churchman, he maintained an active interest in research-level mathematics, and was listed by Alexander Macfarlane as one of ten leading 19th-century British mathematicians... In the 1840s, he obtained an existence theorem for Steiner triple systems that founded the field of combinatorial design theory, while the related Kirkman's schoolgirl problem is named after him. Early life and education Kirkman was born 31 March 1806 in Bolton, in the north west of England, the son of a local cotton dealer. In his schooling at the Bolton Grammar School, he studied classics, but no mathematics was taught in the school. He was recognised as the best scholar at the school, and the local vicar guaranteed him a scholarship at Cambridge, but his father would not allow him to go. Instead, he left school at age 14 to work in his fat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fernando Q
Fernando is a Spanish and Portuguese given name and a surname common in Spain, Portugal, Italy, France, Switzerland, former Spanish or Portuguese colonies in Latin America, Africa, the Philippines, India, and Sri Lanka. It is equivalent to the Germanic given name Ferdinand, with an original meaning of "adventurous, bold journey". First name * Fernando el Católico, king of Aragon A * Fernando Acevedo, Peruvian track and field athlete * Fernando Aceves Humana, Mexican painter * Fernando Alegría, Chilean poet and writer * Fernando Alonso, Spanish Formula One driver * Fernando Amorebieta, Venezuelan footballer * Fernando Amorsolo, Filipino painter * Fernando Antogna, Argentine track and road cyclist * Fernando de Araújo (other), multiple people B * Fernando Balzaretti (1946–1998), Mexican actor * Fernando Baudrit Solera, Costa Rican president of the supreme court * Fernando Botero, Colombian artist * Fernando Bujones, ballet dancer C * Fernando Cabrera (baseball ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hazel Perfect
Hazel Perfect (circa 1927 – 8 July 2015) was a British mathematician specialising in combinatorics. Contributions Perfect was known for inventing gammoids, for her work with Leon Mirsky on doubly stochastic matrices, for her three books ''Topics in Geometry'', ''Topics in Algebra'', and '' Independence Theory in Combinatorics'', and for her work as a translator (from an earlier German translation) of Pavel Alexandrov's book ''An Introduction to the Theory of Groups'' (Hafner, 1959). The Perfect–Mirsky conjecture, named after Perfect and Leon Mirsky, concerns the region of the complex plane formed by the eigenvalues of doubly stochastic matrices. Perfect and Mirsky conjectured that for n\times n matrices this region is the union of regular polygons of up to n sides, having the roots of unity of each degree up to n as vertices. Perfect and Mirsky proved their conjecture for n\le 3; it was subsequently shown to be true for n=4 and false for n=5, but remains open for larger value ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Factorization
In graph theory, a factor of a graph ''G'' is a spanning subgraph, i.e., a subgraph that has the same vertex set as ''G''. A ''k''-factor of a graph is a spanning ''k''- regular subgraph, and a ''k''-factorization partitions the edges of the graph into disjoint ''k''-factors. A graph ''G'' is said to be ''k''-factorable if it admits a ''k''-factorization. In particular, a 1-factor is a perfect matching, and a 1-factorization of a ''k''-regular graph is an edge coloring with ''k'' colors. A 2-factor is a collection of cycles that spans all vertices of the graph. 1-factorization If a graph is 1-factorable (ie, has a 1-factorization), then it has to be a regular graph. However, not all regular graphs are 1-factorable. A ''k''-regular graph is 1-factorable if it has chromatic index ''k''; examples of such graphs include: * Any regular bipartite graph. Hall's marriage theorem can be used to show that a ''k''-regular bipartite graph contains a perfect matching. One can then remove t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Graph Theory
Algebraic graph theory is a branch of mathematics in which algebraic methods are applied to problems about graphs. This is in contrast to geometric, combinatoric, or algorithmic approaches. There are three main branches of algebraic graph theory, involving the use of linear algebra, the use of group theory, and the study of graph invariants. Branches of algebraic graph theory Using linear algebra The first branch of algebraic graph theory involves the study of graphs in connection with linear algebra. Especially, it studies the spectrum of the adjacency matrix, or the Laplacian matrix of a graph (this part of algebraic graph theory is also called spectral graph theory). For the Petersen graph, for example, the spectrum of the adjacency matrix is (−2, −2, −2, −2, 1, 1, 1, 1, 1, 3). Several theorems relate properties of the spectrum to other graph properties. As a simple example, a connected graph with diameter ''D'' w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Coloring
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an edge coloring assigns a color to each edge so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each face or region so that no two faces that share a boundary have the same color. Vertex coloring is often used to introduce graph coloring problems, since other coloring problems can be transformed into a vertex coloring instance. For example, an edge coloring of a graph is just a vertex coloring of its line graph, and a face coloring of a plane graph is just a vertex coloring of its dual. However, non-vertex coloring problems are often stated and studied as-is. This is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Four Color Theorem
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] |
Euler's Polyhedral Formula
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by \chi ( Greek lower-case letter chi). The Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. It was stated for Platonic solids in 1537 in an unpublished manuscript by Francesco Maurolico. Leonhard Euler, for whom the concept is named, introduced it for convex polyhedra more generally but failed to rigorously prove that it is an invariant. In modern mathematics, the Euler characteristic arises from homology and, more abstractly, homological algebra. Polyhedra The Euler characteristic \chi was classically defined for the surfaces of polyhedra, acc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kuratowski's Theorem
In graph theory, Kuratowski's theorem is a mathematical forbidden graph characterization of planar graphs, named after Kazimierz Kuratowski. It states that a finite graph is planar if and only if it does not contain a subgraph that is a subdivision of K_5 (the complete graph on five vertices) or of K_ (a complete bipartite graph on six vertices, three of which connect to each of the other three, also known as the utility graph). Statement A planar graph is a graph whose vertices can be represented by points in the Euclidean plane, and whose edges can be represented by simple curves in the same plane connecting the points representing their endpoints, such that no two curves intersect except at a common endpoint. Planar graphs are often drawn with straight line segments representing their edges, but by Fáry's theorem this makes no difference to their graph-theoretic characterization. A subdivision of a graph is a graph formed by subdividing its edges into paths of one or mor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Planar Graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross each other. Such a drawing is called a plane graph or planar embedding of the graph. A plane graph can be defined as a planar graph with a mapping from every node to a point on a plane, and from every edge to a plane curve on that plane, such that the extreme points of each curve are the points mapped from its end nodes, and all curves are disjoint except on their extreme points. Every graph that can be drawn on a plane can be drawn on the sphere as well, and vice versa, by means of stereographic projection. Plane graphs can be encoded by combinatorial maps or rotation systems. An equivalence class of topologically equivalent drawings on the sphere, usually with additional assumptions such as the absence of isthmuses, is called a pl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Enumeration
In combinatorics, an area of mathematics, graph enumeration describes a class of combinatorial enumeration problems in which one must count undirected or directed graphs of certain types, typically as a function of the number of vertices of the graph. These problems may be solved either exactly (as an algebraic enumeration problem) or asymptotically. The pioneers in this area of mathematics were George Pólya, Arthur Cayley and J. Howard Redfield. Labeled vs unlabeled problems In some graphical enumeration problems, the vertices of the graph are considered to be ''labeled'' in such a way as to be distinguishable from each other, while in other problems any permutation of the vertices is considered to form the same graph, so the vertices are considered identical or ''unlabeled''. In general, labeled problems tend to be easier. As with combinatorial enumeration more generally, the Pólya enumeration theorem is an important tool for reducing unlabeled problems to labeled ones: each ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
