Generator-offset property: Difference between revisions
m →Proof |
|||
| Line 81: | Line 81: | ||
In ''S'', (i+j)-steps (representing the generator) are always one of the following: | In ''S'', (i+j)-steps (representing the generator) are always one of the following: | ||
# (a) the preimage of the perfect generator with the maximum | # (a) the preimage of the perfect generator with the maximum number of Y’s (at least 2 more than the # of Z's) | ||
# (b) the preimage of the perfect generator with the maximum number of Z’s (at least 2 more than the # of Y's) | # (b) the preimage of the perfect generator with the maximum number of Z’s (at least 2 more than the # of Y's) | ||
# (c) the preimage of the perfect generator with an intermediate number of Y’s and Z’s between (a) and (b) | # (c) the preimage of the perfect generator with an intermediate number of Y’s and Z’s between (a) and (b) | ||