Generator-offset property: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 168: Line 168:
# the stack has only preimages of P’s and it either contains the preimage of the fth P or not; or
# the stack has only preimages of P’s and it either contains the preimage of the fth P or not; or
# the stack has one I and does not contain any R (since it’s more than f-1 generators away).
# the stack has one I and does not contain any R (since it’s more than f-1 generators away).
These give exactly three distinct sizes for k-steps. Hence S is SV3.
These give exactly three distinct sizes for every interval class. Hence S is SV3.


In this case S has two chains of Qs, one with floor(n/2) notes and and one with ceil(n/2) notes. Thus S also satisfies the generator-offset property.
In this case S has two chains of Qs, one with floor(n/2) notes and and one with ceil(n/2) notes. Thus S also satisfies the generator-offset property.