English

Parity Games of Bounded Tree-Depth

Computational Complexity 2022-11-08 v1

Abstract

The exact complexity of solving parity games is a major open problem. Several authors have searched for efficient algorithms over specific classes of graphs. In particular, Obdr\v{z}\'{a}lek showed that for graphs of bounded tree-width or clique-width, the problem is in P\mathrm{P}, which was later improved by Ganardi, who showed that it is even in LOGCFL\mathrm{LOGCFL} (with an additional assumption for clique-width case). Here we extend this line of research by showing that for graphs of bounded tree-depth the problem of solving parity games is in logspace uniform AC0\text{AC}^0. We achieve this by first considering a parameter that we obtain from a modification of clique-width, which we call shallow clique-width. We subsequently provide a suitable reduction.

Keywords

Cite

@article{arxiv.2211.02926,
  title  = {Parity Games of Bounded Tree-Depth},
  author = {Konrad Staniszewski},
  journal= {arXiv preprint arXiv:2211.02926},
  year   = {2022}
}

Comments

This is the full version of the paper that has been accepted at CSL 2023 and is going to be published in Leibniz International Proceedings in Informatics (LIPIcs)

R2 v1 2026-06-28T05:15:10.747Z