Why Approximate Circularity
The following example shows why approximate circularity is required to allow slight deviation of run lengths.
For λ0 = 6 and λ1 = 4, we have Λ1 = 6 + 4 = 10, and so
the radius interval [r, r] becomes [28, 34].
If the next run has λ2 = 3, then Λ2 = Λ1 + λ2 = 13,
and so the new radius interval becomes [s, s] = [31, 35] whose intersection with the previous interval
is [28, 34]∩[31, 35] = [31, 34] (nonempty).
However, if λ2 = 4, then [s, s] = [36, 40], which has an empty intersection with
[r, r], implying that the sequence 6, 4, 4 is not (exactly) "digitally circular".
If λ2 = 5, then [s, s] = [41, 46], and its intersection with [r, r] is not only empty,
but also moves further off.
|