59705d14ead5017

http://nhiro.org.s3.amazonaws.com/6/d/6d1c151d58644efc86711b2c64092984.jpg https://gyazo.com/6d1c151d58644efc86711b2c64092984

(OCR text)

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

f(x)→0/1 のBDDがあると、

与えられた重みベクトルwについて、

f(x) = 1の条件下で内積wxを最大化する解×を

○(n+B)ステップで求められる(Boole

計画法)

例えば各辺のコストが与えられ

コスト最小のパスを探せる

たら、

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

18