On characterizations of randomized computation using plain Kolmogorov complexity

Shuichi Hirahara, Akitoshi Kawamura

研究成果: Contribution to journalArticle査読

2 被引用数 (Scopus)

抄録

Allender, Friedman, and Gasarch recently proved an upper bound of PSPACE for the class DTTR K of decidable languages that are polynomial-time truth-table reducible to the set of prefix-free Kolmogorov-random strings regardless of the universal machine used in the definition of Kolmogorov complexity. It is conjectured that DTTRK in fact lies closer to BPP, a lower bound established earlier by Buhrman, Fortnow, Koucký, and Loff. It is also conjectured that we have similar bounds for the analogous class DTTRC defined by plain Kolmogorov randomness. In this paper, we provide further evidence for these conjectures. First, we show that the time-bounded analogue of DTTR C sits between BPP and PSPACE ∩ P/poly. Next, we show that the class DTTRC,α obtained from DTTRC by imposing a super-constant minimum query length restriction on the reduction lies between BPP and PSPACE. Finally, we show that the class P/RCt=log obtained by further restricting the reduction to ask queries of logarithmic length lies between BPP and ∑2p ∩ P/poly.

本文言語英語
ページ(範囲)45-56
ページ数12
ジャーナルComputability
7
1
DOI
出版ステータス出版済み - 2018
外部発表はい

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science Applications
  • Computational Theory and Mathematics
  • Artificial Intelligence

フィンガープリント 「On characterizations of randomized computation using plain Kolmogorov complexity」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル