• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2008 年度 研究成果報告書

大規模数理計画的アプローチに基づく回路計算量の下限導出手法の開発

研究課題

  • PDF
研究課題/領域番号 19500006
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 情報学基礎
研究機関群馬大学

研究代表者

天野 一幸  群馬大学, 大学院・工学研究科, 准教授 (30282031)

研究期間 (年度) 2007 – 2008
キーワード回路計算量 / 下限 / 論理回路
研究概要

論理回路モデルを代表とする各種計算モデルに対する, 論理関数の計算量の下限導出手法に関する研究を行った. 特に, 計算量下限導出問題を大規模数理計画問題へと帰着するアプローチについて重点的に研究を行った. その結果, 限定乱雑性を持つ論理関数に対する論理回路のサイズや, 多数決関数を近似する論理関数に対する定数段数論理回路のサイズの漸近的値を明らかにすることに成功した. 更には, 単キュービット量子回路に対して, その表現の一意性が担保される正規形の概念を提案したる.

  • 研究成果

    (11件)

すべて 4978 2009 2008 2007

すべて 雑誌論文 (5件) (うち査読あり 5件) 学会発表 (6件)

  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n+o(n)4978

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 雑誌名

      Tightness of the Lachish-Raz-type Bounds, Lecture Notes in Computer Science

      ページ: 342-350

    • 査読あり
  • [雑誌論文] K-Subgraph Isomorphism on AC0 Circuit2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Proceedings of the 24^<th> IEEE Conference on Computational Complexity (in press)

    • 査読あり
  • [雑誌論文] Bounds on the Size of Small Depth Circuit for Approximation Majority2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Proceedings of the 36^<th> International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science (in press)

      ページ: 5555

    • 査読あり
  • [雑誌論文] Representation of Quantum Circuits with Clifford and π/8 Gates2008

    • 著者名/発表者名
      松本健, 天野一幸
    • 雑誌名

      Proceedings of the 8^<th> Asian Conference on Quantum Information Science

      ページ: 135-136

    • 査読あり
  • [雑誌論文] Monotone DNF Formulas that has a Minimal or Maximal Number of Satisfying Assignments2008

    • 著者名/発表者名
      佐藤貴之, 天野一幸, 瀧本英二, 丸岡章
    • 雑誌名

      Lecture Notes in Computer Science 5092

      ページ: 191-203

    • 査読あり
  • [学会発表] 最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム2009

    • 著者名/発表者名
      福原秀明, 滝本英二, 天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      東京
    • 年月日
      2009-03-01
  • [学会発表] 部分グラフ同型性判定の回路計算量について2008

    • 著者名/発表者名
      天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      群馬県伊香保
    • 年月日
      2008-12-03
  • [学会発表] Clifford+π/8量子回路の計算能力2008

    • 著者名/発表者名
      松本健, 天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      神奈川
    • 年月日
      2008-03-10
  • [学会発表] 方形描画の数え上げ2007

    • 著者名/発表者名
      天野一幸, 中野眞一, 山中克久
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      新潟
    • 年月日
      2007-11-28
  • [学会発表] A Well-Mixed Function with Circuit Complexity 5n + o(n) : Tightness of the Lachish-Raz-type Bounds2007

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 学会等名
      The 10th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 07)
    • 発表場所
      光州(韓国)
    • 年月日
      2007-08-09
  • [学会発表] 回路計算量の5nの下界に対する5nの上界2007

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 学会等名
      2007年夏のLAシンポジウム
    • 発表場所
      石川
    • 年月日
      2007-07-20

URL: 

公開日: 2010-06-10   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi