@Article{         EtessamiStewartYannakakis,
  Author        = "Etessami, Kousha and Stewart, Alistair and Yannakakis, Mihalis",
  Abstract      = "We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic max(min) polynomial equations, referred to as maxPPSs (and minPPSs, respectively), in time polynomial in both the encoding size of the system of equations and in log(1/epsilon), where epsilon > 0 is the desired additive error bound of the solution. (The model of computation is the standard Turing machine model.) We establish this result using a generalization of Newton's method which applies to maxPPSs and minPPSs, even though the underlying functions are only piecewise-differentiable. This generalizes our recent work which provided a P-time algorithm for purely probabilistic PPSs.",
  date-added    = "2012-04-25 19:07:32 +0200",
  date-modified = "2012-04-25 17:07:58 +0000",
  EPrint        = "1202.4798v2",
  Keywords      = "stochastic games",
  Month         = "02",
  Title         = "Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations",
  URL           = "http://arxiv.org/abs/1202.4798v2",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1202.4798v2",
  File          = "Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations - Etessami, Stewart, Yannakakis (0) (0) (0) (0) - a - a - z.pdf"
}

@Article{ EtessamiStewartYannakakis, Author = "Etessami, Kousha and Stewart, Alistair and Yannakakis, Mihalis", Abstract = "We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic max(min) polynomial equations, referred to as maxPPSs (and minPPSs, respectively), in time polynomial in both the encoding size of the system of equations and in log(1/epsilon), where epsilon > 0 is the desired additive error bound of the solution. (The model of computation is the standard Turing machine model.) We establish this result using a generalization of Newton's method which applies to maxPPSs and minPPSs, even though the underlying functions are only piecewise-differentiable. This generalizes our recent work which provided a P-time algorithm for purely probabilistic PPSs.", date-added = "2012-04-25 19:07:32 +0200", date-modified = "2012-04-25 17:07:58 +0000", EPrint = "1202.4798v2", Keywords = "stochastic games", Month = "02", Title = "Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations", URL = "http://arxiv.org/abs/1202.4798v2", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1202.4798v2", File = "Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations - Etessami, Stewart, Yannakakis (0) (0) (0) (0) - a - a - z.pdf" }