Bounded truth table does not reduce the one-query tautologies to a random oracle

Suzuki, Toshio

doi:10.1007/s00153-005-0283-1

Cited by 2 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [25], we showed that if a set X is Schnorr random then for every positive integer r, X is r-Dowd. We ask whether the same as above holds for t(n)-randomness in the place of Schnorr randomness.…”

Section: Main Theorem and The Outline Of The Proofmentioning

confidence: 98%

See 2 more Smart Citations

Resource-bounded martingales and computable Dowd-type generic sets

Kumabe

Suzuki

2015

Information and Computation

Self Cite

View full text Add to dashboard Cite

Martin-Löf defined algorithmic randomness, the use of martingales in this definition and several variants were explored by Schnorr, and Lutz introduced resource-bounded randomness. Ambos-Spies et al. have studied resource-bounded randomness under timebounds and have shown that resource-bounded randomness implies resource-bounded genericity. While the genericity of Ambos-Spies is based on time-bound on finite-extension strategy, the genericity of Dowd, the main topic of this paper, is based on an analogy of the forcing theorem. For a positive integer r, an oracle D is r-generic in the sense of Dowd (r-Dowd) if the following holds: If a certain formula F on an exponential-sized portion of D is a tautology then a polynomial-sized subfunction of D forces F to be a tautology. Here, r is the number of occurrences of query symbols in F . The relationship between resource-bounded randomness and Dowd-type genericity has been not clear so far. We show that there exists a primitive recursive function t(n) with the following property: Every t(n)-random set is r-Dowd for each positive integer r. A proof is done by means of constructing resource-bounded martingales. In our former paper, we left an open problem whether there exists a primitive recursive set which is r-Dowd for every positive integer r. In our recent work, we give an affirmative answer to the problem. The main theorem of the present paper gives an alternative proof of the affirmative answer.

show abstract

Section: Main Theorem and The Outline Of The Proofmentioning

confidence: 98%

“…Definition 6. (See [25] (also [20]). ) Suppose that n is a positive integer and that X is a forcing condition.…”

Section: Definitionmentioning

confidence: 98%