Graph Connectivity, Partial Words, and a Theorem of Fine and Wilf

Document Type

Article

Publication Date

5-1-2008

Abstract

The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string searching and pattern matching algorithms. The notion of period of a word is central in combinatorics on words. There are many fundamental results on periods of words. Among them is the well known and basic periodicity result of Fine and Wilf which intuitively determines how far two periodic events have to match in order to guarantee a common period. More precisely, any word with length at least p + q - gcd (p, q) having periods p and q has also period the greatest common divisor of p and q, gcd (p, q). Moreover, the bound p + q - gcd (p, q) is optimal since counterexamples can be provided for words of smaller length. Partial words, or finite sequences that may contain a number of "do not know" symbols or holes, appear in natural ways in several areas of current interest such as molecular biology, data communication, DNA computing, etc. Any long enough partial word with h holes and having periods p, q has also period gcd (p, q). In this paper, we give closed formulas for the optimal bounds Ł (h, p, q) in the case where p = 2 and also in the case where q is large. In addition, we give upper bounds when q is small and h = 3, 4, 5, 6 or 7. No closed formulas for Ł (h, p, q) were known except for the cases where h = 0, 1 or 2. Our proofs are based on connectivity in graphs associated with partial words. A World Wide Web server interface has been established at www.uncg.edu/mat/research/finewilf3 for automated use of a program which given a number of holes h and two periods p and q, computes the optimal bound Ł (h, p, q) and an optimal word for that bound (a partial word u with h holes of length Ł (h, p, q) - 1 is optimal if p and q are periods of u but gcd (p, q) is not a period of u).

DOI

10.1016/j.ic.2007.11.007

This document is currently not available here.

Share

COinS