Sciweavers

Share
MFCS
2010
Springer

Parity Games with Partial Information Played on Graphs of Bounded Complexity

8 years 1 months ago
Parity Games with Partial Information Played on Graphs of Bounded Complexity
Abstract. We address the strategy problem for parity games with partial information and observable colors, played on finite graphs of bounded graph complexity. We consider several measures for the complexity of graphs and analyze in which cases, bounding the measure decreases the complexity of the strategy problem on the corresponding classes of graphs. We prove or disprove that the usual powerset construction for eliminating partial information preserves boundedness of the graph complexity. For the case where the partial information is unbounded we prove that the construction does not preserve boundedness of any measure we consider. We also prove that the strategy problem is Exptimehard on graphs with directed path-width at most 2 and Pspace-complete on acyclic graphs. For games with bounded partial information we obtain that the powerset construction, while neither preserving boundedness of entanglement nor of (undirected) tree-width, does preserve boundedness of directed path-width...
Bernd Puchala, Roman Rabinovich
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where MFCS
Authors Bernd Puchala, Roman Rabinovich
Comments (0)
books