Theorem 4. For an RCFG G generating a string s, |LZ(s)|≤|G|. Lemma 2. All factors in the LZ-factorization of Sk have size < 16⌈logk⌉+ 26. Proof.
確定! 回上一頁