• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

非決定性回路を対象とする回路計算量理論の確立

研究課題

研究課題/領域番号 15K11986
研究種目

挑戦的萌芽研究

配分区分基金
研究分野 情報学基礎理論
研究機関島根大学

研究代表者

森住 大樹  島根大学, 学術研究院理工学系, 助教 (50463782)

研究期間 (年度) 2015-04-01 – 2019-03-31
研究課題ステータス 完了 (2018年度)
配分額 *注記
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
キーワード計算量理論 / 回路計算量 / 非決定性回路
研究成果の概要

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

研究成果の学術的意義や社会的意義

計算機の進歩とともに計算機を活用して問題を解くことが広く行われるようになり多くのアルゴリズムが開発されているが,その一方,問題の本質的な難しさについては,P対NP問題をはじめとして解明されていない事が多く残されている.回路計算量は問題の本質的な難しさを証明するのに有力と考えられている手法の一つであり,30年以上に渡り広く研究が行われている.本研究は,非決定性回路に着目し,その研究を確立することで,難問とされている問題の難しさに関する未解決問題の解決へとつなげることを目的として実施した.

報告書

(5件)
  • 2018 実績報告書   研究成果報告書 ( PDF )
  • 2017 実施状況報告書
  • 2016 実施状況報告書
  • 2015 実施状況報告書
  • 研究成果

    (5件)

すべて 2019 2018 2015

すべて 雑誌論文 (2件) (うち査読あり 2件、 謝辞記載あり 1件) 学会発表 (3件)

  • [雑誌論文] Zero-Suppression and Computation Models2018

    • 著者名/発表者名
      Hiroki Morizumi
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 10979 ページ: 263-272

    • DOI

      10.1007/978-3-319-94667-2_22

    • ISBN
      9783319946665, 9783319946672
    • 関連する報告書
      2018 実績報告書 2017 実施状況報告書
    • 査読あり
  • [雑誌論文] Lower Bounds for the Size of Nondeterministic Circuits2015

    • 著者名/発表者名
      Hiroki Morizumi
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9198 ページ: 289-296

    • DOI

      10.1007/978-3-319-21398-9_23

    • ISBN
      9783319213972, 9783319213989
    • 関連する報告書
      2015 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [学会発表] Some Results on the Power of Nondeterministic Computation2019

    • 著者名/発表者名
      Hiroki Morizumi
    • 学会等名
      2018年度冬のLAシンポジウム
    • 関連する報告書
      2018 実績報告書
  • [学会発表] Lower Bounds and Satisfiability Algorithms for Bounded Width Circuits2019

    • 著者名/発表者名
      Hiroki Morizumi
    • 学会等名
      電子情報通信学会コンピュテーション研究会(2019年3月)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] ZDDと論理式に関する一考察2018

    • 著者名/発表者名
      森住 大樹
    • 学会等名
      情報処理学会 第167回アルゴリズム研究会
    • 関連する報告書
      2017 実施状況報告書

URL: 

公開日: 2015-04-16   更新日: 2020-03-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi