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 impossible | '''Case 3.3''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ)) is impossible: Here (x, y) = (3, 4). But floor(''n''/μ) = 2 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: | ||