Generator-offset property: Difference between revisions
m →Proof |
|||
| Line 231: | Line 231: | ||
(This also implies ''S'' is SV3.) | (This also implies ''S'' is SV3.) | ||
'''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible because | '''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible: Here (x, y) = (4, 5). But then Λ<sub>2</sub> has a chunk of size < 3 because of the β' at index n, contradicting that ''x'' is one of the chunk sizes of Λ<sub>2</sub>. | ||
'''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, contradicting that ''x'' is one of the chunk sizes of Λ<sub>2</sub>. | '''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, contradicting that ''x'' is one of the chunk sizes of Λ<sub>2</sub>. | ||