59705d14ead5016

http://nhiro.org.s3.amazonaws.com/8/5/85088e66866a2c6c1b7fe06a9de4acf9.jpg https://gyazo.com/85088e66866a2c6c1b7fe06a9de4acf9

(OCR text)

BDD/ZDDで何が出来る?

168KBで 789ギガ通りの解の集合を保持できる

·解を辞書順に列挙できる

全ての解が等確率なサンプリングが出来る

·ある局面がOKかNGか、

最大12ステップで判定できる

BDDのまま和·積などの集合演算ができる

17