ブール加法形式の不変量について
書誌事項
- タイトル別名
-
- On Invariants of Boolean Disjunctive form
この論文をさがす
抄録
2値論理関数は,通常ブール式(論理式)で表現されており,プール式は一般に加法形式に展開されて使用される場合が多い。ブール加法形式の数を求める良いアルゴリズムは,今のところ知られていない。本論文は,文献[1]で与えた数え上げに有効な同値類の,省略されていた不変量の証明を示す。ブール加法形式の数のみを問題にする場合,この不変量により2値論理関数のNP同値類より類の数が少ないNP同値類で数え上げることが出来る。
収録刊行物
-
- 全国大会講演論文集
-
全国大会講演論文集 第45回 (基礎理論及び基礎技術), 79-80, 1992-09-28
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050292572152377728
-
- NII論文ID
- 110002889106
-
- NII書誌ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00122014/
-
- 本文言語コード
- ja
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles