Dataset of non-isomorphic graphs of the coloring types (K4,Km-e;n), 2<m<5, 1<n<R(K4,Km-e)

Description

For K4 and Km-e graphs, a coloring type (K4,Km-e;n) is such an edge coloring of the full Kn graph, which does not have the K4 subgraph in the first color (representing by no edges in the graph) or the Km-e subgraph in the second color (representing by edges in the graph). Km-e means the full Km graph with one edge removed.
The Ramsey number R(K4,Km-e) is the smallest natural number n such that for any edge coloring of the full Kn graph there is an isomorphic subgraph with K4 in the first color (no edge in the graph) or isomorphic with Km-e in the second color (exists edge in the graph). Coloring types (K4,Km-e;n) exist for n<R(K4,Km-e).
The dataset consists of:
a) 5 files containing all non-isomorphic graphs that are coloring types (K4,K3-e;n) for 1<n<7,
b) 9 files containing all non-isomorphic graphs that are coloring types (K4,K4-e;n) for 1<n<11.

All graphs have been saved in Graph6 format (https://users.cecs.anu.edu.au/~bdm/data/formats.html).
The Nauty package by Brendan D. McKay was used to check the isomorphism of the graphs (http://users.cecs.anu.edu.au/~bdm/nauty/).
We recommend the survey article of S. Radziszowski containing the most important results regarding Ramsey numbers: S. Radziszowski, Small Ramsey numbers, Electron. J. Comb. Dyn. Surv. 1, revision #15, DS1: Mar 3, 2017 ( https://doi.org/10.37236/21).

Dataset file

dataset_k4kme.zip

3.7 kB, S3 ETag 5b6d0eec4841df2792ce6db6b5f87736-1, downloads: 35

The file hash is calculated from the formula
hexmd5(md5(part1)+md5(part2)+...)-{parts_count} where a single part of the file is 512 MB in size.

Example script for calculation:
https://github.com/antespi/s3md5

download

File details

License:: open in new tab

CC BY

Attribution
Software:: Graph6 format

Details

Year of publication:

2020

Verification date:

2020-12-17

Dataset language:

English

Fields of science:

mathematics (Natural sciences)

DOI:

10.34808/nsea-xb70

Verified by:

Gdańsk University of Technology

Keywords

References

Cite as

Authors

seen 192 times

Search