コンビネーションの概念
苦肉の策だが、あまり一般的でない用語と記法を導入する。
- 親集合: A⊆X のとき、Aから見てのXのこと
- コンビネーション: 有限部分集合と同義
- Combination(X) = FinSubset(X) = Powfin(X)
- Subset(X) = Pow(X)
ラショネールは、高校の順列・組み合わせ(Permutation and Combination)の記号 nCr を思い出す。Cはcombination。
- #(Combinationr({1, 2, ..., n})) = nCr
ペア(Pair)との誤解を避けてコンビとかCombiと略さない!
典型的なコレクション型を次の3つとする。
- リスト型
- バッグ型
- コンビネーション型