56 research outputs found

    Derandomizing from Random Strings

    Full text link
    In this paper we show that BPP is truth-table reducible to the set of Kolmogorov random strings R_K. It was previously known that PSPACE, and hence BPP is Turing-reducible to R_K. The earlier proof relied on the adaptivity of the Turing-reduction to find a Kolmogorov-random string of polynomial length using the set R_K as oracle. Our new non-adaptive result relies on a new fundamental fact about the set R_K, namely each initial segment of the characteristic sequence of R_K is not compressible by recursive means. As a partial converse to our claim we show that strings of high Kolmogorov-complexity when used as advice are not much more useful than randomly chosen strings

    Locally consistent decomposition of strings with applications to edit distance sketching

    Full text link
    In this paper we provide a new locally consistent decomposition of strings. Each string xx is decomposed into blocks that can be described by grammars of size O~(k)\widetilde{O}(k) (using some amount of randomness). If we take two strings xx and yy of edit distance at most kk then their block decomposition uses the same number of grammars and the ii-th grammar of xx is the same as the ii-th grammar of yy except for at most kk indexes ii. The edit distance of xx and yy equals to the sum of edit distances of pairs of blocks where xx and yy differ. Our decomposition can be used to design a sketch of size O~(k2)\widetilde{O}(k^2) for edit distance, and also a rolling sketch for edit distance of size O~(k2)\widetilde{O}(k^2). The rolling sketch allows to update the sketched string by appending a symbol or removing a symbol from the beginning of the string
    corecore