このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

コンビネーションの概念

苦肉の策だが、あまり一般的でない用語と記法を導入する。

  • 親集合: 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つとする。

  1. リスト型
  2. バッグ型
  3. コンビネーション型