Logical Methods in Computer Science (Oct 2011)

An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms

  • Oliver Friedmann

DOI
https://doi.org/10.2168/LMCS-7(3:23)2011
Journal volume & issue
Vol. Volume 7, Issue 3

Abstract

Read online

This paper presents a new exponential lower bound for the two most popular deterministic variants of the strategy improvement algorithms for solving parity, mean payoff, discounted payoff and simple stochastic games. The first variant improves every node in each step maximizing the current valuation locally, whereas the second variant computes the globally optimal improvement in each step. We outline families of games on which both variants require exponentially many strategy iterations.

Keywords