Dabrowski, KK orcid.org/0000-0001-9515-6945, Jonsson, P, Ordyniak, S orcid.org/0000-0003-1935-651X et al. (1 more author) (2020) Fine-grained complexity of temporal problems. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 12-18 Sep 2020, Rhodes, Greece. IJCAI Organization , pp. 284-293. ISBN 9781713825982
Abstract
Expressive temporal reasoning formalisms are essential for AI. One family of such formalisms consists of disjunctive extensions of the simple temporal problem (STP). Such extensions are well studied in the literature and they have many important applications.
It is known that deciding satisfiability of disjunctive STPs is NP-hard, while the fine-grained complexity of such problems is virtually unexplored. We present novel algorithms that exploit structural properties of the solution space and prove, assuming the Exponential-Time Hypothesis, that their worst-case time complexity is close to optimal. Among other things, we make progress towards resolving a long-open question concerning whether Allen's interval algebra can be solved in single-exponential time, by giving a 2^{O(nloglog(n))} algorithm for the special case of unit-length intervals.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2020 International Joint Conferences on Artificial Intelligence Organization. This is an author produced version of a conference paper published in Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Computational aspects of knowledge representation-General; Geometric spatial and temporal reasoning-General |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 21 May 2021 11:37 |
Last Modified: | 10 Feb 2022 01:21 |
Status: | Published |
Publisher: | IJCAI Organization |
Identification Number: | 10.24963/kr.2020/29 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:174378 |