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

2008 Fiscal Year Annual Research Report

定量的計算資源としてのランダムネス:効率的利用法の開発と限界の解明

Research Project

Project/Area Number 18500006
Research InstitutionThe University of Electro-Communications

Principal Investigator

垂井 淳  The University of Electro-Communications, 電気通信学部, 准教授 (00260539)

Keywords計算量理論 / アルゴリズム / ランダムネス
Research Abstract

(1) 具体的ブール関数の回路計算量に対する下界で、現在知られている最良のものは、Lachishらによる5nである。研究代表者は、Lashishらの枠組みの中の関数でサイズ5nの回路で計算できるものを構成することに成功した。これにより、Lachishらの枠組みから導き出せる下界の限界が5nであるという意外な結論が得られた。
(2) NOTゲートを少ない数だけしか用いないという制限下でのサイズと深さがともに小さいインバーター回路の構成に成功した。
(3) ストリームに出現する重複アイテムを特定する計算に必要なランダムネスと計算領域について、研究代表者は平成19年度LNCS4484において新結果を発表した。この結果は注目を集め、2009年1月のSODAO9においてRadhakrishnanらが新たな関連結果を発表した。さらなる展開のために研究代表者は彼らとの共同研究を進め予備的結果を得ることに成功した。

  • Research Products

    (6 results)

All 2009 2008

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

  • [Journal Article] Linear-Size Log-Depth Negation-Limited Inverter for k-tonic Binary Sequences2009

    • Author(s)
      H. Morizumi, J. Tarui
    • Journal Title

      Theoretical Computer Science 410

      Pages: 1054-1060

    • Peer Reviewed
  • [Journal Article] Reductions for Monotone Boolean Circuits2009

    • Author(s)
      K. Iwama, H. Morizumi, J. Tarui
    • Journal Title

      Theoretical Computer Science 408

      Pages: 208-212

    • Peer Reviewed
  • [Journal Article] Negation-Limited Complexity of Parity and Inverters2009

    • Author(s)
      K. Iwama, H. Morizutni, J. Tarui
    • Journal Title

      Algorithmica 54

      Pages: 256-267

    • Peer Reviewed
  • [Journal Article] On the Minimum Number of Completely 3-Scrambling Permutations2008

    • Author(s)
      J. Tarui
    • Journal Title

      Discrete Mathematics 308

      Pages: 1350-1354

    • Peer Reviewed
  • [Presentation] Smallest Formulas for Parity of 2^k Variables Are Essentially Unique2008

    • Author(s)
      J. Tarui
    • Organizer
      rhe 14^<th> Annual International Computing and Combinatorics Conference (COCOON08). LNCS vol. 5092, 92-99, 2008.
    • Place of Presentation
      Dalian, China
    • Year and Date
      2008-06-29
  • [Presentation] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachisch-Raz-Type Bounds.2008

    • Author(s)
      K. Amano, J. Tarui
    • Organizer
      The 5^<th> Conference on Theory and Applications of Models of Computation (TAMC08). LNCS vol. 4978, 342-350, 2008.
    • Place of Presentation
      Xi'an China
    • Year and Date
      2008-04-27

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi