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: Here (x, y) = (3, 4). But then Λ<sub>2</sub> has a chunk of size 1 because of the β' at index n. | '''Case 3.3''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ)) is impossible: Here (x, y) = (3, 4). But then Λ<sub>2</sub> has a chunk of size 1 because of the β' at index n, and another chunk of size 0 or 2; both contradict that ''x'' is one of the chunk sizes of Λ<sub>2</sub>. | ||
The remaining cases are all impossible because they imply ''y'' − ''x'' ≥ 2: | The remaining cases are all impossible because they imply ''y'' − ''x'' ≥ 2: | ||