On the computational power of binary decision diagram with redundant variables
نویسندگان
چکیده
منابع مشابه
On the Computational Power of Binary Decision Diagram with Redundant Variables
We introduce a BDD with redundant variables as an Indexed BDD(IBDD) and define PolyIBDD as the class of Boolean functions represented by polynomial-sized IBDDs or the $\mathfrak{n}tltll$ ber of input variables. Assuming that the class of languages on $\{0,1\}$ that are accepted by logarithmic space bounded DTMs is DLOG, $\downarrow$ he f'ollowing relation holds. PolyIBDD $=DLOG$. That is to say...
متن کاملOn an optimization technique using Binary Decision Diagram
Two-level logic minimization is a central problem in logic synthesis, and has applications in reliability analysis and automated reasoning. This paper represents a method of minimizing Boolean sum of products function with binary decision diagram and with disjoint sum of product minimization. Due to the symbolic representation of cubes for large problem instances, the method is orders of magnit...
متن کاملazerbaijans political development after the collapse of soviet union and implication on relation with the islamic republic of iran
در فصل اول این پایاین نامه در خصوص تاریخ کشور اذربایجان قبل و بعد از جدایی این کشور از ایران مورد بررسی قرار گرفته است ودر فصل دوم تحولات سیاسی این کشور بعد از 1991 و در واقع بعد از فروپاشی شوروی و دولتهایی که روی کار امدند در از جمله دولت ابولفضل ایلچی بیگ،دولت حیدر علی اف وبعد از او پسرش الهام علی اف و نگرش هرکدام از این دولتها به سیاسیت خارجی اذربایجان مورد اشاره قرار گرفته است.در ودر فصل سو...
The I/O - Complexity of Ordered Binary - Decision Diagram Manipulation
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. OBDDs have been successfully used to solve problems in e.g. digital-systems design, verification and testing, in mathematical logic, concurrent system design and in artificial intelligence. The OBDDs used in many of th...
متن کاملMinimazation of Binary Decision Diagrams Based on Exchanges of Variables
We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDD’s). In the exact minimization algorithm the o timum order is searched by the exchanges o! variabyes of BDD’s based on the framework of Friedman’s algorithm. The use of BDD representation of a given function and intermediate functions makes it possible to introduce pruning i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 1996
ISSN: 0925-9856,1572-8102
DOI: 10.1007/bf00121263