WEKO3
アイテム
ブール加法形式の不変量について
https://ipsj.ixsq.nii.ac.jp/records/121883
https://ipsj.ixsq.nii.ac.jp/records/121883255ccb16-1466-448a-97f5-ea42a54b98e2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001343575.pdf (202.8 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1992-09-28 | |||||
| タイトル | ||||||
| タイトル | ブール加法形式の不変量について | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | On Invariants of Boolean Disjunctive form | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 神奈川工科大学 | ||||||
| 著者所属 | ||||||
| 明治大学 | ||||||
| 著者所属 | ||||||
| 明治大学 | ||||||
| 著者所属 | ||||||
| 神奈川工科大学 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Kanagawa Institute of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Mwiji University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Mwiji University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Kanagawa Institute of Technology | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 2値論理関数は,通常ブール式(論理式)で表現されており,プール式は一般に加法形式に展開されて使用される場合が多い。ブール加法形式の数を求める良いアルゴリズムは,今のところ知られていない。本論文は,文献[1]で与えた数え上げに有効な同値類の,省略されていた不変量の証明を示す。ブール加法形式の数のみを問題にする場合,この不変量により2値論理関数のNP同値類より類の数が少ないNP同値類で数え上げることが出来る。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第45回, 号 基礎理論及び基礎技術, p. 79-80, 発行日 1992-09-28 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
