|
Core (graph Theory)
In the mathematical field of graph theory, a core is a notion that describes behavior of a graph with respect to graph homomorphisms. Definition Graph C is a core if every homomorphism f:C \to C is an isomorphism, that is it is a bijection of vertices of C. A core of a graph G is a graph C such that # There exists a homomorphism from G to C, # there exists a homomorphism from C to G, and # C is minimal with this property. Two graphs are said to be homomorphism equivalent or hom-equivalent if they have isomorphic cores. Examples * Any complete graph is a core. * A cycle of odd length is a core. * A graph G is a core if and only if the core of G is equal to G. * Every two cycles of even length, and more generally every two bipartite graphs are hom-equivalent. The core of each of these graphs is the two-vertex complete graph ''K''2. * By the Beckman–Quarles theorem, the infinite unit distance graph on all points of the Euclidean plane or of any higher-dimensional Eucli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Plane
In mathematics, a Euclidean plane is a Euclidean space of Two-dimensional space, dimension two, denoted \textbf^2 or \mathbb^2. It is a geometric space in which two real numbers are required to determine the position (geometry), position of each point (mathematics), point. It is an affine space, which includes in particular the concept of parallel lines. It has also measurement, metrical properties induced by a Euclidean distance, distance, which allows to define circles, and angle, angle measurement. A Euclidean plane with a chosen Cartesian coordinate system is called a ''Cartesian plane''. The set \mathbb^2 of the ordered pairs of real numbers (the real coordinate plane), equipped with the dot product, is often called ''the'' Euclidean plane or ''standard Euclidean plane'', since every Euclidean plane is isomorphic to it. History Books I through IV and VI of Euclid's Elements dealt with two-dimensional geometry, developing such notions as similarity of shapes, the Pythagor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gordon Royle
Gordon F. Royle is a professor at the School of Mathematics and Statistics at The University of Western Australia. Royle is the co-author (with Chris Godsil) of the book ''Algebraic Graph Theory'' (Springer Verlag, 2001, ). Royle is also known for his research into the mathematics of Sudoku and his search for the Sudoku puzzle with the smallest number of entries that has a unique solution. Royle earned his Ph.D. in 1987 from the University of Western Australia under the supervision of Cheryl Praeger Cheryl Elisabeth Praeger (born 7 September 1948, Toowoomba, Queensland) is an Australian mathematician. Praeger received BSc (1969) and MSc degrees from the University of Queensland (1974), and a doctorate from the University of Oxford in 197 ... and Brendan McKay. References {{DEFAULTSORT:Royle, Gordon Living people Australian mathematicians Graph theorists University of Western Australia alumni Academic staff of the University of Western Australia Year of birt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chris Godsil
Christopher David Godsil is a professor and the former Chair at the Department of Combinatorics and Optimization in the faculty of mathematics at the University of Waterloo. He wrote the popular textbook on algebraic graph theory, entitled ''Algebraic Graph Theory'', with Gordon Royle, His earlier textbook on algebraic combinatorics discussed distance-regular graphs and association schemes. Background He started the Journal of Algebraic Combinatorics, and was the Editor-in-Chief of the Electronic Journal of Combinatorics from 2004 to 2008. He is also on the editorial board of the Journal of Combinatorial Theory Series B and Combinatorica. He obtained his Ph.D. in 1979 at the University of Melbourne under the supervision of Derek Alan Holton. He wrote a paper with Paul Erdős, so making his Erdős number equal to 1.Paul Erdős Paul Erdős ( ; 26March 191320September 1996) was a Hungarian mathematician. He was one of the most prolific mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NP-complete
In computational complexity theory, NP-complete problems are the hardest of the problems to which ''solutions'' can be verified ''quickly''. Somewhat more precisely, a problem is NP-complete when: # It is a decision problem, meaning that for any input to the problem, the output is either "yes" or "no". # When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) ''solution''. # The correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by trying all possible solutions. # The problem can be used to simulate every other problem for which we can verify quickly that a solution is correct. Hence, if we could find solutions of some NP-complete problem quickly, we could quickly find the solutions of every other problem to which a given solution can be easily verified. The name "NP-complete" is short for "nondeterministic polynomial-time complete". In this name, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
