Upper Bounds on the Time Complexity of Temporal CSPs
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
The temporal constraint satisfaction problem (CSP) offers a formalized way to reason about in which order tasks should be accomplished. Using this we can model a wide set of specific problems from scheduling to AI. In this thesis we present two algorithms, Algorithm A and Algorithm B, to solve temporal CSPs focused on improving the worst case time complexity. The first algorithm solves temporal CSPs by an exhaustive search of all weak orderings. The time complexity is in , thus within a polynomial factor of the corresponding Ordered Bell Number. We also show that it can solve CSP in Allen’s algebra within a polynomial factor of the corresponding number of relations between intervals on a line, thus in time. The second algorithm also solves temporal CSPs but where the constraints have a bounded number of disjuncts. It will assume some order and then make a backtracking search guided by the constraints. In this case the time complexity will be in . Finally we will show that this also improves the time complexity of CSP in Allen’s to .
Place, publisher, year, edition, pages
2016. , 24 p.
IdentifiersURN: urn:nbn:se:liu:diva-129778ISRN: LIU-IDA/LITH-EX-A--16/022--SEOAI: oai:DiVA.org:liu-129778DiVA: diva2:943554
Subject / course
2016-06-09, 09:25 (Swedish)
Jonsson, Peter, Professor
Bäckström, Christer, Associate professor