Show simple item record

dc.contributor.advisorSanguinetti, Guido
dc.contributor.advisorMayr, Richard
dc.contributor.advisorEtessami, Kousha
dc.contributor.authorStewart, Alistair Mark
dc.date.accessioned2015-03-13T14:36:16Z
dc.date.available2015-03-13T14:36:16Z
dc.date.issued2015-06-29
dc.identifier.urihttp://hdl.handle.net/1842/10001
dc.description.abstractSome well-studied infinite-state stochastic models give rise to systems of nonlinear equations. These systems of equations have solutions that are probabilities, generally probabilities of termination in the model. We are interested in finding efficient, preferably polynomial time, algorithms for calculating probabilities associated with these models. The chief tool we use to solve systems of polynomial equations will be Newton’s method as suggested by [EY09]. The main contribution of this thesis is to the analysis of this and related algorithms. We give polynomial-time algorithms for calculating probabilities for broad classes of models for which none were known before. Stochastic models that give rise to such systems of equations include such classic and heavily-studied models as Multi-type Branching Processes, Stochastic Context- Free Grammars(SCFGs) and Quasi Birth-Death Processes. We also consider models that give rise to infinite-state Markov Decision Processes (MDPs) by giving algorithms for approximating optimal probabilities and finding policies that give probabilities close to the optimal probability, in several classes of infinite-state MDPs. Our algorithms for analysing infinite-state MDPs rely on a non-trivial generalization of Newton’s method that works for the max/min polynomial systems that arise as Bellman optimality equations in these models. For SCFGs, which are used in statistical natural language processing, in addition to approximating termination probabilities, we analyse algorithms for approximating the probability that a grammar produces a given string, or produces a string in a given regular language. In most cases, we show that we can calculate an approximation to the relevant probability in time polynomial in the size of the model and the number of bits of desired precision. We also consider more general systems of monotone polynomial equations. For such systems we cannot give a polynomial-time algorithm, which pre-existing hardness results render unlikely, but we can still give an algorithm with a complexity upper bound which is exponential only in some parameters that are likely to be bounded for the monotone polynomial equations that arise for many interesting stochastic models.en
dc.contributor.sponsorEngineering and Physical Sciences Research Council (EPSRC)en
dc.language.isoenen
dc.publisherThe University of Edinburghen
dc.relation.hasversionKousha Etessami, Alistair Stewart, and Mihalis Yannakakis. Polynomial time algorithms for branching markov decision processes and probabilistic min(max) polynomial Bellman equations. ICALP, 2012. see full Arxiv version, http://arxiv.org/abs/1202.4798.en
dc.relation.hasversionKousha Etessami, Alistair Stewart, and Mihalis Yannakakis. Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars. STOC, 2012. see full Arxiv version, http://arxiv.org/abs/1201.2374.en
dc.relation.hasversionK. Etessami, A. Stewart, and M. Yannakakis. Stochastic context-free grammars, regular languages, and newton’s method. In Proc. 40th Int. Coll. on Automata, Languages, and Programming (ICALP’13), pages 199–211, 2013. see full Arxiv version, http://arxiv.org/abs/1302.6411.en
dc.relation.hasversionKousha Etessami, Alistair Stewart, and Mihalis Yannakakis. Upper bounds for Newton’s method on monotone polynomial systems, and Ptime model checking of probabilistic one-counter automata. CAV, 2013.en
dc.subjectNewton’s methoden
dc.subjectMarkov Decision Processesen
dc.subjectstatistical natural language processingen
dc.subjectmonotone polynomial equationsen
dc.titleEfficient algorithms for infinite-state recursive stochastic models and Newton’s methoden
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record