| Meno: | Maksym |
|---|---|
| Priezvisko: | Maltsev |
| Názov: | Generating infinite families of snarks |
| Vedúci: | Prof. RNDr. Martin Škoviera, PhD. |
| Rok: | 2026 |
| Kľúčové slová: | teória grafov, snarky, 3-hranové zafarbenie, kubické grafy, počítačové generovanie grafov |
| Abstrakt: | Táto bakalárska práca sa zameriava na počítačovú implementáciu generátorov snarkov— súvislých kubických grafov, ktoré nie sú 3-hranovo zafarbiteľné. Nadväzujeme na teoretický rámec práce Morphology of Small Snarks (Mazák, Rajník, Škoviera, 2022), ktorá opísala snarky do 36 vrcholov, a transformujeme tieto koncepty do funkčných algoritmických nástrojov na generovanie snarkov rádu 38 a viac. Práca začína pre-hľadom teoretických základov potrebných pre konštrukcie nekonečných rodín snarkov. Následne detailne opisujeme navrhnuté algoritmické postupy a C++ dátové štruktúry určené na končtrukciu snarkov v rámci robustného generatívneho softvéru. Na záver prezentujeme výsledky generovania nových rodín snarkov a pre niektoré rodiny analyzujeme ich štrukturálne vlastnosti. |
Súbory bakalárskej práce:
| thesis.pdf |
Súbory prezentácie na obhajobe: