105 search results - page 1 / 21 » Linear Time Algorithm for Weak Parity Games |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
ICALP
1994
Springer
13 years 9 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
STOC
2000
ACM
13 years 9 months ago
2000
ACM
We describe a slightly subexponential time algorithm for learning parity functions in the presence of random classification noise, a problem closely related to several cryptograph...
FORMATS
2008
Springer
13 years 7 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...