講演抄録/キーワード |
講演名 |
2019-12-13 14:35
連言標準形の論理式に関する公式と計算量について ○町出智也(NII) COMP2019-37 |
抄録 |
(和) |
連言標準形(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 / / / / |
文献情報 |
信学技報, vol. 119, no. 340, COMP2019-37, pp. 55-59, 2019年12月. |
資料番号 |
COMP2019-37 |
発行日 |
2019-12-06 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2019-37 |