正則グラフに対する密な部分グラフ問題
スポンサーリンク
概要
- 論文の詳細を見る
我々はCNF(和積形)論理式の充足可能性問題(SAT)に対して,その解法アルゴリズムの性能を実験的に評価する時に必要となる例題生成系の開発を進めてきた.例題生成系の開発において,重要な問題の1つはその安全性である.つまり生成アルゴリズムの特性を利用した形で,不当に速い解法アルゴリズムが作られることを防止せねばならない.このことを考える過程で,SAT例題生成系の安全性と,密な部分グラフ問題と名付けた(著者らが知る限り新しい)グラフ問題との密接な関係が判明した.
- 1995-03-27
著者
関連論文
- 直径d部分グラフ最大化問題の計算複雑さ
- 移動ロボットによる長尺物運搬問題に対する分散アルゴリズム (計算モデルとアルゴリズム)
- NP完全集合によるco-NP完全集合の近似
- 充足可能性問題に対する計数法の項の選択による高速化
- グラフの色ぬり分け問題からSATへの効率の良い変換方法とその評価
- RS型ベクトル機械上での幾つかの具体的問題に対するアルゴリズム
- 最大出次数最小化問題の各種グラフクラスに対する計算複雑さ
- 直径d部分グラフ最大化問題の近似について
- グラフの最小出次数最大化問題
- 「高度応用のための情報ベースモデルとその実現技術」を目指して (メディア統合および環境統合のための高機能データベースシステム、および一般)
- ブロック同期方式による並列アルゴリズムの記述とそのプログラム化
- 最小ブロック転送問題の近似可能性と近似不可能性
- ブロック同期に基づく並列アルゴリズムアニメーションシステム
- 守備特訓に喘ぐ外野手のための捕球経路問題 (計算機科学基礎理論の新展開)
- サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム
- 充足可能性問題に対する計数法の変数の選択による改良
- 移動物体回収問題 : ロボットに効率良く物体を回収させるアルゴリズムの設計のために(学生/教養のページ)
- 移動物体回収問題
- ブックマーク問題の近似について
- 正則グラフに対する密な部分グラフ問題
- 一様メトリックにおけるソーティングバッファ問題のNP困難性
- 最大重み付き出次数を最小化するグラフ有向化問題の近似(不)可能性
- 最大出次数を最小化するグラフ有向化について
- 期限付き移動物体に対する回収アルゴリズム
- 資源増加を許したOVSF符号割当問題に対する2競合アルゴリズム
- ファンイン制限つき組合せ論理回路に対する完全な等価変換規則集合
- 素子制限のある論理回路を等価変換するための基本操作集合について
- ランダムベンチマーク例題による論理最適化システムの評価
- ランダムベンチマーク例題による論理最適化システムの評価
- 論理最適化アルゴリズム評価のためのテスト例題のランダム生成
- 論理最適化アルゴリズム評価のためのテスト例題のランダム生成
- 論理回路簡単化問題に対する例題生成
- 一切の情報を漏らさずプログラムの正当性を証明する方法
- 並列計算用に拡張したTMの時間計算量の階層
- チューリング機械の領域計算量の厳密な階層について(計算理論とその応用)
- テープ記号数を制限した領域限定TMの階層について
- 頂点数を最大とする正則誘導連結部分グラフ問題の計算複雑さ (コンピュテーンョン)
- CNF論理式に対する局所探索法の項の追加による改良
- リテラルの出現回数を制限した充足不能な3CNF式
- リテラル出現回数が2回の充足不能な3SAT式
- 資源増加を許したOVSF符号割当問題に対する(1 + ε)-競合アルゴリズム
- 確率的手法によるCRCW PRAM間の模倣について
- メッシュバス上での最小全域木アルゴリズム
- グラフの最小全域木を求めるためのメッシュバス上での並列アルゴリズム
- 最大値問題に対するメッシュバス上でのO((log log n)^2)アルゴリズム
- トーラス上の局所多数決と大域多数決
- 折線上を移動する物体に対する回収問題の困難性
- 期限付き移動物体に対する回収アルゴリズム
- 移動系における最大個数巡回アルゴリズム (計算機科学基礎理論の新展開)
- 容量を制限した場合の移動物体巡回問題 (計算機科学基礎理論の新展開)
- 頂点数を最大とする正則誘導連結部分グラフ問題の計算複雑さ
- PRAMおよび対数時間一様な論理回路族に基づく計算量の階層(計算モデルと計算の複雑さに関する研究)
- $\alpha$連結成分問題の計算複雑さの上昇について(計算量理論)
- 並列化が徐々に困難になるグラフ問題について
- 色塗り分け問題がP完全又はNCになる為の十分条件について(理論計算機科学とその周辺)
- 組合せ問題に対する RS 型ベクトルアルゴリズム
- RS型ベクトル機械の実際的応用の可能性について(計算および計算量理論とその周辺)
- メタ戦略アルゴリズムに対するロバストな並列化 (計算機科学基礎理論の新展開)
- 次数上下界制約付きグラフ向き付けにおけるペナルティ最小化
- 密な部分グラフ問題のNP完全性とそのSAT例題生成への応用
- AIMジェネレータによるバックトラック及び局所探索SATアルゴリズムの評価