Generator-offset property: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 211: Line 211:
'''Case 3.1:''' (''x'', ''y'') = (floor(''n''/μ), 2*floor(''n''/μ) − 1).
'''Case 3.1:''' (''x'', ''y'') = (floor(''n''/μ), 2*floor(''n''/μ) − 1).


Since ''y'' &minus; ''x'' = floor(''n''/μ) &minus; 1 and floor(''n''/μ) ≥ 2, we have ''x'' = floor(''n''/μ) = 2 and ''y'' = 3. The chunk in Λ<sub>3</sub> whose size is 3 is made from two chunks in Λ<sub>2</sub> of size 1. (So Λ<sub>2</sub> has chunks of size 1 and 2, and Λ<sub>3</sub> has chunks of size 2 and 3.)
Since ''y'' &minus; ''x'' = floor(''n''/μ) &minus; 1, we have ''x'' = floor(''n''/μ) = 2 and ''y'' = 3. The chunk in Λ<sub>3</sub> whose size is 3 is made from two chunks in Λ<sub>2</sub> of size 1. (So Λ<sub>2</sub> has chunks of size 1 and 2, and Λ<sub>3</sub> has chunks of size 2 and 3.)


Λ<sub>2</sub> has two consecutive chunks of size 1. Since chunk sizes of a mos themselves form a mos, Λ<sub>2</sub> has more chunks of size 1 than it has chunks of size 2.
Λ<sub>2</sub> has two consecutive chunks of size 1. Since chunk sizes of a mos themselves form a mos, Λ<sub>2</sub> has more chunks of size 1 than it has chunks of size 2.