Exact Distribution of Deletion Sizes for Unavoidable Strings

We constructively prove the exact distribution of deletion sizes for unavoidable strings, under the reductive decidability method of Zimin and Bean et al. Bounds such as these on the unique initial reductions of unavoidable strings were instrumental in proving the computational intractability of the reduction algorithm. We also provide the necessary supporting results, including some useful approximations on the deletion sizes of individual strings. This work improves upon previous results that, although sufficient to establish the desired exponential lower bound, were far from optimal.

• Type: Conference
• Year: 2001
• Where: SPIRE
• Authors: Christine E. Heitsch
• Keywords: Deletion Sizes, Information Management, Reductive Decidability Method, SPIRE 2001, Unavoidable Strings