Kempe's universality theorem
GPTKB entity
Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:associated_with |
the concept of graph minors
|
| gptkbp:claims |
every finite graph can be represented as a subgraph of a certain infinite graph
|
| gptkbp:exhibits |
the concept of universality in graphs
|
| gptkbp:expansion |
other types of graphs
|
| gptkbp:has_a_focus_on |
mathematical research
|
| gptkbp:has_implications_for |
network theory
|
| gptkbp:hasPrograms |
topological graph theory
|
| gptkbp:historical_significance |
the development of graph theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kempe's universality theorem
|
| gptkbp:is_a |
a constructive proof
|
| gptkbp:is_a_subject_of |
is often referenced in mathematical proofs
mathematical debate has been the subject of many proofs is often included in mathematical discussions has influenced subsequent research has been the subject of many discussions in academia has been the basis for further theoretical developments has been used to illustrate concepts in discrete mathematics has been analyzed for its proof techniques has been applied in practical scenarios has been influential in combinatorial optimization has been influential in the field of mathematics. has been the focus of research papers has been used in proofs of other theorems has connections to topology has implications for graph algorithms is often explored in mathematical conferences is relevant to the study of algorithms is studied in relation to computational complexity the study of graph colorings |
| gptkbp:is_essential_for |
the study of graph embeddings
|
| gptkbp:is_part_of |
the mathematical canon
|
| gptkbp:is_used_in |
academic journals
graph theory literature numerous mathematical papers textbooks on graph theory the existence of certain graph properties |
| gptkbp:isConnectedTo |
the four color theorem
|
| gptkbp:previousName |
Alfred_Kempe
|
| gptkbp:publishedBy |
1879
|
| gptkbp:related_to |
graph theory
computer science applications other mathematicians in graph theory |
| gptkbp:taught |
advanced mathematics courses
|
| gptkbp:was_a_result_of |
combinatorial mathematics
the study of planar graphs has been proven in various forms |