On the de-randomization of space-bounded approximate counting problems

被引:2
|
作者
Doron, Dean [1 ]
Ta-Shma, Amnon [1 ]
机构
[1] Tel Aviv Univ, Blavatnik Sch Comp Sci, IL-6997801 Tel Aviv, Israel
基金
以色列科学基金会;
关键词
Computational complexity; Approximation algorithms; Randomized algorithms; Space bounded computation; Space bounded quantum computation; Space bounded approximation schemes; ALGORITHMS; MATRIX;
D O I
10.1016/j.ipl.2015.03.005
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
It was recently shown that SVD and matrix inversion can be approximated in quantum log-space [1] for well formed matrices. This can be interpreted as a fully logarithmic quantum approximation scheme for both problems. We show that if prBQL = prBPL then every fully logarithmic quantum approximation scheme can be replaced by a probabilistic one. Hence, if classical algorithms cannot approximate the above functions in logarithmic space, then there is a gap already for languages, namely, prBQL not equal prBPL. On the way we simplify a proof of Goldreich for a similar statement for time bounded probabilistic algorithms. We show that our simplified algorithm works also in the space bounded setting (for a large set of functions) whereas Goldreich's approach does not seem to apply in the space bounded setting. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码:750 / 753
页数:4
相关论文
共 50 条
  • [1] Randomization and derandomization in space-bounded computation
    Saks, M
    [J]. ELEVENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1996, : 128 - 149
  • [2] SPACE-BOUNDED REDUCIBILITY AMONG COMBINATORIAL PROBLEMS
    JONES, ND
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 11 (01) : 68 - 85
  • [3] Combining bounded solving and controllable randomization for approximate model counting
    Lu, Shuai
    Zhang, Tongbo
    Xu, Yue
    Zhou, Wenbo
    Lai, Yong
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2024, 36 (07) : 1075 - 1088
  • [4] Reversibility in space-bounded computation
    Morita, Kenichi
    [J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2014, 43 (07) : 697 - 712
  • [5] SYMMETRIC SPACE-BOUNDED COMPUTATION
    LEWIS, HR
    PAPADIMITRIOU, CH
    [J]. THEORETICAL COMPUTER SCIENCE, 1982, 19 (02) : 161 - 187
  • [6] HALTING SPACE-BOUNDED COMPUTATIONS
    SIPSER, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1980, 10 (03) : 335 - 338
  • [7] Space-bounded OTMs and REG
    Carl, Merlin
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (01): : 41 - 56
  • [8] Space-bounded quantum complexity
    Watrous, J
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (02) : 281 - 326
  • [9] Space-Bounded Query Approximation
    Cule, Boris
    Geerts, Floris
    Ndindi, Reuben
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, ADBIS 2015, 2015, 9282 : 397 - 414
  • [10] On the derandomization of space-bounded computations
    Armoni, R
    [J]. RANDOMIZATION AND APPROXIMATION TECHNIQUES IN COMPUTER SCIENCE, 1998, 1518 : 47 - 59