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

近似法に基づく論理関数の複雑さの評価に関する研究

研究課題

研究課題/領域番号 11780182
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関東北大学

研究代表者

天野 一幸  東北大学, 大学院・情報科学研究科, 助手 (30282031)

研究期間 (年度) 1999 – 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
2,100千円 (直接経費: 2,100千円)
2000年度: 600千円 (直接経費: 600千円)
1999年度: 1,500千円 (直接経費: 1,500千円)
キーワード回路計算量 / 近似法 / 決定木 / 剰余回路 / 並列計算 / 単調 / 否定素子数限定回路
研究概要

本研究は,与えられた論理関数を計算する最小の論理回路のサイズに対する下界を導出する手法を開発することを目標とするものである.本研究では特に,この問題に対する有望な手法として知られる近似法を,従来は単調論理回路,すなわち,論理和ゲートと論理積ゲートのみからなる論理回路に対してのみ適用可能であったものから,一般の論理回路モデルや,更には決定木モデルにおいても適用可能となるように拡張することに主眼をおき研究を行った.本年度の研究において得られた主な結果は以下のとおりである.
1.ゲートの出力値が,そのゲートの入力の和のある定数剰余によってのみ定まる,いわゆる剰余回路モデルにおいて,任意のサイズの定数段剰余回路は,2段の等価な剰余回路に変換可能であることを代数的手法を用いて示した.また,その出力値が入力変数のうち値1をとるものの個数で定まる関数である対称関数について,これを計算する2段の剰余回路に対する必要条件を,フーリエ変換的手法を用いて示した.また,これら2つの結果と近似法を組み合わせて,対称関数を計算する剰余回路のサイズの下界を導いた.
2.並列計算のモデルとして,近年盛んに研究が行われている併置決定木群を用いた計算量について解析を行った.種々の論理関数の近似度,すなわち,与えられた論理関数をある限定された関数クラスに属する関数のみを用いて近似する場合の,近似の度合いの限界値について解析することを通して,併置決定木群の計算量に関する未解決問題のいくつかに対する回答を与えた.

報告書

(2件)
  • 2000 実績報告書
  • 1999 実績報告書
  • 研究成果

    (5件)

すべて その他

すべて 文献書誌 (5件)

  • [文献書誌] 天野一幸: "決定不における補助ビット問題について"電子情報通信学会 技術研究報告 -コンピュテーション-. 2000・10. 57-64 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 天野一幸: "モノポリストゲームのゲーム長(手数)について"電子情報通信学会 技術研究報告 -コンピュテーション-. 2000・11. 41-48 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Kazoyoki Amano: "On the Negation-Limited Circuit Complexity of Merging"Discrete Applied Mathematics. (発表予定). (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Kazuyuki Amano: "On the Negation-Limited Circuit Complexity of Merging"Lecture Notes in Computer Science. 1627. 204-209 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 天野一幸: "ブール関数のフーリエ変換とその応用"電子情報通信学会誌. 82巻12号. 1270-1272 (1999)

    • 関連する報告書
      1999 実績報告書

URL: 

公開日: 1999-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi