SatisfiabilityCount

SatisfiabilityCount[bf]

ブール関数 bf に引数として渡された場合にTrueを与える変数値の可能な組合せの数を数える．

SatisfiabilityCount[expr,{a1,a2,…}]

ブール式 expr が真となる aiの可能な組合せの数を数える．

詳細

例題

すべて開くすべて閉じる

例  (3)

が真を返す場合がいくつあるか数える：

これは，真理値表のTrueの数に対応する：

純ブール関数で真である場合の数を数える：

対応する表：

2000個の変数を持つ式中の真の数を数える：

アプリケーション  (1)

確率  (1)

あるイベントが起る確率を全体に対する真となる場合の比として計算する：

ある種のイベントが起る確率：

100の変数のうち真となるものが20から40の間である確率：

であることを示す：

特性と関係  (11)

変数が 個である関数のSatisfiabilityCountは常にからの間である：

SatisfiabilityCountは，事実上BooleanTable中のTrue要素の数を数える：

この場合，BooleanTableには個の要素があると考えられる：

SatisfiableQはSatisfiabilityCountがゼロより大きいかどうかを効率よくテストする：

TautologyQは n 変数の関数についてSatisfiabilityCountがであるかどうかを効率よくテストする：

n 個の変数のプリミティブについてのSatisfiabilityCountは簡単である．Andについては常にである：

Orについてはである：

Nandについてはである：

Norについてはである：

Xorについてはである：

Xnorについてはである：

Equivalentについてはである：

Majorityについては， が奇数の場合は， が偶数の場合は2^(n-1)-1/2TemplateBox[{n, {n, /, 2}}, Binomial]である：

BooleanCountingFunctionの真理集合の大きさはSubsetsの長さである：

BooleanCountingFunctionの真理集合の大きさは組合せ総和で与えられる：

指標付きBooleanFunctionのSatisfiabilityCountはDigitCountで与えられる：

変数が n 個の場合，その数はMod[k,2^2^n]のDigitCountで与えられる：

BooleanMintermsのSatisfiabilityCountは指標リストの長さで与えられる：

BooleanMaxtermsについては，2nから指標リストの長さを引いた数として与えられる：

SatisfiabilityInstancesを使って明示的な場合を求める：

例を3つ求める：

CountRootsを使って実数値区間における多項式の根の数を数える：

あるいは複素数値の長方形：

おもしろい例題  (1)

二変数のブール関数すべてにおける真となる場合を数える：

三変数：

四変数：

Wolfram Research (2008), SatisfiabilityCount, Wolfram言語関数， https://reference.wolfram.com/language/ref/SatisfiabilityCount.html.

テキスト

Wolfram Research (2008), SatisfiabilityCount, Wolfram言語関数， https://reference.wolfram.com/language/ref/SatisfiabilityCount.html.

CMS

Wolfram Language. 2008. "SatisfiabilityCount." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SatisfiabilityCount.html.

APA

Wolfram Language. (2008). SatisfiabilityCount. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SatisfiabilityCount.html

BibTeX

@misc{reference.wolfram_2024_satisfiabilitycount, author="Wolfram Research", title="{SatisfiabilityCount}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/SatisfiabilityCount.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_satisfiabilitycount, organization={Wolfram Research}, title={SatisfiabilityCount}, year={2008}, url={https://reference.wolfram.com/language/ref/SatisfiabilityCount.html}, note=[Accessed: 22-November-2024 ]}