Title:Linear-Time Algorithm for Update Games via Trap-Alternating-Strongly-Connected Components

Abstract:An arena is a finite directed graph whose vertices are divided into two classes, $V_{\square}$ and $V_{\ocircle}$; this forms the basic playground for a plethora of 2-players pebble games. We introduce and study a notion of connectivity for arenas, named \emph{trap-alternating-connectivity}, where Player~$\square$ attempts to reach vertices while Player~$\ocircle$ works against. It is shown that every arena decomposes into \emph{trap-alternating-strongly-connected components (ta-SCCs)}. Our main result is a linear time and space algorithm for computing this unique decomposition. Both the graph structures and the algorithm generalize the classical decomposition of a directed graph into its strongly-connected components (SCCs). The algorithm builds on a generalization of depth-first search (DFS), taking inspiration from Tarjan's SCC{s} classical algorithm. The structures of palm-trees and jungles described in Tarjan's original paper need to be revisited and generalized (\ie ta-palm-trees and ta-jungles) in order to handle the 2-players pebble-game's setting. This theory has direct applications in solving Update Games (UGs) faster. Dinneen and Khoussainov showed in 1999 that deciding who's the winner in a given UG costs $O(mn)$ time, where $n$ is the number of vertices and $m$ is the number of arcs. We solve that problem in $\Theta(m+n)$ linear time and space. The result is obtained by observing that the UG is a win for Player~$\square$ if and only if the arena comprises one single ta-SCC. It is also observed that the ta-palm-tree returned by the algorithm encodes routing information that an $\Theta(n)$-space agent can consult to win the UG in $O(1)$ time per move. Finally, the polynomial-time complexity for deciding Explicit McNaughton-Müller Games is also improved.