Closure of Resource-Bounded Randomness Notions Under Polynomial-Time Permutation

被引:0
作者
Nies, Andre [1 ]
Stephan, Frank [2 ,3 ]
机构
[1] Univ Auckland, Dept Comp Sci, Private Bag 92019, Auckland, New Zealand
[2] Natl Univ Singapore, Dept Math, 10 Lower Kent Ridge Rd,Block S17, Singapore 119076, Singapore
[3] Natl Univ Singapore, Dept Comp Sci, 10 Lower Kent Ridge Rd,Block S17, Singapore 119076, Singapore
来源
35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018) | 2018年 / 96卷
关键词
Computational Complexity; Randomness via Resource-bounded Betting Strategies; Martingales; Closure under Permutations;
D O I
10.4230/LIPIcs.STACS.2018.51
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
An infinite bit sequence is called recursively random if no computable strategy betting along the sequence has unbounded capital. It is well-known that the property of recursive randomness is closed under computable permutations. We investigate analogous statements for randomness notions defined by betting strategies that are computable within resource bounds. Suppose that S is a polynomial time computable permutation of the set of strings over the unary alphabet (identified with N). If the inverse of S is not polynomially bounded, it is not hard to build a polynomial time random bit sequence Z such that Z omicron S is not polynomial time random. So one should only consider permutations S satisfying the extra condition that the inverse is polynomially bounded. Now the closure depends on additional assumptions in complexity theory. Our first main result, Theorem 4, shows that if BPP contains a superpolynomial deterministic time class, such as DTIME(n(log) n), then polynomial time randomness is not preserved by some permutation S such that in fact both S and its inverse are in P. Our second main result, Theorem 11, shows that polynomial space randomness is preserved by polynomial time permutations with polynomially bounded inverse, so if P = PSPACE then polynomial time randomness is preserved.
引用
收藏
页数:10
相关论文
共 15 条
  • [1] Ambos-Spies K., 1997, Complexity, Logic and Recursion Theory, P1
  • [2] [Anonymous], OXFORD LOGIC GUIDES
  • [3] RANDOMNESS AND DIFFERENTIABILITY
    Brattka, Vasco
    Miller, Joseph S.
    Nies, Andre
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2016, 368 (01) : 581 - 605
  • [4] A generalization of resource-bounded measure, with application to the BPP vs. EXP problem
    Buhrman, H
    Van Melkebeek, D
    Regan, KW
    Sivakumar, D
    Strauss, M
    [J]. SIAM JOURNAL ON COMPUTING, 2000, 30 (02) : 576 - 601
  • [5] Downey RG, 2010, THEOR APPL COMPUT, P401, DOI 10.1007/978-0-387-68441-3
  • [6] Feasible Analysis, Randomness, and Base Invariance
    Figueira, Santiago
    Nies, Andre
    [J]. THEORY OF COMPUTING SYSTEMS, 2015, 56 (03) : 439 - 464
  • [7] Using random sets as oracles
    Hirschfeldt, Denis R.
    Nies, Andre
    Stephan, Frank
    [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2007, 75 : 610 - 622
  • [8] Kjos-Hanssen B., 2014, ARXIV14110186
  • [9] Li M., 1997, GRADUATE TEXTS COMPU
  • [10] DEFINITION OF RANDOM SEQUENCES
    MARTINLOF, P
    [J]. INFORMATION AND CONTROL, 1966, 9 (06): : 602 - +