Rado graph

GPTKB entity

Statements (40)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
graph
random graph
ultrahomogeneous graph
universal graph
gptkbp:alsoKnownAs gptkb:Erdős–Rényi_graph
random graph
gptkbp:automorphismGroup large
gptkbp:builtBy gptkb:Erdős–Rényi_process
back-and-forth method
gptkbp:firstDescribed gptkb:Richard_Rado
1964
gptkbp:hasChromaticNumber infinite
gptkbp:hasCliqueNumber infinite
gptkbp:hasConnection true
gptkbp:hasEdgeDensity 1/2
gptkbp:hasEdgeProbability 1/2
gptkbp:hasIndependenceNumber infinite
gptkbp:hasProperty any isomorphism between finite induced subgraphs extends to automorphism
every finite or countable graph embeds into it
gptkbp:hasVertexSet countable set
https://www.w3.org/2000/01/rdf-schema#label Rado graph
gptkbp:isCountable true
gptkbp:isEdgeTransitive true
gptkbp:isFinite true
gptkbp:isHomogeneous true
gptkbp:isLocallyFinite false
gptkbp:isSelfComplementary true
gptkbp:isUndirected true
gptkbp:isUniqueUpToIsomorphism true
gptkbp:isUniversal true
gptkbp:isVertexTransitive true
gptkbp:namedAfter gptkb:Richard_Rado
gptkbp:publishedIn Richard Rado, 'Universal graphs and universal functions', Acta Arithmetica, 1964
gptkbp:usedIn gptkb:logic
model theory
combinatorics
graph theory
gptkbp:bfsParent gptkb:Richard_Rado
gptkbp:bfsLayer 6