A Multivariate Complexity Analysis of Qualitative Reasoning Problems

A Multivariate Complexity Analysis of Qualitative Reasoning Problems

Leif Eriksson, Victor Lagerkvist

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Main Track. Pages 1804-1810. https://doi.org/10.24963/ijcai.2022/251

Qualitative reasoning is an important subfield of artificial intelligence where one describes relationships with qualitative, rather than numerical, relations. Many such reasoning tasks, e.g., Allen's interval algebra, can be solved in 2^O(n*log n) time, but single-exponential running times 2^O(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 coarse-grained parameter k expected to be relatively small. We introduce the classes FPE and XE of problems solvable in f(k)*2^O(n), respectively f(k)^n, time, and prove several fundamental properties of these classes. We proceed by studying temporal reasoning problems and (1) show that the partially ordered time problem of effective width k is solvable in 16^{kn} time and is thus included in XE, and (2) that the network consistency problem for Allen's interval algebra with no interval overlapping with more than k others is solvable in (2nk)^{2k}*2^n time and is included in FPE. Our multivariate approach is in no way limited to these to specific problems and may be a generally useful approach for obtaining single-exponential algorithms.
Keywords:
Constraint Satisfaction and Optimization: Constraint Satisfaction