Důkazy s pomocí počítače v extremální kombinatorice
| školitel: | Mgr. Jan Volec, Ph.D. |
| e-mail: | zobrazit e-mail |
| typ práce: | bakalářská práce, diplomová práce |
| zaměření: | MINF |
| klíčová slova: | Kombinatorika, lineární a semidefinitní programování, počítačově asistované důkazy |
| popis: | Hlavním tématem této práce je použití nedávno objevených metod - např. flag algeber či zlomkové obsazení (occupancy fraction) - jež umožňují použít metody spojité optimalizace pro diskrétní úlohy - na otevřené problémy v extremální kombinatorice. Typický problém z extremální kombinatoriky se snaží (asymptoticky) optimalizovat přes určitou třídu diskretních struktur (např. všech grafů na n vrcholech), daný parametr (např. počet k-prvkových podmnožin vrcholů jež indukují cyklus délky k). Cílem teto práce je zjistit, zda výše zmíněné metody umožnují vyřešení některého z otevřených problémů extremální teorie grafů, hypergrafů nebo permutací. |
| naposledy změněno: | 03.05.2024 11:20:11 |
za obsah této stránky zodpovídá:
Pavel Strachota | naposledy změněno: 9.9.2021