枝刈り機能付きBDDパッケージとその応用
スポンサーリンク
概要
- 論文の詳細を見る
近年、二分決定グラフ(BDD)を用いて集合を操作する手法を用いてこれまで解けなかった組合せ最適化問題を解くアルゴリズムが種々提案されつつある。しかしながら与えられた問題の規模が大きくなればグラフのサイズが大きくなり過ぎて取り扱うことができなくなる傾向があり、BDDの応用の障害となっている。本稿ではBDDを生成するAPPLY操作そのものに枝刈り(pruning)の機能を組み込んだAPPRUNE操作を提案する。本稿では閾値関数を評価関数とする枝刈り機能を持つAPPRUNE操作を例にとってそのアルゴリズムを考え、さらにこれを実装したパッケージを用いた一般化リードマラー論理式の最小化の実験を行なった。
- 一般社団法人情報処理学会の論文
- 1995-03-08
著者
関連論文
- パネル討論 : 大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- パネル討論:大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- パネル討論 : 大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- 微細テクノロジ向けDRCルールファイルからの設計規則抽出とその可視化(レイアウト設計検証, システムLSIの設計技術と設計自動化)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- DRCルールファイルからの設計規則抽出とその可視化
- 兎・亀プロセッサの切替えによる低消費エネルギー化の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 兎・亀プロセッサの切替えによる低消費エネルギー化の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- DRCルールファイルからの設計規則抽出とその可視化
- DRCルールファイルからの設計規則抽出とその可視化
- DRCルールファイルからの設計規則抽出とその可視化
- 乗算器のBoothリコーダの回路方式について
- 乗算器のBoothリコーダの回路方式について
- 乗算器のBoothリコーダの回路方式について
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- 一般二分決定グラフの生成法
- 一般二分決定グラフの生成法
- BDDパッケージの動的変数順序づけの並列化
- BDDパッケージの動的変数順序づけの並列化
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- 一般二分決定グラフの生成法
- FPAccA:フィールドプログラマブルアキュムレータアレイ : FPAccA model 1.0チップの設計と評価 (電子システムの設計技術と設計自動化)
- PA-2-7 VLSI設計のための望ましいCADツール
- ハードウェアエンジンとしてFPGAを利用した消費電力シミュレーション
- 符号化したMRCFによるAND-EXOR論理式の厳密最小化
- 枝刈り機能付きBDDパッケージとその応用
- FPAA : フィールドプログラマブルアキュムレータアレイ