We suggest a new randomized algorithm for solving parity games with worst case time complexity roughly where n is the number of vertices and k the number of colors of the game. This is comparable with the previously known algorithms when the number of colors is small. However, the subexponential bound is an advantage when the number of colors is large, k /2(nl/2+)
This paper presents a new lower bound for the recursive algorithm for solving parity games which is ...
Determining the winner of a Parity Game is a major problem in computational complexity with a number...
We consider parity games, a special form of two-player infinite-duration games on numerically labell...
We describe a randomized algorithm for Parity Games (equivalent to the Mu-Calculus Model Checking), ...
The existence of polynomial time algorithms for the solution of parity games is a major open problem...
We study parity games in which one of the two players controls only a small number k of nodes and th...
AbstractThe complexity of solving infinite games, including parity, mean payoff, and simple stochast...
Parity games are discrete infinite games of two players with complete information. There are two mai...
AbstractWe describe a randomized algorithm for the simple stochastic game problem that requires 2O(√...
This paper presents a new lower bound for the recursive algorithm for solving parity games which is ...
Determining the winner of a Parity Game is a major problem in computational complexity with a number...
We consider parity games, a special form of two-player infinite-duration games on numerically labell...
We describe a randomized algorithm for Parity Games (equivalent to the Mu-Calculus Model Checking), ...
The existence of polynomial time algorithms for the solution of parity games is a major open problem...
We study parity games in which one of the two players controls only a small number k of nodes and th...
AbstractThe complexity of solving infinite games, including parity, mean payoff, and simple stochast...
Parity games are discrete infinite games of two players with complete information. There are two mai...
AbstractWe describe a randomized algorithm for the simple stochastic game problem that requires 2O(√...
This paper presents a new lower bound for the recursive algorithm for solving parity games which is ...
Determining the winner of a Parity Game is a major problem in computational complexity with a number...
We consider parity games, a special form of two-player infinite-duration games on numerically labell...