Fearnley, John and Schewe, Sven - Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

lmcs:791 - Logical Methods in Computer Science, June 18, 2013, Volume 9, Issue 2
Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

Authors: Fearnley, John and Schewe, Sven

Parity games are a much researched class of games in NP intersect CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case where certain graph parameters are small. In this paper, we study parity games on graphs with bounded treewidth, and graphs with bounded DAG width. We show that parity games with bounded DAG width can be solved in O(n^(k+3) k^(k + 2) (d + 1)^(3k + 2)) time, where n, k, and d are the size, treewidth, and number of priorities in the parity game. This is an improvement over the previous best algorithm, given by Berwanger et al., which runs in n^O(k^2) time. We also show that, if a tree decomposition is provided, then parity games with bounded treewidth can be solved in O(n k^(k + 5) (d + 1)^(3k + 5)) time. This improves over previous best algorithm, given by Obdrzalek, which runs in O(n d^(2(k+1)^2)) time. Our techniques can also be adapted to show that the problem of solving parity games with bounded treewidth lies in the complexity class NC^2, which is the class of problems that can be efficiently parallelized. This is in stark contrast to the general parity game problem, which is known to be P-hard, and thus unlikely to be contained in NC.


Source : oai:arXiv.org:1112.0221
DOI : 10.2168/LMCS-9(2:6)2013
Volume: Volume 9, Issue 2
Published on: June 18, 2013
Submitted on: September 10, 2012
Keywords: Computer Science - Computer Science and Game Theory


Share

Consultation statistics

This page has been seen 53 times.
This article's PDF has been downloaded 60 times.