|
|
Generování grafů
Mohelníková, Lucie ; Dvořák, Zdeněk (vedoucí práce) ; Jelínek, Vít (oponent)
Název práce: Generování grafů Autor: Lucie Mohelníková Katedra: Katedra aplikované matematiky Vedoucí bakalářské práce: Mgr. Zdeněk Dvořák,Ph.D., Informatický ústav Univerzity Karlovy Abstrakt: Zabýváme se generováním grafů z vybraných tříd, zejména pak grafů nakreslených na plochách. Zaměřujeme se na metodu generování za pomoci dekontrakcí vrcholů, pro níž je zásádní identifikace počátečních (ireducibilních) grafů. Uvádíme přehled výsledků o ireducibilních triangulacích a kvadrangulacích různých ploch, zejména pak nízkého rodu (rovina, projektivní rovina, Kleinova láhev). Hlavním přínosem této práce je identifikace 21 ireducibilních triangulací toru, čímž dokazujeme výsledek Lawrencenka bez použití výpočetní techniky. Klíčová slova: ireducibilní, triangulace, torus
|
|
|
Editor matematických výrazů
Holaň, David ; Jelínek, Vít (vedoucí práce) ; Lidický, Bernard (oponent)
V předložené práci studujeme návrh a implementaci "MaEd for LATEX", přenositelného programu s grafi ckým uživatelským rozhraním. Program je určen na vytváření a upravu LATEXových vzorců. Program je navržen tak aby začátečník mohl vytvořit i složité vzorce bez znalosti LATEXového zdrojového kódu. Uživatel také může importovat vlastní zdrojový kód, přičemž program zbytečně nemění importovaný kód, například odstraněním komentářů, nebo odražení. Návrh popisuje, jak bylo navrženo uživatelské rozhraní programu. LATEXové příkazy dostupné k vytváření matematických vzorců jsou popsány i s jejich syntaxí a úrovní podpory v programu. Práce dále analyzuje strukturu souboru LATEXového zdrojového kódu.
|
|
| |
|
|
Extremal combinatorics of matrices, sequences and sets of permutations
Cibulka, Josef ; Valtr, Pavel (vedoucí práce) ; Füredi, Zoltán (oponent) ; Jelínek, Vít (oponent)
Název práce: Extremální kombinatorika matic, posloupností a množin permutací Autor: Josef Cibulka Katedra: Katedra aplikované matematiky Vedoucí disertační práce: Doc. RNDr. Pavel Valtr, Dr., Katedra aplikované ma- tematiky Abstrakt: V této práci se zabýváme oblastmi extremální teorie {0, 1}-matic, posloupností a množin permutací, které mají četná využití v oblasti kombina- torické a výpočetní geometrie. VC-dimenze množiny n-prvkových permutací P je největší celé číslo k takové, že množina zúžení permutací z P na některou k-tici pozic je množina všech k-prvkových permutací. Projdeme všemi třemi zmíněnými oblastmi extremální kombinatoriky, abychom dokázali horní a dolní meze, rostoucí kvaziexponenciálně v n, na maximální možnou velikost množiny n- permutací s VC-dimenzí shora omezenou konstantou. Tento výsledek využívá ve svém článku Jan Kynčl k výraznému snížení horního odhadu na počet tříd slabého izomorfismu úplného topologického grafu na n vrcholech. Dále pro některé, ze- jména permutační, matice M dokážeme nové meze na počet jedniček v M-prosté {0, 1}-matici velikosti n × n. Například pro každé k zkonstruujeme matici s k2 n/2 jedničkami prostou jedné konkrétní permutační matice velikosti k ×...
|
|
| |
|
|
Intersection representations of graphs
Töpfer, Martin ; Jelínek, Vít (vedoucí práce) ; Pangrác, Ondřej (oponent)
V této diplomové práci zkoumáme podtřídy vnějškových (outer) a uzem- něných (grounded) string grafů. Stringem rozumíme omezenou spojitou křivku v rovině. Průniková reprezentace grafu pomocí stringů je množina stringů, kde každý string odpo- vídá jednomu vrcholu z původního grafu. Dva stringy se protínají právě tehdy, když mezi jejich odpovídajícími vrcholy vedla v původním grafu hrana. Graf je vnějškový string graf, pokud existuje jeho reprezentace, kde jsou všechny stringy uvnitř disku a každý string má jeden ze svých konců na hranici disku. Obdobně je graf uzemněný string graf, pokud existuje jeho reprezentace, ve které má každý string jeden svůj konec na společné přímce a zbytky všech stringů jsou na stejné straně od hraniční přímky. V diplomové práci uvádíme přehled tříd string grafů a dokazujeme několik tvrzení ohledně vzájemné inkluze těchto tříd. K tomu nám slouží lemma, díky kterému umíme předepisovat u vnějško- vých a uzemněných grafů pořadí, v jakém se vyskytují na hraniční přímce (resp. hraniční kružnici) konce jednotlivých stringů. V druhé části práce dokazujeme, že rozpoznávání vnějškových string grafů je NP-těžké. 1
|
|
|
Partial representation extension for subclasses of interval graphs
Onduš, Daniel ; Kratochvíl, Jan (vedoucí práce) ; Jelínek, Vít (oponent)
Problém rozširovania čiastočných reprezentácii pre intervalové grafy rozhoduje, či je možné reprezentáciu niekoľkých vrcholov rozšíriť na reprezentáciu celého grafu. V tejto práci nadviažeme na výsledok Klavíka a kol., ktorí dokázali, že REPEXT je pre triedy vlastných a jednotkových intervalových grafov rozhodnuteľný v po- lynomiálnom čase. Popíšeme vlastnosti PI± a U± grafov a ich reprezentácií, a predstavíme algorit- mus rozhodujúci REPEXT pre tieto triedy v polynomiálnom čase. V priebehu práce charakterizujeme vzťahy medzi indukovanými K1,3 v grafe a ukážeme že pre každý K1,3 vieme vybrať otvorený vrchol. Tiež definujeme pojmy reprezentácií rovnakých typov zoradenia a lokálne podobných reprezentácií ako aj vynútené a lokálne vynútené uzavreté (otvorené) intervaly. Tieto pojmy sú kľú- čové pri rozširovaní čiastočných reprezentácií tried intervalových grafov, ktoré pri- púšťajú rôzne typy intervalov v jednej reprezentácii. Charakterizujeme vynútené a lokálne vynútené uzavreté intervaly pre U± grafy použitím celočíselných me- dzier v predreprezentácii a skonštruujeme spodné odhady pre najpravejšie konce komponentov v polynomiálnom čase.
|
|
| |
|
|
Matice bez zakázaných intervalových minorů
Surma, David ; Jelínek, Vít (vedoucí práce) ; Klazar, Martin (oponent)
V práci zkoumáme strukturu binárních matic, které neobsahují vzor P jako intervalový minor. Zabýváme se rovněž maticemi kritickými pro P, tedy maticemi neobsahujícími P, které po změně libovolného 0-prvku na 1-prvek zakázaný vzor P obsahují. Nejprve popi- sujeme matice kritické pro libovolný jednořádkový vzor. Dále se zabýváme všemi vzory o dvou řádcích a třech sloupcích, které obsahují nejvýše čtyři 1-prvky. Nakonec charak- terizujeme matice kritické pro střídavý vzor o rozměrech 2 × 4. 1
|
|
|
Algorithmic aspects of intersection representations
Chmel, Petr ; Jelínek, Vít (vedoucí práce) ; Kratochvíl, Jan (oponent)
Jelikož některé problémy jsou v obecném případě (NP-)těžké, jedním z možných pří- stupů je řešení těchto problémů na omezené třídě grafů. V této práci se zaměřujeme na grafy indukované osově zarovnanými L-tvary, tzv. L-grafy, a podobnou třídu osově zarovnaných L-tvarů a L-tvarů, tzv. {L, L}-grafy, přičemž dva vrcholy jsou spojeny hra- nou, právě když se jejich křivky protínají. Dokazujeme, že rozpoznávání jak L-grafů, tak {L, L}-grafů je NP-úplné. V druhé části práce se zaměřujeme na další obvyklé rozhodovací problémy na L-grafech a příbuzných třídách: nalezení klikovosti, 3-obarvení či nezávislosti grafu.
|
host ::
RSS.