Note on an anomaly in paging
John E. Pomeranz · Communications of the ACM · 1970
In [1] the authors use a lemma to prove their Theorem 1 (pp. 352-353). While the lemma is true, there is a defect in its proof, for one cannot assume that each of the symbols appearing as a type IV reference is in t ( E k , s ). Using their example (p. 350) as a reference string with k = 12, t ( E 12 , 3) is 534 and lacks the two symbols (1 and 2) which appear as type IV references.