幅が制限された論理回路の計算量に関する研究

2014 年度 研究成果報告書

• 研究課題/領域番号: 23700020
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 情報学基礎
• 研究機関: 島根大学
• 研究代表者: 森住 大樹 島根大学, 総合理工学研究科(研究院), 助教 (50463782)
• 研究期間 (年度): 2011-04-28 – 2015-03-31
• キーワード: 計算量理論 / 回路計算量 / 論理回路 / 論理関数 / 幅限定回路

研究成果の概要

幅が制限された論理回路に着目し，その回路計算量の解明を進めることを目的として研究を実施した．本研究は，計算機が行う計算の数学的モデルとして論理回路をとらえ計算量理論の立場から研究を行ったものであり，背景にはＰ対ＮＰ問題に代表される問題の本質的な難しさに関する多くの未解決問題がある．結果として，論理回路と論理関数に関する複数の成果を得た．

自由記述の分野

理論計算機科学