OPTIMAL SPEEDUP OF LAS-VEGAS ALGORITHMS

被引:263
作者
LUBY, M
SINCLAIR, A
ZUCKERMAN, D
机构
[1] UNIV CALIF BERKELEY, BERKELEY, CA 94720 USA
[2] UNIV EDINBURGH, EDINBURGH EH8 9YL, MIDLOTHIAN, SCOTLAND
[3] MIT, COMP SCI LAB, CAMBRIDGE, MA 02139 USA
关键词
DESIGN OF ALGORITHMS; RANDOMIZED ALGORITHMS; LAS VEGAS ALGORITHMS; EXPECTED RUNNING TIME; OPTIMAL STRATEGY; PROOF SEARCH; THEOREM-PROVING;
D O I
10.1016/0020-0190(93)90029-9
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Let A be a Las Vegas algorithm, i.e., A is a randomized algorithm that always produces the correct answer when it stops but whose running time is a random variable. We consider the problem of minimizing the expected time required to obtain an answer from A using strategies which simulate A as follows: run A for a fixed amount of time t1, then run A independently for a fixed amount of time t2, etc. The simulation stops if A completes its execution during any of the runs. Let J = (t1, t2, . . .) be a strategy, and let l(A) = inf(J)T(A, J), where T(A, J) is the expected value of the running time of the simulation of A under strategy J. We describe a simple universal strategy J(univ), with the property that, for any algorithm A, T(A, J(univ)) = O(l(A) log(l(A))). Furthermore, we show that this is the best performance that can be achieved, up to a constant factor, by any universal strategy.
引用
收藏
页码:173 / 180
页数:8
相关论文
共 2 条
[1]  
ALT H, 1991, TR91057 INT COMP SCI
[2]  
Ertel W., 1992, Logic Programming and Automated Reasoning. International Conference LPAR '92 Proceedings, P226, DOI 10.1007/BFb0013064