59705d14ead5019

http://nhiro.org.s3.amazonaws.com/a/8/a8a1e84a53375591424766a6dc7e1407.jpg https://gyazo.com/a8a1e84a53375591424766a6dc7e1407

(OCR text)

何が出来る? 続き(4/4)

f(x) = 1の解の個数を最悪実行時間○(nB)で

求めることが出来る

例えばお姉さんが救える!

n:fのビット数、B: BDDの頂点数

20