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

2017 Fiscal Year Annual Research Report

Exploring the Limits of Computation

Compiling the Research Achievements

Project AreaA multifaceted approach toward understanding the limitations of computation
Project/Area Number 17H06074
Research InstitutionTokyo Institute of Technology

Principal Investigator

渡辺 治  東京工業大学, 情報理工学院, 教授 (80158617)

Co-Investigator(Kenkyū-buntansha) 牧野 和久  京都大学, 数理解析研究所, 教授 (60294162)
Project Period (FY) 2017-04-01 – 2018-03-31
Keywords計算限界解明 / 研究成果とりまとめ
Outline of Annual Research Achievements

本年度は,この「成果とりまとめ」の予算を用い,本領域の事後評価のための準備,最終年度(昨年度)までで完了しきれなかった研究のとりまとめ,そして成果の啓発活動を行った。事後評価の準備では,分担者(牧野)と綿密な連絡を取り合いながら,本「成果とりまとめ」に連携研究者として加わった領域の各計画研究代表者から,これまでの膨大な研究成果を収集し,それらを整理しとりまとめ,事後評価報告書や事後評価のためのプレゼンテーション,さらには領域の成果を啓発するための講演資料を作成することができた。事後評価のためのプレゼンテーション,さらには領域の成果を啓発するための講演資料を作成することができた。その事後評価については,A評価を頂くことができた。

Research Progress Status

29年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

29年度が最終年度であるため、記入しない。

  • Research Products

    (6 results)

All 2018 2017

All Journal Article (5 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 5 results) Presentation (1 results) (of which Invited: 1 results)

  • [Journal Article] An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem2018

    • Author(s)
      Qin Tong、Watanabe Osamu
    • Journal Title

      Proc. of the 12th International Conference and Workshops on Algorithms and Computation

      Volume: LNCS Pages: 93~105

    • DOI

      10.1007/978-3-319-75172-6_9

    • Peer Reviewed
  • [Journal Article] Posimodular Function Optimization2017

    • Author(s)
      Halldorsson Magnus M.、Ishii Toshimasa、Makino Kazuhisa、Takazawa Kenjiro
    • Journal Title

      Proc. Algorithms and Data Structure Symposium

      Volume: LNCS 10389 Pages: 437~448

    • DOI

      10.1007/978-3-319-62127-2_37

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Parameterized Complexity of Sparse Linear Complementarity Problems2017

    • Author(s)
      Sumita Hanna、Kakimura Naonori、Makino Kazuhisa
    • Journal Title

      Algorithmica

      Volume: 79 Pages: 42~65

    • DOI

      10.1007/s00453-016-0229-5

    • Peer Reviewed
  • [Journal Article] The Query Complexity of Witness Finding2017

    • Author(s)
      Kawachi Akinori、Rossman Benjamin、Watanabe Osamu
    • Journal Title

      Theory of Computing Systems

      Volume: 61 Pages: 305~321

    • DOI

      10.1007/s00224-016-9708-y

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Local Restrictions from the Furst-Saxe-Sipser Paper2017

    • Author(s)
      Tamaki Suguru、Watanabe Osamu
    • Journal Title

      Theory of Computing Systems

      Volume: 60 Pages: 20~32

    • DOI

      10.1007/s00224-016-9730-0

    • Peer Reviewed
  • [Presentation] 新学術領域「多面的アプローチの統合による計算限界の解明」成果報告2018

    • Author(s)
      渡辺 治
    • Organizer
      電子情報通信学会,コンピュテーション研究会
    • Invited

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi