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

2007 Fiscal Year Annual Research Report

論理関数表現のモデルとシンボリックアルゴリズム

Research Project

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

Principal Investigator

武永 康彦  The University of Electro-Communications, 電気通信学部, 准教授 (20236491)

Co-Investigator(Kenkyū-buntansha) 湊 真一  北海道大學, 大学院・情報化科学研究所, 准教授 (10374612)
Keywords論理関数 / アルゴリズム / 二分決定グラフ / シンボリックアルゴリズム
Research Abstract

1.二分決定グラフによるデータ表現については、第一に、二分決定グラフの構造を論理関数で表現する二分決定グラフの非明示的表現を用いて、効率的な表現が可能な論理関数について研究を行ない、多変量閾値関数を入力変数のビット長に依存しないサイズで表現できることを示した。
第二に、A07班山下との共同研究により、量子論理関数を効率よく表現するためのOBDDの変種データ構造を比較検討し、山下が以前に提案したDecisionDiagrams for Matrix Functions(DDMFs)の有効性を理論的に考察した。このデータ構造が、量子論理回路に特有の制約条件をうまく利用しており、単純なOBDDよりも一層データを圧縮し、処理効率を高めていることを明らかにした。
2.OBDDに基づくシンボリックアルゴリズムについては、前年度に引き続き、トポロジカルソートの列挙、OBDDによる画像処理アルゴリズムについて研究を行なった。前者では先行頂点数等を求めることにより従来法より計算過程でのOBDDサイズを大幅に抑えられることを示した。後者ではOBDD予測符号化を用いることによりOBDDサイズが圧縮可能であり、提案済みの画像処理アルゴリズムをほぼそのまま利用できることを示した。また、OBDDを用いたナンバーリンクの解法、問題の正当性の判定手法の提案・実装を行なった。

  • Research Products

    (6 results)

All 2008 2007 Other

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

  • [Journal Article] TVee-Shellability of Restricted DNFs2008

    • Author(s)
      YasiiMko Takenaga
    • Journal Title

      IEICE Trans. In£& Syst. E-91D

      Pages: 996-1002

    • Peer Reviewed
  • [Journal Article] PSPACE・Completeness of an Escape Problem

    • Author(s)
      Yasuhiko Takenaga
    • Journal Title

      Information Processing Letters 掲載予定

    • Peer Reviewed
  • [Presentation] OBDDによるナンバーリンクの解法2008

    • Author(s)
      古妻 浩一
    • Organizer
      科学研究費特定領域研究ミニ研究集会
    • Place of Presentation
      東京
    • Year and Date
      20080300
  • [Presentation] 多変量〓値関数の非明示的OBDD表現2008

    • Author(s)
      中山 昌光
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東京
    • Year and Date
      20080300
  • [Presentation] OBDDを用いた画像処理アルゴリズム2008

    • Author(s)
      番能 孝生
    • Organizer
      電子情報通信学会総合大会
    • Place of Presentation
      北九州
    • Year and Date
      20080300
  • [Presentation] Vertex Coloring of Chordal十kle-k2e Graphs2007

    • Author(s)
      Yasuhiko Takenaga
    • Organizer
      18th International Workshop on Combinatorial Algorithms
    • Place of Presentation
      Newcastle, Australia
    • Year and Date
      20071100

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi