EIBEN, Eduard, Robert GANIAN, Dusan KNOP a Sebastian ORDYNIAK. Unary Integer Linear Programming with Structural Restrictions. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. USA: ijcai.org, 2018, s. 1284-1290. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/179.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Unary Integer Linear Programming with Structural Restrictions
Autoři EIBEN, Eduard (703 Slovensko), Robert GANIAN (203 Česká republika, garant, domácí), Dusan KNOP (203 Česká republika) a Sebastian ORDYNIAK (276 Německo).
Vydání USA, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, od s. 1284-1290, 7 s. 2018.
Nakladatel ijcai.org
Další údaje
Originální 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"
Kód RIV RIV/00216224:14330/18:00106814
Organizační jednotka Fakulta informatiky
ISBN 978-0-9992411-2-7
ISSN 1045-0823
Doi http://dx.doi.org/10.24963/ijcai.2018/179
UT WoS 000764175401059
Klíčová slova anglicky Integer Linear Programming; Classical Complexity
Štítky core_A, firank_1
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 5. 2022 10:34.
Anotace
Recently a number of algorithmic results have appeared which show the tractability of Integer Linear Programming (ILP) instances under strong restrictions on variable domains and/or coefficients (AAAI 2016, AAAI 2017, IJCAI 2017). In this paper, we target ILPs where neither the variable domains nor the coefficients are restricted by a fixed constant or parameter; instead, we only require that our instances can be encoded in unary. We provide new algorithms and lower bounds for such ILPs by exploiting the structure of their variable interactions, represented as a graph. Our first set of results focuses on solving ILP instances through the use of a graph parameter called clique-width, which can be seen as an extension of treewidth which also captures well-structured dense graphs. In particular, we obtain a polynomial-time algorithm for instances of bounded clique-width whose domain and coefficients are polynomially bounded by the input size, and we complement this positive result by a number of algorithmic lower bounds. Afterwards, we turn our attention to ILPs with acyclic variable interactions. In this setting, we obtain a complexity map for the problem with respect to the graph representation used and restrictions on the encoding.
VytisknoutZobrazeno: 26. 4. 2024 05:22