BDD党紹介ページ

BDDとは

Binary Decision Diagram (BDD)とは、論理関数をコンパクトに表現し、効率良く扱うデータ構造。
ハードウェアの設計・検証や、制約充足問題を解くために利用される。
再帰、ハッシュ、キャッシュ、オブジェクト指向などの基本的なアルゴリズムやデータ構造の集大成である。

BDD党の公約：こんなことを目指します。

BDDの大規模処理・高速処理を実現
BDDの並列化処理、ストリーミング処理手法を研究し、大規模なBDD処理を実現する方法や、高速処理方法を研究する。
既存手法では実現できなかったような大規模な回路設計や問題解決への活用を目指す。

新しいBDDの応用方法の提案
文字列集合を表すSeqBDDや、量子回路を表すDDMFの応用方法の発見を目指す。