hidden - assigned and confirmed by the Study Dept.
Date of registration:
10.09.2021
Date of assignment:
04.10.2021
Confirmed by Study dept. on:
25.10.2021
Date and time of defence:
12.09.2022 09:00
Date of electronic submission:
15.07.2022
Date of submission of printed version:
25.07.2022
Date of proceeded defence:
12.09.2022
Opponents:
doc. Mgr. Libor Barto, Ph.D.
Guidelines
Student se seznámí s redukcí problému čtyř barev na otázku dvojzančnosti jisté formální gramatiky a srozumitelně ji představí.
References
Bobbe Cooper, Eric Rowland, Doron Zeilberger, Toward a language theoretic proof of the four color theorem,
Advances in Applied Mathematics, Volume 48, Issue 2, 2012, Pages 414-431, ISSN 0196-8858, https://doi.org/10.1016/j.aam.2011.11.002.
Louis Kauffman, Map coloring and the vector cross product, Journal of Combinatorial Theory, Series B 48 (1990) 145-154.
Preliminary scope of work
Slavný problém ukázat, že každý rovinný graf je obarvitelný čtyřmi barvami, byl zatím dokázán jen pomocí rozsáhlé analýzy případů. Existuje naděje, že ekvivalentní popis pomocí stromů jednoduché formální gramatik by mohl důkaz zjednodušit. Půjde o představení těchto snah.
- assigned and confirmed by the Study Dept.