l− Q
q,l
q
R
(t)
q
= {{i
1
, . . . , i
t
}| 1 ≤ i
1
< ··· < i
t
≤ q}, 1 ≤ t ≤ q,
t− [q] = {1, . . . , q}
|R
(t)
q
| =
¡
q
t
¢
R
(t)
q
(s) R
(t)
q
s ∈ [q] |R
(t)
q
(s)| =
¡
q−1
t−1
¢
Q
q,l
(s) = R
(1)
q
(s) ∪ R
(2)
q
(s) ∪ ··· ∪ R
(l)
q
(s).
|Q
q,l
(s)| =
µ
q − 1
0
¶
+
µ
q − 1
1
¶
+ ··· +
µ
q − 1
l − 1
¶
= B(q, l).
Q
q,l
(s) [q]
l s ∈ [q]
N = B(q, l)
κ ∈ R
(1)
q
∪R
(2)
q
∪···∪R
(l)
q
[B(q, l)] κ n(κ) ∈ [B(q, l)]
A
s
⊂ [B(q, l)]
Q
q,l
(s) A
s
= A
(l)
s
= {n(κ)|κ ∈ Q
q,l
(s)}
l = 2 q = 3 |R
(1)
3
∪ R
(2)
3
| = 6 A
s
A
s
= {n({s, 1}), n({s, 2}), n({s, 3})}, s = 1, 2, 3, n({s, j}), s ≤ j,
{s, j} ⊂ {1, 2, 3} n({1, 2}) = 1, n ({1, 3}) = 2, n({2, 3}) =
3, n({1}) = 4, n({2}) = 5, n({3}) = 6 R
(1)
3
∪ R
(2)
3
A
1
= {1, 2, 4}, A
2
= {1, 3, 5}, A
3
= {2, 3, 6} A
0
A
s
Q
q,l
l ≤ q
Q
q,l
= {{Q
q,l
(1)}, . . . , {Q
q,l
(q)}}
A
(l)
q
= {A
(l)
1
, . . . , A
(l)
q
}.
[B(q, l)] l−
q−
Q
q,l
q−
l−
l− N = B(q, l) T = q