We’ll call a map from basic to clopen sets of binary sequences an if it preserves uniform Lebesgue measure and the disjointedness relation. For some notion of randomness we can ask if there is a computable encoding such that for every non-Martin-Löf-random (non-MLR) sequence , the sequences in are non-. Thus we can use and randomness test for to construct a randomness test for MLR. We show that there is no such for partial computable randomness (PCR), but there is one for Kolmogorov-Loveland randomness. Indeed, there is a total computable and a pair of total computable non-monotonic betting strategies such that on every sequence in at least one of the strategies wins whenever is non-MLR.

生成讲解博客的中文版本

生成AI智能校验的中文版本