Maximální jazyky omezení s nekonečně hodnotami

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00004109" target="_blank" >RIV/00216208:11320/07:00004109 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Maximal Infinite-Valued Constraint Languages

Popis výsledku v původním jazyce

We systematically investigate the computational complexity of constraint satisfaction problems for constraint languages over an infinite domain. In particular, we study a generalization of the well-established notion of maximal constraint languages fromfinite to infinite domains. If the constraint language can be defined with an omega-categorical structure, then maximal constraint languages are in one-to-one correspondence to minimal oligomorphic clones. Based on this correspondence, we derive generaltractability and hardness criteria for the corresponding constraint satisfaction problems.

Název v anglickém jazyce

Maximal Infinite-Valued Constraint Languages

Popis výsledku anglicky

We systematically investigate the computational complexity of constraint satisfaction problems for constraint languages over an infinite domain. In particular, we study a generalization of the well-established notion of maximal constraint languages fromfinite to infinite domains. If the constraint language can be defined with an omega-categorical structure, then maximal constraint languages are in one-to-one correspondence to minimal oligomorphic clones. Based on this correspondence, we derive generaltractability and hardness criteria for the corresponding constraint satisfaction problems.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2007

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

Automata, languages and programming : 34th international colloquium, ICALP 2007

ISBN

3-540-73419-8

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

546-557

Název nakladatele

Springer Verlag

Místo vydání

Berlin

Místo konání akce

Berlin

Datum konání akce

1. 1. 2007

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

WRD - Celosvětová akce

Kód UT WoS článku

—