• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Research-status Report

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

Research Project

Project/Area Number 15K11986
Research InstitutionShimane University

Principal Investigator

森住 大樹  島根大学, 総合理工学研究科, 助教 (50463782)

Project Period (FY) 2015-04-01 – 2019-03-31
Keywords計算量理論 / 回路計算量 / 非決定性回路
Outline of Annual Research Achievements

計算機の進歩とともに計算機を活用して問題を解くことが広く行われるようになり多くのアルゴリズムが開発されているが,その一方,問題の本質的な難しさについては,P対NP問題をはじめとして解明されていない事が多く残されている.回路計算量は問題の本質的な難しさを証明するのに有力と考えられている手法の一つであり,30年以上に渡り広く研究が行われている.本研究では,一般の回路計算量の下界と非決定性回路との関係から非決定性回路に着目し,その研究を確立することで,難問とされている問題の難しさに関する未解決問題の解決へとつなげることを目的とする.
初年度に非決定性計算がU2回路でパリティ関数を計算する場合には役に立たないことを意味する成果を得ていたが,本年度は,逆に非決定性計算が役に立つ場合をU2回路を含む様々な計算モデルにおいて明らかにする事に取り組んだ.一定の成果を得ており,今後論文としてまとめる予定である.この研究は,P対NP問題のNに相当する,非決定性計算の理解を深めることにつながるものである.また,論理回路を計算モデルとして非決定性について考えるのが本研究の主目的であるが,その過程で積み重ねられた知見を応用して,計算モデル上で零抑制について考える事にも取り組んだ.零抑制は近年注目されているデータ構造ZDDの核となる要素である.その成果は,本年度中に投稿した国際会議IWOCA'18に採録され,次年度に発表を行う事が決定している.

Current Status of Research Progress
Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

研究成果は挙がりつつあるものの,全体的に研究目的の達成はやや遅れ,補助事業期間を1年延長することとなったため,「やや遅れている」とした.

Strategy for Future Research Activity

やや遅れていることを除けば研究計画の遂行に支障は生じておらず,計画に沿って研究を推進する.

Causes of Carryover

研究目的の達成がやや遅れていることなどから,当初の予定よりこれまでに成果発表のための旅費等に使用した額が少なかったために,次年度に使用する研究費が生じた.
最終年度となる次年度は成果発表を多く予定しており,次年度に使用する研究費は,成果発表のための旅費,国際会議登録料,英文校正費,その他必要な物品の購入等に使用する計画である.本研究は理論研究であり特別な装置などは必要なく,当初の計画から成果発表のため必要となる経費の割合が比較的大きいものとなっており,当初の計画に沿って使用する計画である.

  • Research Products

    (2 results)

All 2018

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (1 results)

  • [Journal Article] Zero-Suppression and Computation Models2018

    • Author(s)
      Hiroki Morizumi
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10979 Pages: 263~272

    • DOI

      https://doi.org/10.1007/978-3-319-94667-2_22

    • Peer Reviewed
  • [Presentation] ZDDと論理式に関する一考察2018

    • Author(s)
      森住 大樹
    • Organizer
      情報処理学会 第167回アルゴリズム研究会

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi