Combinatorica`
Combinatorica`
CoarserSetPartitionQ
CoarserSetPartitionQ[a,b]
集合分割 b が集合分割 a よりも粗いならばTrueを返す．つまり，a のブロックすべてが b のいずれかのブロックに含まれるということである．
詳細とオプション
- CoarserSetPartitionQを使うためには，まず Combinatorica パッケージをロードしなくてはならない．それにはNeeds["Combinatorica`"]を実行する必要がある．