Universality for and in Induced-Hereditary Graph Properties

The well-known Rado graph R is universal in the set of all countable graphs I, since every countable graph is an induced subgraph of R. We study universality in I and, using R, show the existence of 2 א0 pairwise non-isomorphic graphs which are universal in I and denumerably many other universal gra...

Full description

Bibliographic Details
Main Authors: Broere Izak, Heidema Johannes
Format: Article
Language:English
Published: University of Zielona Góra 2013-03-01
Series:Discussiones Mathematicae Graph Theory
Subjects:
Online Access:https://doi.org/10.7151/dmgt.1671
_version_ 1797757731361259520
author Broere Izak
Heidema Johannes
author_facet Broere Izak
Heidema Johannes
author_sort Broere Izak
collection DOAJ
description The well-known Rado graph R is universal in the set of all countable graphs I, since every countable graph is an induced subgraph of R. We study universality in I and, using R, show the existence of 2 א0 pairwise non-isomorphic graphs which are universal in I and denumerably many other universal graphs in I with prescribed attributes. Then we contrast universality for and universality in induced-hereditary properties of graphs and show that the overwhelming majority of induced-hereditary properties contain no universal graphs. This is made precise by showing that there are 2(2א0 ) properties in the lattice K ≤ of induced-hereditary properties of which only at most 2א0 contain universal graphs. In a final section we discuss the outlook on future work; in particular the question of characterizing those induced-hereditary properties for which there is a universal graph in the property.
first_indexed 2024-03-12T18:19:47Z
format Article
id doaj.art-0ae60690bb56457ba89ccddf7d93e424
institution Directory Open Access Journal
issn 2083-5892
language English
last_indexed 2024-03-12T18:19:47Z
publishDate 2013-03-01
publisher University of Zielona Góra
record_format Article
series Discussiones Mathematicae Graph Theory
spelling doaj.art-0ae60690bb56457ba89ccddf7d93e4242023-08-02T08:58:21ZengUniversity of Zielona GóraDiscussiones Mathematicae Graph Theory2083-58922013-03-01331334710.7151/dmgt.1671Universality for and in Induced-Hereditary Graph PropertiesBroere Izak0Heidema Johannes1Department of Mathematics and Applied Mathematics University of PretoriaDepartment of Mathematical Sciences University of South AfricaThe well-known Rado graph R is universal in the set of all countable graphs I, since every countable graph is an induced subgraph of R. We study universality in I and, using R, show the existence of 2 א0 pairwise non-isomorphic graphs which are universal in I and denumerably many other universal graphs in I with prescribed attributes. Then we contrast universality for and universality in induced-hereditary properties of graphs and show that the overwhelming majority of induced-hereditary properties contain no universal graphs. This is made precise by showing that there are 2(2א0 ) properties in the lattice K ≤ of induced-hereditary properties of which only at most 2א0 contain universal graphs. In a final section we discuss the outlook on future work; in particular the question of characterizing those induced-hereditary properties for which there is a universal graph in the property.https://doi.org/10.7151/dmgt.1671countable graphuniversal graphinduced-hereditary property
spellingShingle Broere Izak
Heidema Johannes
Universality for and in Induced-Hereditary Graph Properties
Discussiones Mathematicae Graph Theory
countable graph
universal graph
induced-hereditary property
title Universality for and in Induced-Hereditary Graph Properties
title_full Universality for and in Induced-Hereditary Graph Properties
title_fullStr Universality for and in Induced-Hereditary Graph Properties
title_full_unstemmed Universality for and in Induced-Hereditary Graph Properties
title_short Universality for and in Induced-Hereditary Graph Properties
title_sort universality for and in induced hereditary graph properties
topic countable graph
universal graph
induced-hereditary property
url https://doi.org/10.7151/dmgt.1671
work_keys_str_mv AT broereizak universalityforandininducedhereditarygraphproperties
AT heidemajohannes universalityforandininducedhereditarygraphproperties