59705d14ead5014

http://nhiro.org.s3.amazonaws.com/4/8/48f059909fb71640e286c5c905fd9cd2.jpg https://gyazo.com/48f059909fb71640e286c5c905fd9cd2

(OCR text)

ZDD:

Zero-supress BDD

. BDDとちょっと頂点削除のルールが

違う

. ZDD:「ここが「だったらどうやっても

結果が0になる」な頂点を削除

. BDD: 「ここが0でも1でも結果が

ない」な頂点を削除

変わら

HICP]) or

if ((not IS_ZERO_SUPPRESS and q

←違いはわずか

false)):

==

15

LO