集合・べき集合・べき集合から作る組み合わせ



  • 素数k個の集合がある
  • そのべき集合は2^kの要素を持つ。
  • べき集合の要素であるサブセットは、i=0,...,k個の要素を持つ。i=pなるサブセットの数はk_C_p通りある
  • 一方、要素数iの集合(サブセット)を、q=2,3,...,i個の更なるサブセットの組に分けるわけ方は、http://d.hatena.ne.jp/ryamada22/20060703 :title=こちらの記事]の通りで、その数をA(i)とすると