Generator-offset property: Difference between revisions
| Line 233: | Line 233: | ||
'''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible because it implies floor(n/μ) = 1. | '''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible because it implies floor(n/μ) = 1. | ||
'''Case 3.3''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ)) is | '''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: | ||