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

2018 Fiscal Year Research-status Report

計算量クラスの階層定理の証明と論理合成システムの新評価法の確立

Research Project

Project/Area Number 16K00020
Research InstitutionHiroshima University

Principal Investigator

岩本 宙造  広島大学, 工学研究科, 教授 (60274495)

Project Period (FY) 2016-04-01 – 2021-03-31
Keywords計算の複雑さ
Outline of Annual Research Achievements

n変数の関数f(x1,x2,...,xn)に対して,素子数nの3乗の回路を設計したとする.はたして,良い回路が設計できたかどうかは,どのように評価すれば良いだろうか.たとえば,任意の微小な定数ε>0に対して,素子数nの(3-ε)乗の如何なる回路でも関数fは計算できないといった最適性が,理論的に証明できればいいのだが,その証明は非常に難しいことが知られている.さらに言えば,任意の有理数r>1に対して,素子数nのr乗の回路で計算できるが,素子数nの(rーε)乗の回路では計算できないという具体的な関数fが実際に存在するか否かさえも分かっていないのである.本研究の第一の目的は,問題を解くのに必要となる計算時間や記憶領域量などの計算資源量に基づく計算複雑性クラスの間の包含関係や,クラス間の階層性を明らかにすることである.そして,クラス間に存在する真に難しい関数を人工的に作成し,システム評価に役立てる.
2018年度は,ニコリのペンシルパズルの計算複雑さを探究した.その結果,ヘルゴルフ,マカロ,クロット,縦横さん,ウソワン,ドッスンフワリのNP困難性を証明できた.これらの結果は,イタリアで開催された国際会議FUN2018や,フィリピンで開催された国際会議JCDCGGG2018, 国際ジャーナルIEICE Transactions on Information and Systems, および Journal of Information Processingに採択された.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

6つの研究問題に対して,計算複雑性を解明できた.

Strategy for Future Research Activity

2019年度は,より実用的な問題に対して計算複雑性を解明し,計算量クラス間の包含関係や階層性を証明する.

Causes of Carryover

投稿中の論文の審査が遅れたため.その論文が採録され次第,印刷費として使用します.翌年度分の予算は,当初の計画どおりに使用します.

  • Research Products

    (4 results)

All 2018

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

  • [Journal Article] Computational Complexity of Usowan Puzzles2018

    • Author(s)
      Chuzo Iwamoto and Masato Haruishi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science

      Volume: E101-A Pages: 1537-1540

    • DOI

      10.1587/transfun.E101.A.1537

    • Peer Reviewed
  • [Journal Article] Dosun-Fuwari is NP-complete2018

    • Author(s)
      Chuzo Iwamoto and Tatsuaki Ibusuki
    • Journal Title

      Journal of Information Processing

      Volume: 26 Pages: 358-361

    • DOI

      10.2197/ipsjjip.26.358

    • Peer Reviewed
  • [Presentation] Kurotto and Juosan are NP-complete2018

    • Author(s)
      Chuzo Iwamoto
    • Organizer
      The 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)
    • Int'l Joint Research
  • [Presentation] Herugolf and Makaro are NP-complete2018

    • Author(s)
      Chuzo Iwamoto
    • Organizer
      The Ninth International Conference on Fun with Algorithms (FUN 2018)
    • Int'l Joint Research

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi