خوارزميات, علوم الحاسوب, منطق, هياكل البياناتمخطط القرار المثبط الصفري (Zero-suppressed decision diagram)