On the computational power of binary decision diagram with redundant variables

Tetsuya Yamada, Hiroto Yasuura

研究成果: ジャーナルへの寄稿学術誌査読

1 被引用数 (Scopus)

抄録

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

  • ソフトウェア
  • 理論的コンピュータサイエンス
  • ハードウェアとアーキテクチャ

フィンガープリント

「On the computational power of binary decision diagram with redundant variables」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル