Hierarchy theorems for probabilistic polynomial time

被引:31
作者
Fortnow, L [1 ]
Santhanam, R [1 ]
机构
[1] Univ Chicago, Dept Comp Sci, Chicago, IL 60637 USA
来源
45TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2004年
关键词
D O I
10.1109/FOCS.2004.33
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We show a hierarchy for probabilistic time with one bit of advice, specifically we show that for all real numbers 1 less than or equal to alpha less than or equal to beta, BPTIME(n(alpha))/1 subset of or equal to BPTIME(n(beta))/1. This result builds on and improves an earlier hierarchy of Barak using O(log log n) bits of advice. We also show that for any constant d > 0, there is a language L computable on average in BPP but not on average in BPTIME(n(d)). We build on Barak's techniques by using a different translation argument and by a careful application of the fact that there is a PSPACE-complete problem L such that worst-case probabilistic algorithms for L take only slightly more time than average-case algorithms.
引用
收藏
页码:316 / 324
页数:9
相关论文
共 26 条
[1]  
ALON N, 1995, PROBABILISTIC METHOD
[2]  
Babai L., 1991, Computational Complexity, V1, P3, DOI 10.1007/BF01200056
[3]  
BALCAZAR J, 1990, STRUCTURAL COMPLEXIT, V2
[4]  
Balcazar J., 1988, STRUCTURAL COMPLEXIT, V1
[5]  
Barak B., 2002, Randomization and Approximation Techniques in Computer Science. 6th International Workshop, RANDOM 2002. Proceedings (Lecture Notes in Computer Science Vol.2483), P194
[6]  
BENNETT C, 1981, SIAM J COMPUT, P10
[7]   DESIGNING PROGRAMS THAT CHECK THEIR WORK [J].
BLUM, M ;
KANNAN, S .
JOURNAL OF THE ACM, 1995, 42 (01) :269-291
[8]  
CAI JY, 1999, P 31 ANN ACM S THEOR
[9]  
COOK SA, 1972, C REC 4 ANN ACM S TH, P187
[10]  
Fortnow L., 1989, Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing, P148, DOI 10.1145/73007.73021