AND-EXOR論理式最小化アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 従来よりも高速なAND-EXOR論理式の最小化アルゴリズムを提案する.これまで, 6変数関数のAND-EXOR論理式について現実的な計算時間で最小化することは困難とされてきたが, 本手法は, 任意の6変数関数および一部の7変数関数について現実的な計算時間で最小解を求めることができる.本手法の高速化のポイントは, 解の探索を効率化したことにある.解の最小性を保証しつつ探索を効率化するために, 枝刈りによる無駄な探索の省略や, 探索範囲の動的な評価を議論する.最後に実験結果により本手法の有効性を示す.
- 一般社団法人情報処理学会の論文
- 2002-01-23
著者
関連論文
- 16セグメントディスプレイ上の英字パターンの一斉射撃問題
- k-グラフ生成文法
- 点の次数3以下のグラフに対する2部グラフ化問題
- Pseudoproductに基づく回路とそのテスト容易性
- Pseudoproductに基づく回路とそのテスト容易性
- Pseudoproductに基づく回路とそのテスト容易性
- ハイパーリングのハイパーキューブへの埋め込み
- 6N-10 MPIプログラムのためのランダム遅延によるUnit Testing Framework(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)
- 情報伝播アルゴリズムによる安全なメッセージ伝達
- Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing)
- ロックアウトフリーな相互排除アルゴリズム
- プログラム変換によるCPSコンパイラの最適化に関する研究
- 二重固定極性リード・マラー論理式
- 状態に依存したプログラムの合成
- 相互排他アルゴリズムのメモリ競合解析
- パーミュテーショナルグラフの独立全域木
- パーミュテーショナルグラフのブロードキャスティング
- EXORに基づいた回路のランダムパタンテスト容易性
- 一線入力AOI-EXOR論理式最小化
- 論理関数の奇数度に着目したAND-EXOR論理式簡単化アルゴリズム
- 2段MOS論理回路網設計のための論理関数のグラフによる表現
- MOSセルを用いた2段論理回路綱の設計
- 2値画像の一符号化法と演算アルゴリズム
- 可逆論理回路のToffoliゲート数の下界(研究速報)
- AND-EXOR論理式最小化アルゴリズム
- AND-EXOR論理式最小化アルゴリズム
- AND-EXOR論理式最小化アルゴリズム
- 論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム
- D-1-3 アレンジメントグラフのスターグラフへの埋め込み
- パワーリスト記述からのハイパキューブアルゴリズムの生成(計算論,計算モデル)
- 故障があるアレンジメントグラフのブロードキャスティング
- 故障があるアレンジメントグラフのブロードキャスティング
- プログラム変換における変換履歴再利用の支援
- 再帰関数への変換による不変表明の生成