MSOL Restricted Contractibility to Planar Graphs

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10131340" target="_blank" >RIV/00216208:11320/12:10131340 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-33293-7_19" target="_blank" >http://dx.doi.org/10.1007/978-3-642-33293-7_19</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-33293-7_19" target="_blank" >10.1007/978-3-642-33293-7_19</a>

Jazyk výsledku

angličtina

Název v původním jazyce

MSOL Restricted Contractibility to Planar Graphs

Popis výsledku v původním jazyce

We study the computational complexity of graph planarization via edge contraction. The problem Contract asks whether there exists a set S of at most k edges that when contracted produces a planar graph. We give an FPT algorithm in time $mathcal{O}(n^2 f(k))$ which solves a more general problem P-RestrictedContract in which S has to satisfy in addition a fixed inclusion-closed MSOL formula P. For different formulas P we get different problems. As a specific example, we study the ?-subgraph contractability problem in which edges of a set S are required to form disjoint connected subgraphs of size at most ?. This problem can be solved in time $mathcal{O}(n^2 f'(k,l))$ using the general algorithm. We also show that for ? greater than 1 the problem is NP-complete. And it remains NP-complete when generalized for a fixed genus (instead of planar graphs).

Název v anglickém jazyce

MSOL Restricted Contractibility to Planar Graphs

Popis výsledku anglicky

We study the computational complexity of graph planarization via edge contraction. The problem Contract asks whether there exists a set S of at most k edges that when contracted produces a planar graph. We give an FPT algorithm in time $mathcal{O}(n^2 f(k))$ which solves a more general problem P-RestrictedContract in which S has to satisfy in addition a fixed inclusion-closed MSOL formula P. For different formulas P we get different problems. As a specific example, we study the ?-subgraph contractability problem in which edges of a set S are required to form disjoint connected subgraphs of size at most ?. This problem can be solved in time $mathcal{O}(n^2 f'(k,l))$ using the general algorithm. We also show that for ? greater than 1 the problem is NP-complete. And it remains NP-complete when generalized for a fixed genus (instead of planar graphs).

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GEGIG%2F11%2FE023" target="_blank" >GEGIG/11/E023: Kreslení grafů a jejich geometrické reprezentace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Lecture Notes in Computer Science

ISSN

0302-9743

e-ISSN

—

Svazek periodika

7535

Číslo periodika v rámci svazku

Fall

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

12

Strana od-do

194-205

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—