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 $\mathrm{P}$, which was later improved by Ganardi, who showed that it is even in $\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 $\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.
翻译:解决平价游戏的精确复杂性是一个尚未解决的重大问题。 几位作者在特定的图表类别中搜索了高效算法。 特别是, Obdr\ v{z{{{{{{{{{{{{a}lek 显示,对于捆绑树边或crique-width的图表,问题在于$\ mathrm}{P}$, 后来Ganardi改进了这个问题, Ganardi显示甚至以$/ mathrm{LogCFL} $( 对crique-width 案例的附加假设 ) 。 我们在此扩展了这一研究线, 显示对捆绑树深度的图表来说, 解决平价游戏的问题在对正数统一 $\ text{AC}0 中。 我们首先考虑一个参数, 我们从微盘- width的修改中获取的参数, 我们称之为浅色线。 我们随后提供了合适的减少值 。