| 講演名 | 2019-12-13 連言標準形の論理式に関する公式と計算量について 町出 智也(NII), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 連言標準形(CNF)は、数理論理学においてブール論理における論理式の標準化の一種であり、SAT問題等幅広く使用されている。本講演では、CNFの命題論理式に関する公式を紹介する。またその公式によるSAT問題の計算量に関する応用も紹介する。 |
| 抄録(英) | An Boolean expression in conjunctive normal form, abbreviated as CNF, is used as a canonical normal form in Boolean logic, including SAT problem. In this talk, we introduce a mathematical formula for a CNF-SAT problem, and give an application to computational complexity. |
| キーワード(和) | SAT問題 / 連言標準形 / 公式 / 計算量 |
| キーワード(英) | SAT problem / CNF / mathematical formula / complexity |
| 資料番号 | COMP2019-37 |
| 発行日 | 2019-12-06 (COMP) |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2019/12/13(から1日開催) |
| 開催地（和） | 群馬大学 伊香保研修所 |
| 開催地（英） | Ikaho Seminar House, Gunma University |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 藤戸 敏弘(豊橋技科大) |
| 委員長氏名（英） | Toshihiro Fujito(Toyohashi Univ. of Tech.) |
| 副委員長氏名（和） | 中野 眞一(群馬大) |
| 副委員長氏名（英） | Shinichi Nakano(Gunma Univ.) |
| 幹事氏名（和） | 大舘 陽太(熊本大) / 玉置 卓(兵庫県立大) |
| 幹事氏名（英） | Yota Otachi(Kumamoto Univ) / Suguru Tamaki(Univ. of Hyogo) |
| 幹事補佐氏名（和） | 脊戸 和寿(成蹊大) |
| 幹事補佐氏名（英） | Kazuhisa Seto(Seikei Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Theoretical Foundations of Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 連言標準形の論理式に関する公式と計算量について |
| サブタイトル（和） | |
| タイトル（英） | On a formula for Boolean expressions of Conjunctive normal form and computational complexity |
| サブタイトル（和） | |
| キーワード(1)（和/英） | SAT問題 / SAT problem |
| キーワード(2)（和/英） | 連言標準形 / CNF |
| キーワード(3)（和/英） | 公式 / mathematical formula |
| キーワード(4)（和/英） | 計算量 / complexity |
| 第 1 著者 氏名（和/英） | 町出 智也 / Tomoya Machide |
| 第 1 著者 所属（和/英） | 国立情報学研究所(略称：NII) National Institute of Infomatics(略称：NII) |
| 発表年月日 | 2019-12-13 |
| 資料番号 | COMP2019-37 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | COMP-340 |
| ページ範囲 | pp.55-59(COMP), |
| ページ数 | 5 |
| 発行日 | 2019-12-06 (COMP) |