Clique-Width of Point Configurations

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00114292" target="_blank" >RIV/00216224:14330/20:00114292 - isvavai.cz</a>

Výsledek na webu

<a href="https://arxiv.org/abs/2004.02282" target="_blank" >https://arxiv.org/abs/2004.02282</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-60440-0_5" target="_blank" >10.1007/978-3-030-60440-0_5</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Clique-Width of Point Configurations

Popis výsledku v původním jazyce

While structural width parameters (of the input) belong to the standard toolbox of graph algorithms, it is not the usual case in computational geometry. As a case study we propose a natural extension of the structural graph parameter of clique-width to geometric point configurations represented by their order type. We study basic properties of this clique-width notion, and relate it to the monadic second-order logic of point configurations. As an application, we provide several linear FPT time algorithms for geometric point problems which are NP-hard in general, in the special case that the input point set is of bounded clique-width and the clique-width expression is also given.

Název v anglickém jazyce

Clique-Width of Point Configurations

Popis výsledku anglicky

While structural width parameters (of the input) belong to the standard toolbox of graph algorithms, it is not the usual case in computational geometry. As a case study we propose a natural extension of the structural graph parameter of clique-width to geometric point configurations represented by their order type. We study basic properties of this clique-width notion, and relate it to the monadic second-order logic of point configurations. As an application, we provide several linear FPT time algorithms for geometric point problems which are NP-hard in general, in the special case that the input point set is of bounded clique-width and the clique-width expression is also given.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA20-04567S" target="_blank" >GA20-04567S: Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2020

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 statě ve sborníku

Graph-Theoretic Concepts in Computer Science, WG 2020

ISBN

9783030604394

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

13

Strana od-do

54-66

Název nakladatele

Springer, Lecture Notes in Computer Science

Místo vydání

Cham

Místo konání akce

Leeds, UK

Datum konání akce

24. 6. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—