Exploring the Limits of Computation

• Project Area: A multifaceted approach toward understanding the limitations of computation
• Project/Area Number: 17H06074
• Research Category: Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
• Allocation Type: Single-year Grants
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 渡辺 治 東京工業大学, 情報理工学院, 教授 (80158617)
• Co-Investigator(Kenkyū-buntansha): 牧野 和久 京都大学, 数理解析研究所, 教授 (60294162)
• Project Period (FY): 2017-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2017: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
• Keywords: 計算限界解明 / 研究成果とりまとめ / 計算限界 / 成果のとりまとめ / 若手育成 / 啓発活動

Outline of Annual Research Achievements

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

Research Progress Status

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

Strategy for Future Research Activity

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

Research Products

• [Journal Article] An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem (2018)
  • 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
  • ISBN: 9783319751719, 9783319751726
  • Peer Reviewed
• [Journal Article] Posimodular function optimization (2017)
  • Author(s): Magnus M. Halldorsson, Toshimasa Ishii，Kazuhisa Makino, Kenjiro Takazawa
  • Journal Title: Lecture Notes in Computer Science, Algorithms and Data Structures Volume: 10389 Pages: 437-448
  • DOI: 10.1007/978-3-319-62127-2_37
  • ISBN: 9783319621265, 9783319621272
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Parameterized Complexity of Sparse Linear Complementarity Problems (2017)
  • Author(s): Hanna Sumita, Naonori Kakimura, and Kazuhisa Makino
  • Journal Title: Algorithmica Volume: 掲載確定 Issue: 1 Pages: 42-65
  • DOI: 10.1007/s00453-016-0229-5
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] The Query Complexity of Witness Finding (2017)
  • Author(s): Kawachi Akinori、Rossman Benjamin、Watanabe Osamu
  • Journal Title: Theory of Computing Systems Volume: 61 Issue: 2 Pages: 305-321
  • DOI: 10.1007/s00224-016-9708-y
  • NAID: 120006582539
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Local restrictions from the Furst-Saxe-Sipser paper (2017)
  • Author(s): S. Tamaki and O. Watanabe
  • Journal Title: Theory of Computing Systems Volume: 60(1) Issue: 1 Pages: 20-32
  • DOI: 10.1007/s00224-016-9730-0
  • NAID: 120006582572
  • Peer Reviewed / Open Access / Acknowledgement Compliant
• [Presentation] 新学術領域「多面的アプローチの統合による計算限界の解明」成果報告 (2018)
  • Author(s): 渡辺 治
  • Organizer: 電子情報通信学会，コンピュテーション研究会
  • Invited