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

Study of Circuit Complexity Using Polynomial Representations of Boolean Functions

Research Project

Project/Area Number 25330010
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Theory of informatics
Research InstitutionThe University of Electro-Communications

Principal Investigator

Tarui Jun  電気通信大学, 情報理工学(系)研究科, 准教授 (00260539)

Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords計算量 / 領域計算量 / Exponential Time予想 / 深さ優先探索 / 通信計算量 / 多項式表現 / 計算量理論 / 回路計算量 / ブール関数と多項式
Outline of Final Research Achievements

We have shown that for an undirected graph with n vertices and m edges, Depth-First Search (DFS) is possible using n+o(n) bits of memory. For a directed acyclic graph, DFS is possible using n/[exp(Omega(root(log n))) ] bits of memory. We have also obtained similar results for several other graph problems. Recently, researchers are finding more and more interesting connections between Exponential-Time Hypothesis (ETH) and the time complexity of polynomial-time solvable problems. For example, it is now known that ETH implies that a truly sub-cubic algorithm does *not* exist for a certain graph problem. Our results above seem to suggest that we should investigate space-complexity analogues of this phenomena: What are the consequences of the conjecture "Problem A requires linear space" ?

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • Research Products

    (1 results)

All 2014

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

  • [Journal Article] Depth-First Search Using O(n) Bits2014

    • Author(s)
      Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara
    • Journal Title

      Algorithms and Computation Lecture Notes in Computer Science

      Volume: 8889 Pages: 553-564

    • DOI

      10.1007/978-3-319-13075-0_44

    • ISBN
      9783319130743, 9783319130750
    • Related Report
      2014 Research-status Report
    • Peer Reviewed

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi