D 2016

The Complexity Landscape of Decompositional Parameters for ILP

GANIAN, Robert a Sebastian ORDYNIAK

Základní údaje

Originální název

The Complexity Landscape of Decompositional Parameters for ILP

Autoři

GANIAN, Robert (203 Česká republika, garant, domácí) a Sebastian ORDYNIAK (276 Německo)

Vydání

USA, Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, od s. 710-716, 7 s. 2016

Nakladatel

AAAI Press

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Kód RIV

RIV/00216224:14330/16:00093940

Organizační jednotka

Fakulta informatiky

ISBN

978-1-57735-760-5

Klíčová slova anglicky

ILP; treewidth

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 5. 2020 19:53, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Integer Linear Programming (ILP) can be seen as the archetypical problem for NP-complete optimization problems, and a wide range of problems in artificial intelligence are solved in practice via a translation to ILP. Despite its huge range of applications, only few tractable fragments of ILP are known, probably the most prominent of which is based on the notion of total unimodularity. Using entirely different techniques, we identify new tractable fragments of ILP by studying structural parameterizations of the constraint matrix within the framework of parameterized complexity. In particular, we show that ILP is fixed-parameter tractable when parameterized by the treedepth of the constraint matrix and the maximum absolute value of any coefficient occurring in the ILP instance. Together with matching hardness results for the more general parameter treewidth, we draw a detailed complexity landscape of ILP w.r.t. decompositional parameters defined on the constraint matrix.