decision diagrams lecture 18 1922755