Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy

被引：0

作者：

Frederiksen, Soren Kristoffer Stiil ^{[1
]}

Miltersen, Peter Bro ^{[1
]}

机构：

[1] Aarhus Univ, DK-8000 Aarhus C, Denmark

来源：

ALGORITHMS AND COMPUTATION | 2013年 / 8283卷

关键词：

EXISTENCE;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We show that the value of a finite-state concurrent reachability game can be approximated to arbitrary precision in TFNP[NP], that is, in the polynomial time hierarchy. Previously, no better bound than PSPACE was known for this problem. The proof is based on formulating a variant of the state reduction algorithm for Markov chains using arbitrary precision floating point arithmetic and giving a rigorous error analysis of the algorithm.

引用

页码：457 / 467

页数：11

共 50 条

[1] ON COLLAPSING THE POLYNOMIAL-TIME HIERARCHY
BOOK, RV
INFORMATION PROCESSING LETTERS, 1994, 52 (05) : 235 - 237
[2] Hierarchy theorems for probabilistic polynomial time
Fortnow, L
Santhanam, R
45TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2004, : 316 - 324
[3] The analytic polynomial-time hierarchy
Baier, H
Wagner, KW
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) : 529 - 544
[4] Methods for approximating value functions for the Dominion card game
Winder, Ransom K.
EVOLUTIONARY INTELLIGENCE, 2014, 6 (04) : 195 - 204
[5] THE POLYNOMIAL-TIME HIERARCHY COLLAPSES IF THE BOOLEAN HIERARCHY COLLAPSES
KADIN, J
SIAM JOURNAL ON COMPUTING, 1988, 17 (06) : 1263 - 1282
[6] A TIME-SPACE HIERARCHY BETWEEN POLYNOMIAL-TIME AND POLYNOMIAL SPACE
CLOTE, P
MATHEMATICAL SYSTEMS THEORY, 1992, 25 (02): : 77 - 92
[7] THE POLYNOMIAL-TIME HIERARCHY AND SPARSE ORACLES
BALCAZAR, JL
BOOK, RV
SCHONING, U
JOURNAL OF THE ACM, 1986, 33 (03) : 603 - 617
[8] ON COUNTING PROBLEMS AND THE POLYNOMIAL-TIME HIERARCHY
ANGLUIN, D
THEORETICAL COMPUTER SCIENCE, 1980, 12 (02) : 161 - 173
[9] PP IS AS HARD AS THE POLYNOMIAL-TIME HIERARCHY
TODA, S
SIAM JOURNAL ON COMPUTING, 1991, 20 (05) : 865 - 877
[10] Polynomial Time Turing Mitoticity and Arithmetical Hierarchy
Mokatsian, A. H.
PATTERN RECOGNITION AND IMAGE ANALYSIS, 2024, 34 (01) : 9 - 19

← 1 2 3 4 5 →