Backdoors to Tractable Valued CSP

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00093942" target="_blank" >RIV/00216224:14330/16:00093942 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-44953-1_16" target="_blank" >http://dx.doi.org/10.1007/978-3-319-44953-1_16</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-44953-1_16" target="_blank" >10.1007/978-3-319-44953-1_16</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Backdoors to Tractable Valued CSP

Popis výsledku v původním jazyce

We extend the notion of a strong backdoor from the CSP setting to the Valued CSP setting (VCSP, for short). This provides a means for augmenting a class of tractable VCSP instances to instances that are outside the class but of small distance to the class, where the distance is measured in terms of the size of a smallest backdoor. We establish that VCSP is fixed-parameter tractable when parameterized by the size of a smallest backdoor into every tractable class of VCSP instances characterized by a (possibly infinite) tractable valued constraint language of finite arity and finite domain. We further extend this fixed-parameter tractability result to so-called "scattered classes" of VCSP instances where each connected component may belong to a different tractable class.

Název v anglickém jazyce

Backdoors to Tractable Valued CSP

Popis výsledku anglicky

We extend the notion of a strong backdoor from the CSP setting to the Valued CSP setting (VCSP, for short). This provides a means for augmenting a class of tractable VCSP instances to instances that are outside the class but of small distance to the class, where the distance is measured in terms of the size of a smallest backdoor. We establish that VCSP is fixed-parameter tractable when parameterized by the size of a smallest backdoor into every tractable class of VCSP instances characterized by a (possibly infinite) tractable valued constraint language of finite arity and finite domain. We further extend this fixed-parameter tractability result to so-called "scattered classes" of VCSP instances where each connected component may belong to a different tractable class.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

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

PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016

ISBN

9783319449524

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

18

Strana od-do

233-250

Název nakladatele

SPRINGER INT PUBLISHING AG

Místo vydání

CHAM

Místo konání akce

Toulouse Business Sch, Toulouse, FRANCE

Datum konání akce

5. 9. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000389019700017