BDDの制約順序の効率化による制約充足問題の解法
スポンサーリンク
概要
- 論文の詳細を見る
二分決定グラフ(BDD)を使って組合せ問題の全解を求めることを検討する.ここでの課題に、計算途中に起こりうるノード数の爆発を避け、同じ計算機資源のもとでできるだけ大きな問題が解けるようにする方法を開発することがあげられる.組合せ問題にBDDを適用する場合には最大ノード数が重要であること、およびそれが変数順序だはではなく制約組合せ順序の影響を受けることがわかっている。本稿では、制約組合せ順序を求める方法の一つを提案し、具体的に有効な場合と無効な場合を実験検証してみる.
- 一般社団法人情報処理学会の論文
- 1996-03-06
著者
-
石塚 満
東京大学工学系研究科電子情報工学専攻
-
奥乃 博
京都大学
-
奥乃 博
Ntt基礎研究所
-
奥乃 博
科学技術振興事業団 Erato 北野共生システムプロジェクト
-
奥乃 博
NTTソフトウェア研究所
-
斎藤 逸郎
東京大学先端科学技術研究センター人工生体機構
-
奥乃 博
Ntt電気通信研究所
-
奥乃 博
電電公社武蔵野電気通信研究所
-
奧乃 博
科学技術振興事業団ERATO北野共生システムプロジェクト
-
斎藤 逸郎
東京大学工学部電子情報工学科
-
石田 賢三
東京大学工学部電子情報工学石塚研究室
-
奥乃 洋
NTT基礎研究所
-
奥乃 博
京都大学大学院
関連論文
- Face-to-face型擬人化エージェント・インタフェースの構築 (ヒューマンインタフェースとインタラクション)
- 命題レベルの高速解法の利用を図るコストに基づく述語論理版仮説推論法
- 述語論理知識のQSQR法と圧縮操作による命題化による高速仮説推論法
- ネットワーク化バブル伝播法による述語版仮説推論システムの構築
- 二分決定グラフによる効率的な三面図理解システムTOVINの実装
- 自然感の高いビジュアルヒューマンインターフェースの実現のための人物動画像の実時間並列協調的認識
- 「人間の非論理情報を AIはどう取り扱うか」へのコメントと回答
- 特徴パラメータ変換を伴う遺伝アルゴリズムによる感性的動画像の合成支援
- 時間知識に基づくシナリオ推論方式
- 3D CG人物ヘアスタイルの生成
- CG人物のヘアスタイル生成手法
- パーティクルモデルを用いた頭髪のCG表現
- NURBS, 逆運動学, 協調的運動モデルによる自然感の高い魚の実時間CG動画像生成 : ( 最先端画像映像生成処理技法)
- AreaView2001 KeyGraphを用いたWWW構造化システム
- ネットワーク化バブル伝播法による高速仮説推論システムのインタフェース作成
- 知識の実行時リフォメーションに基づく仮説推論の高速化手法
- 多項式時間仮説推論を達成するネットワーク化バブル伝播法の述語論理への拡張
- Adaptive Consistencyとの比較に基づくネットワーク化バブル伝播法による仮説推論の評価
- 線形・非線形計画法の併用による高速仮説推論
- 改良型ネットワーク化バブル伝播法による低次多項式時間仮説推論法
- 仮設推論における準最適解を多項式時間で計算するネットワーク化バブル伝搬法
- 一般的制約を含む述語ホーン節の不等式制約による表現
- 論理の多段化による知識リフォメーションに基づく仮設推論システムの高速化手法
- 動的に拡大するバブル伝播ネットワークによる多項式時間の述語論理仮設推論
- 論理の多段化による知識リフォメーションに基づく仮説推論の高速化手法
- 記憶の階層性の基づくバブルネットワークによる述語論理仮説推論の高速化
- i860のデュアルオペレーション命令におけるデータフローグラフのスケジューリング
- 3J-3 命題レベル高速推論法を利用するための述語論理版仮説推論知識のリフォメーション
- 命題レベル高速推論法を利用するための述語理論版仮説推論知識のリフォメーション
- 1N-9 命題レベル高速推論法を利用するための述語論理版仮説推論知識のリフォメーション
- 口唇画像情報に基づく音声対話制御の一手法
- 再帰論理プログラムのProgolによる学習のための例の順序処理
- WWW情報空間の弱い組織化とエリアビュー機能
- 2R-8 WWW情報空間における特徴ベクトルを用いたリンクの分類
- 3P-6 WWW情報空間の弱い構造化とエリアビュー機能
- WWW 情報空間のリンク構造を用いた弱い構造化
- WWW 情報空間のリンク構造を用いた弱い構造化
- WWW情報空間におけるコアページの抽出と弱い構造化
- WWW情報空間におけるハイパーリンクの意味理解とリンク構造の視覚化
- 擬人化エージェントシステム -マルチメディア時代の新しいヒューマンインターフェース-
- 1MHzテレビ電話信号の2次元予測適応型符号化に関する実験的研究
- WWWにおけるユーザ主体の情報差分提供システム
- 論争支援マルチモーダル実験システム MrBengo
- SL法 : 線形・非線形計画法の併用によるコストに基づく仮説推論の準最適解計算
- 線形・非線形計画法の併用による高速仮説推論の改善
- MPML2.0e : 感情表現機能付きマルチモーダルプレゼンテーション記述言語
- 4ZA-6 マクロ付きMPMLによるマルチモーダルプレゼンテーション(UIエージェント,一般講演,インタフェース)
- MPMLによるマルチモーダルプレゼンテーション
- アクセス経路を用いたメディエータエージェントによるWWWナビゲーション
- D-12-86 3次元形状センサ情報からのエージャントキャラクタの自動生成
- WWW におけるグループ経験の共有化による prefetch 機能の効率化
- WWW におけるグループ内での経験の共有を行うメディエータエージェントの実装
- RS法(単体法の反復適用法)による不完全制約充足問題の近似解法
- 2J-3 単体法の反復適用による不完全CSPの高速近似解法
- 単体法の反復適応を用いた不完全CSPの高速近似解法
- 1N-2 数理計画法を用いた不完全CSPの高速近似解法
- 制約充足問題におけるノードの値の重みとアーク重みの相互変換
- WWWアクセス経験のグループ共有を行うメディエータエージェントのユーザインターフェースの改良
- WWWにおけるグループ経験の共有を図るメディエータエージェントの構築
- BDDの制約順序の効率化による制約充足問題の解法
- 二分決定グラフを用いた三面図理解システム
- 二分決定グラフによる三面図理解システムの機能拡張
- 二分決定グラフを用いた三面図の効率的理解
- ハイパーリンクの意味理解と意味ネットワーク形状への組織化
- FISH VIEWシステム : 概念体系に基づく視点情報を活用した文書整理支援
- 3U-4 Fish View : 文書整理支援における視点情報の活用
- 1U-6 概念体系に基づくFish Eyeマッチングと仮説推論を用いたユーザの視点の抽出
- Fish Eyeマッチング : 概念体系を利用した視点抽出に基づく文書整理支援機能(「オフィスにおける知的生産性向上支援ツール」にあたって)
- Fish View : 概念体系を用いたFish Eyeマッチングによる視点を考慮した文書整理支援ツール
- 概念体系を用いたFish Eyeマッチングによる視点を考慮した文書整理支援機能の実現
- 概念体系を用いたFish Eyeマッチングによる視点を考慮した文書整理支援機能の実現
- 概念体系を用いたFish Eyeマッチングによる視点を考慮した文書整理支援機能の実現(インターネット環境におけるオフィスシステムとAl)
- 概念体系を用いたFish Eyeマッチングによる視点を考慮した情報の整理
- 概念体系を用いたFish Eyeマッチングによるユーザの視点の抽出
- 概念体系に基づく情報整理支援ツールの日本語化
- 情報整理支援システムのための概念体系に基づく特徴ベクトルの動的生成
- 擬人化エージェントにおける音声対話を通じての協調的応答戦略の自動学習
- 擬人化エージェントにおけるWWWブラウザを用いたマルチモーダルインタフェース
- 協調的応答を学習する擬人化エージェントシステムの実現
- 変化の時代の雑感
- 可変長遺伝子を用いたアナログ回路の進化
- 1L-9 可変長染色体を用いた遺伝的アルゴリズムによる電気回路の生成
- ぺージエージェント : ホームページに棲む擬人化エージェント
- WWW サーチエンジンの検索結果のクラスタリングによるカテゴリ分け
- 数理計画法とAIの推論 (AIの手法と周辺の基礎理論)
- 述語論理知識を扱う仮説推論における最適解の高速推論法
- キャラクタエージェント制御機能を有するマルチモーダル・プレゼンテーション記述言語MPML
- 2W-3 マルチモーダルプレゼンテーション記述言語MPMLによるエージェントキャラクタ制御
- 5E-1 マルチモーダル・プレゼンテーション生成言語MPML
- マルチモーダルプレゼンテーションエージェントの作成
- 2M-1 遺伝的プログラミングを用いたマルチエージェント学習 : 通信を用いた追跡問題の解法
- 複数演算器の並列実行命令生成のためのバックトラック型スケジューラ
- 三面図の暖昧性除去における二分決定グラフの利用
- 二分決定グラフによる三面図からの3Dモデルの解釈
- 線形計画法を利用した離散制約最適化問題の効率的近似解法
- 線形計画法を利用した離散制約最適化問題の効率的近似解法
- 数理計画法を用いた制約最適化問題の解法
- 数理計画法に基づく重み付き制約充足問題の解法
- 局所探素に基づく重み付き制約充足問題の効率的解法
- 未定乗数法を用いた重み付き仮説推論の効率的解法