回路計算量の下界証明におけるアルゴリズム的手法の研究

2016 年度 研究成果報告書

• 研究課題/領域番号: 26730007
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 情報学基礎理論
• 研究機関: 成蹊大学
• 研究代表者: 脊戸 和寿 成蹊大学, 理工学部, 講師 (20584056)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• キーワード: 計算量理論 / 充足可能性問題 / 回路計算量 / 閾値回路

研究成果の概要

理論計算機科学分野における最大の未解決問題であるP vs. NP問題の解決に向け，充足可能性問題のアルゴリズム設計による回路計算量の下界証明の研究を行った．本研究では閾値素子を一定数含む定数段数論理回路の充足可能性問題に対して，全探索よりも真に高速なアルゴリズムを設計することに成功した．また付随する結果として，最大充足可能性問題の新たなアルゴリズムが得られた．

自由記述の分野

情報学基礎理論