Generator-offset property: Difference between revisions
| Line 212: | Line 212: | ||
====== Remaining sub-cases ====== | ====== Remaining sub-cases ====== | ||
* Case 3.2: (x, y) = (floor(n/μ) + 1, 2*floor(n/μ) − 1) is impossible because y = 2*floor(n/μ) − 1 can only occur if Λ<sub>3</sub> has chunks of size floor(n/μ) − 1 and floor(n/μ), which contradicts the size of x. | * Case 3.2: (x, y) = (floor(n/μ) + 1, 2*floor(n/μ) − 1) is impossible because y = 2*floor(n/μ) − 1 can only occur if Λ<sub>3</sub> has chunks of size floor(n/μ) − 1 and floor(n/μ), which contradicts the size of x. | ||
* Case 3.3: (x, y) = (floor(n/μ) + 1, 2*floor(n/μ)) is impossible because y = 2*floor(n/μ) can only occur if Λ<sub>3</sub> has chunks of size floor(n/μ) − 1 and floor(n/μ), which contradicts the size of x. | * Case 3.3: (x, y) = (floor(n/μ) + 1, 2*floor(n/μ)) is impossible because y = 2*floor(n/μ) can only occur if Λ<sub>3</sub> has chunks of size floor(n/μ) − 1 and floor(n/μ), which contradicts the size of x. | ||
The remaining cases are all impossible because they imply y − x ≥ 2: | The remaining cases are all impossible because they imply y − x ≥ 2: | ||