The complexity of constrained graph drawing
| Thesis title in Czech: | Složitost kreslení grafů s omezeními |
|---|---|
| Thesis title in English: | The complexity of constrained graph drawing |
| Key words: | rovinné grafy, částečně vnořené grafy, omezená rovinnost, výpočetní složitost |
| English key words: | planar graphs, partially embedded graphs, constrained planarity, computational complexity |
| Academic year of topic announcement: | 2018/2019 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Computer Science Institute of Charles University (32-IUUK) |
| Supervisor: | doc. RNDr. Vít Jelínek, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 26.11.2018 |
| Date of assignment: | 26.11.2018 |
| Confirmed by Study dept. on: | 30.11.2018 |
| Date and time of defence: | 10.06.2019 09:00 |
| Date of electronic submission: | 07.05.2019 |
| Date of submission of printed version: | 10.05.2019 |
| Date of proceeded defence: | 10.06.2019 |
| Opponents: | RNDr. Jiří Fink, Ph.D. |
| Guidelines |
| Řešitel se seznámí s aktuálními výsledky týkajícími se složitosti různých variant problému rovinného kreslení grafů s omezujícími podmínkami, jako jsou třeba problém částečně vnořené rovinnosti a jeho různá zobecnění. Poté se řešitel pokusí navrhnout vhodnou kombinatorickou abstrakci těchto problémů a prozkoumat s využitím této abstrakce hranici mezi jejich polynomiálními a NP-těžkými variantami. Předpokladem pro úspěšné řešení je jednak zvládnutí netriviálních algoritmických technik pro práci s rovinnými nakresleními (SPQR stromy, PQ stromy apod.) a jednak obeznámenost s těžkostními redukcemi využívajícími NP-úplnost některých rovinných verzí problému splnitelnosti. |
| References |
| P. Angelini, G. Di Battista, F. Frati, V. Jelínek, J. Kratochvíl, M. Patrignani, I. Rutter: Testing Planarity of Partially Embedded Graphs, ACM Transactions on Algorithms, 11(4) (2015), Article No. 32, 1-42.
C. Gutwenger, P. Mutzel: A Linear Time Implementation of SPQR-Trees, Graph Drawing, volume 1984 of LNCS (2000), pages 77-90. D. Lichtenstein: Planar Formulae and Their Uses, SIAM Journal on Computing, 11(2) (1982), 329-343. Další časopisecká literatura dle pokynů vedoucího. |