On the Computational Complexity of the Domination Game

The domination game is played on an arbitrary graph G by two players, Dominator and Staller. It is known that verifying whether the game domination number of a graph is bounded by a given integer k is PSPACE-complete. On the other hand, it is showed in this paper that the problem can be solved for a graph G inO(( G)j V (G)j k ) time. In the special case when k = 3 and the graph G considered has maximum diameter, the complexity is improved toO(jV (G)j j E(G)j + ( G) 3 ).