Generator-offset property: Difference between revisions
| Line 190: | Line 190: | ||
BEGIN CASEBLOCK 3.x: [ Here chunk of Λ2 means chunk of β, and chunk of Λ3 means chunk of γ. | BEGIN CASEBLOCK 3.x: [ Here chunk of Λ2 means chunk of β, and chunk of Λ3 means chunk of γ. | ||
[Case 3.1: (x, y) = (floor(n/μ), 2*floor(n/μ) - 1) | |||
Since y-x = floor(n/μ) - 1 and floor(n/μ) >= 2, we have: x = floor(n/μ) = 2 and y-x = 1; hence y = 2*floor(n/μ) - 1 = 3. The chunk in Λ3 whose size is 3 is made from two chunks in Λ2 of size 1. (So Λ2 has chunks of size 1 and 2, and Λ3 has chunks of size 2 and 3.) | Since y-x = floor(n/μ) - 1 and floor(n/μ) >= 2, we have: x = floor(n/μ) = 2 and y-x = 1; hence y = 2*floor(n/μ) - 1 = 3. The chunk in Λ3 whose size is 3 is made from two chunks in Λ2 of size 1. (So Λ2 has chunks of size 1 and 2, and Λ3 has chunks of size 2 and 3.) | ||