59705d14ead5012

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

(OCR text)

BDD:

Binary Decision Diagram

二分木、ただし

共通部分を共有して

消費メモリ量を節約

頂点削除

記法:点線がlo, 実線がhi

13