A Multivariate Complexity Analysis of Qualitative Reasoning Problems
2022 (English)In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22) / [ed] Luc De Raedt, International Joint Conferences on Artificial Intelligence , 2022, p. 1804-1810Conference paper, Published paper (Refereed)
Abstract [en]
Qualitative reasoning is an important subfeld ofartifcial intelligence where one describes relationships with qualitative, rather than numerical, relations. Many such reasoning tasks, e.g., ALLEN’SINTERVAL ALGEBRA, can be solved in 2O(n·log n) time, but single-exponential running times 2O(n) are currently far out of reach. In this paper we consider single-exponential algorithms via a multivariate analysis consisting of a fine-grained parameter n (e.g., the number of variables) and a coarsegrained parameter k expected to be relatively small.We introduce the classes FPE and XE of problems solvable in f(k) · 2O(n), respectively f(k)n,time, and prove several fundamental properties ofthese classes. We proceed by studying temporal reasoning problems and (1) show that the PARTIALLYORDERED TIME problem of effective width k is solvable in 16kn time and is thus included in XE, and (2) that the network consistency problem for ALLEN’S INTERVAL ALGEBRA with no intervaloverlapping with more than k others is solvable in (2nk)2k· 2n time and is included in FPE. Our multivariate approach is in no way limited to these tospecifc problems and may be a generally useful approach for obtaining single-exponential algorithms.
Place, publisher, year, edition, pages
International Joint Conferences on Artificial Intelligence , 2022. p. 1804-1810
Series
Proceedings of the International Joint Conference on Artificial Intelligence, ISSN 1045-0823
Keywords [en]
Constraint Satisfaction and Optimization: Constraint Satisfaction
National Category
Computer Sciences Computational Mathematics
Identifiers
URN: urn:nbn:se:liu:diva-198450DOI: 10.24963/ijcai.2022/251Scopus ID: 2-s2.0-85137850976ISBN: 9781956792003 (electronic)OAI: oai:DiVA.org:liu-198450DiVA, id: diva2:1804538
Conference
International Joint Conference on Artificial Intelligence, Messe Wien, Vienna, Austria, July 23-29, 2022
2023-10-132023-10-132024-09-23Bibliographically approved