คำถามติดแท็ก binary-decision-diagrams

1
บิตที่สำคัญที่สุดของการคูณจำนวนเต็มและไดอะแกรมการตัดสินใจแบบไบนารี
ให้และy ที่สองเลขฐานสองกับnบิตและZ = x ⋅ Yเลขฐานสอง (ความยาว2 n ) ของผลิตภัณฑ์ของxและy ที่ เราต้องการที่จะคำนวณ siginifcant บิตมากที่สุดZ 2 n - 1ของผลิตภัณฑ์Z = Z 2 n - 1 ... Z 0xxxYYynnnZ= x ⋅ y Z=x⋅Y z = x \cdot y\ 2 n2n2nxxxYYyZ2 n - 1Z2n-1z_{2n-1}Z= z2 n - 1… z0Z=Z2n-1...Z0z = z_{2n-1} \ldots z_0 …

1
อัลกอริทึมบนกราฟแสดงโดยใช้ BDDs
การแทนค่าที่ง่ายที่สุดสำหรับกราฟใช้เมทริกซ์คำคุณศัพท์ / รายการซึ่งหมายความว่าแต่ละโหนดและขอบแสดงอย่างชัดเจน ความสำคัญของการเป็นตัวแทนโดยนัยสำหรับกราฟที่แสดงระเบียบที่แข็งแกร่งได้รับการยอมรับมานานแล้ว ตัวอย่างเช่น Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( หมายเหตุเกี่ยวกับการเป็นตัวแทนของกราฟสั้น ๆ , 1986) สำรวจคำถามของกราฟที่มีเมทริกซ์ adjacency แทนด้วยสูตรบูลีนที่ตอบว่าใช่หรือไม่ (i, j) กำหนดแทนไบนารีของหมายเลขโหนด i และ j ภายใต้ข้อ จำกัด ที่น่าพึงพอใจบางประการเกี่ยวกับการลดปัญหา P-complete สำหรับกราฟที่ชัดเจนกลายเป็น PSPACE-complete สำหรับการแสดงนี้ปัญหา NP-complete กลายเป็น NEXPTIME-complete ฯลฯ วิธีธรรมชาติของกราฟปกติดังกล่าวคือการแสดงสูตรบูลีนโดยใช้ ROBDD; ความยากคือคลาสสิกอัลกอริธึมมีแนวโน้มที่จะแจกแจงโหนดทีละคนซึ่งต้องเสียค่าใช้จ่ายชี้แจงแทนเช่นนี้และจะต้องหลีกเลี่ยง มีการตีพิมพ์บทความเกี่ยวกับปัญหาคลาสสิกที่ได้รับการแก้ไขโดยใช้การแสดงเช่น Gentilini และคณะ (การคำนวณส่วนประกอบที่เชื่อมต่ออย่างยิ่งในจำนวนเชิงเส้นของสัญลักษณ์เชิงเส้น ), Woelfel ( การจัดเรียงทอพอโลยีเชิงสัญลักษณ์ด้วย OBDDs ) …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.