抄録
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 for the number of input variables. Assuming that the class of languages on {0, 1}* that are accepted by logarithmic space bounded DTMs is DLOG, the following relation holds. PolyIBDD = DLOG. That is to say that languages which belong to DLOG also belong to PolyIBDD. We also show examples of polynomial-sized IBDD's construction from logarithmic space bounded DTMs.
本文言語 | 英語 |
---|---|
ページ(範囲) | 65-89 |
ページ数 | 25 |
ジャーナル | Formal Methods in System Design |
巻 | 8 |
号 | 1 |
DOI | |
出版ステータス | 出版済み - 1996 |
!!!All Science Journal Classification (ASJC) codes
- ソフトウェア
- 理論的コンピュータサイエンス
- ハードウェアとアーキテクチャ