dc.contributor.advisor | Jelínek, Vít | |
dc.creator | Opler, Michal | |
dc.date.accessioned | 2023-03-22T09:43:33Z | |
dc.date.available | 2023-03-22T09:43:33Z | |
dc.date.issued | 2022 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/179844 | |
dc.description.abstract | V této práci studujeme vztah mezi strukturou dědičných permutačních tříd a výpo- četní složitostí různých rozhodovacích problémů. Nejdříve zkoumáme strukturu permu- tačních tříd z pohledu několika různých parametrů, zejména stromové šířky. Definujeme nové vlastnosti obecné permutační třídy C, z nichž nejdůležitější je vlastnost dlouhé cesty. Z těchto vlastností pak odvodíme různé dolní odhady na to jakou největší stromovou šířku může mít permutace délky n z třídy C. Například dokážeme, že libovolná třída s vlastností dlouhé cesty má stromovou šířku neomezenou. Hlavní rozhodovací problém, kterým se zabýváme, je znám jako Permutation Pat- tern Matching (PPM). Vstupem pro problém PPM je dvojice permutací τ (text) a π (vzor), a cílem je rozhodnout jestli τ obsahuje π jako podpermutaci. Nejdříve zběžně uvažujeme problém PPM ve své obecné verzi, a poté se zaměříme na jeho variantu C- Pattern PPM, kde navíc požadujeme, aby vzor π pocházel z pevně dané třídy C. Za předpokladu různých strukturálních vlastností třídy C pak odvodíme jak klasické tak pa- rametrizované těžkostní výsledky. Například ukážeme, že problém C-Pattern PPM je NP-úplný kdykoliv třída C má vlastnost dlouhé cesty. Dále se zaměříme na ještě více omezenou variantu problému PPM, ve které požadu- jeme, aby i text pocházel z pevně dané třídy C. Tento... | cs_CZ |
dc.description.abstract | In this thesis, we study the relationship between the structure of permutation classes and the computational complexity of different decision problems. First, we explore the structure of permutation classes through the lens of various parameters, with a particular interest in tree-width. We define novel structural properties of a general permutation class C, the most notable being the long path property. Using these properties, we infer lower bounds on the maximum tree-width attained by a permutation of length n in C. For example, we prove that any class with the long path property has unbounded tree-width. The main decision problem we consider is known as Permutation Pattern Match- ing (PPM). The input of PPM consists of a pair of permutations τ (the 'text') and π (the 'pattern'), and the goal is to decide whether τ contains π as a subpermutation. Af- ter briefly considering general PPM, we focus on its pattern-restricted variant known as C-Pattern PPM where we additionally require that the pattern π comes from a fixed class C. We derive both classical and parameterized hardness results assuming different structural properties of C. For example, we show that C-Pattern PPM is NP-complete whenever C has the long path property. Furthermore, we focus on an even more restricted variant of PPM where the text is... | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.subject | permutations|pattern matching|monadic second-order logic|grid classes|generalized coloring | en_US |
dc.subject | permutace|hledání vzorů|monadická logika druhého řádu|gridové třídy|zobecněné barvení | cs_CZ |
dc.title | Structural and Algorithmic Properties of Permutation Classes | en_US |
dc.type | dizertační práce | cs_CZ |
dcterms.created | 2022 | |
dcterms.dateAccepted | 2022-10-27 | |
dc.description.department | Informatický ústav Univerzity Karlovy | cs_CZ |
dc.description.department | Computer Science Institute of Charles University | en_US |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.identifier.repId | 190188 | |
dc.title.translated | Strukturální a algoritmické vlastnosti permutačních tříd | cs_CZ |
dc.contributor.referee | Kozma, László | |
dc.contributor.referee | Bouvel, Mathilde | |
thesis.degree.name | Ph.D. | |
thesis.degree.level | doktorské | cs_CZ |
thesis.degree.discipline | Informatika - teorie, diskrétní modely a optimalizace | cs_CZ |
thesis.degree.discipline | Computer Science - Theory of Computing, Discrete Models and Optimization | en_US |
thesis.degree.program | Informatika - teorie, diskrétní modely a optimalizace | cs_CZ |
thesis.degree.program | Computer Science - Theory of Computing, Discrete Models and Optimization | en_US |
uk.thesis.type | dizertační práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Informatický ústav Univerzity Karlovy | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Computer Science Institute of Charles University | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Informatika - teorie, diskrétní modely a optimalizace | cs_CZ |
uk.degree-discipline.en | Computer Science - Theory of Computing, Discrete Models and Optimization | en_US |
uk.degree-program.cs | Informatika - teorie, diskrétní modely a optimalizace | cs_CZ |
uk.degree-program.en | Computer Science - Theory of Computing, Discrete Models and Optimization | en_US |
thesis.grade.cs | Prospěl/a | cs_CZ |
thesis.grade.en | Pass | en_US |
uk.abstract.cs | V této práci studujeme vztah mezi strukturou dědičných permutačních tříd a výpo- četní složitostí různých rozhodovacích problémů. Nejdříve zkoumáme strukturu permu- tačních tříd z pohledu několika různých parametrů, zejména stromové šířky. Definujeme nové vlastnosti obecné permutační třídy C, z nichž nejdůležitější je vlastnost dlouhé cesty. Z těchto vlastností pak odvodíme různé dolní odhady na to jakou největší stromovou šířku může mít permutace délky n z třídy C. Například dokážeme, že libovolná třída s vlastností dlouhé cesty má stromovou šířku neomezenou. Hlavní rozhodovací problém, kterým se zabýváme, je znám jako Permutation Pat- tern Matching (PPM). Vstupem pro problém PPM je dvojice permutací τ (text) a π (vzor), a cílem je rozhodnout jestli τ obsahuje π jako podpermutaci. Nejdříve zběžně uvažujeme problém PPM ve své obecné verzi, a poté se zaměříme na jeho variantu C- Pattern PPM, kde navíc požadujeme, aby vzor π pocházel z pevně dané třídy C. Za předpokladu různých strukturálních vlastností třídy C pak odvodíme jak klasické tak pa- rametrizované těžkostní výsledky. Například ukážeme, že problém C-Pattern PPM je NP-úplný kdykoliv třída C má vlastnost dlouhé cesty. Dále se zaměříme na ještě více omezenou variantu problému PPM, ve které požadu- jeme, aby i text pocházel z pevně dané třídy C. Tento... | cs_CZ |
uk.abstract.en | In this thesis, we study the relationship between the structure of permutation classes and the computational complexity of different decision problems. First, we explore the structure of permutation classes through the lens of various parameters, with a particular interest in tree-width. We define novel structural properties of a general permutation class C, the most notable being the long path property. Using these properties, we infer lower bounds on the maximum tree-width attained by a permutation of length n in C. For example, we prove that any class with the long path property has unbounded tree-width. The main decision problem we consider is known as Permutation Pattern Match- ing (PPM). The input of PPM consists of a pair of permutations τ (the 'text') and π (the 'pattern'), and the goal is to decide whether τ contains π as a subpermutation. Af- ter briefly considering general PPM, we focus on its pattern-restricted variant known as C-Pattern PPM where we additionally require that the pattern π comes from a fixed class C. We derive both classical and parameterized hardness results assuming different structural properties of C. For example, we show that C-Pattern PPM is NP-complete whenever C has the long path property. Furthermore, we focus on an even more restricted variant of PPM where the text is... | en_US |
uk.file-availability | V | |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Informatický ústav Univerzity Karlovy | cs_CZ |
thesis.grade.code | P | |
uk.publication-place | Praha | cs_CZ |
uk.thesis.defenceStatus | O | |