HLINĚNÝ, Petr and Michal KORBELA. On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees. In Nešetřil J., Perarnau G., Rué J., Serra O. Extended Abstracts EuroComb 2021. Trends in Mathematics. Cham: Birkhäuser, 2021, p. 50-56. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_9.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees
Authors HLINĚNÝ, Petr (203 Czech Republic, guarantor, belonging to the institution) and Michal KORBELA (703 Slovakia, belonging to the institution).
Edition Cham, Extended Abstracts EuroComb 2021. Trends in Mathematics, p. 50-56, 7 pp. 2021.
Publisher Birkhäuser
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Switzerland
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
WWW URL
RIV identification code RIV/00216224:14330/21:00119292
Organization unit Faculty of Informatics
ISBN 978-3-030-83822-5
ISSN 2297-0215
Doi http://dx.doi.org/10.1007/978-3-030-83823-2_9
Keywords in English Graph; Crossing number; Crossing-critical families
Tags formela-conference
Tags International impact, Reviewed
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 10:05.
Abstract
A surprising result of Bokal et al. proved that the exact minimum value of c such that c-crossing-critical graphs do not have bounded maximum degree is c=13. The key to the result is an inductive construction of a family of 13-crossing-critical graphs with many vertices of arbitrarily high degrees. While the inductive part of the construction is rather easy, it all relies on the fact that a certain 17-vertex base graph has the crossing number 13, which was originally verified only by a machine-readable computer proof. We now provide a relatively short self-contained computer-free proof.
Links
GA20-04567S, research and development projectName: Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech
Investor: Czech Science Foundation
MUNI/A/1108/2020, interní kód MUName: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X. (Acronym: SV-FI MAV X.)
Investor: Masaryk University
PrintDisplayed: 12/5/2024 17:35