Detailed Information on Publication Record
2016
The Complexity Landscape of Decompositional Parameters for ILP
GANIAN, Robert and Sebastian ORDYNIAKBasic information
Original name
The Complexity Landscape of Decompositional Parameters for ILP
Authors
GANIAN, Robert (203 Czech Republic, guarantor, belonging to the institution) and Sebastian ORDYNIAK (276 Germany)
Edition
USA, Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, p. 710-716, 7 pp. 2016
Publisher
AAAI Press
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
References:
RIV identification code
RIV/00216224:14330/16:00093940
Organization unit
Faculty of Informatics
ISBN
978-1-57735-760-5
Keywords in English
ILP; treewidth
Tags
International impact, Reviewed
Změněno: 12/5/2020 19:53, RNDr. Pavel Šmerk, Ph.D.
Abstract
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.