3充足可能性判定問題3SATの単一解を持つ正例題生成手法
スポンサーリンク
概要
- 論文の詳細を見る
NP完全問題の1つである3充足可能性問題3SATに対し, その正の例題(ならびに, その充足解)をランダムに生成する問題-3SATの正例題生成問題-を考える.本論文では, 単純な例題生成アルゴリズムによってn変数, m項の3SATの要素を生成したとき, 単一解を持つ例題が生成されるための項数mの条件を調べた.さらに, 項数を減らすためのアルゴリズムの改良を行い, 項数の条件を調べた.
- 社団法人電子情報通信学会の論文
- 1998-11-20
著者
-
上原 隆平
北陸先端科学技術大学院大学
-
上原 隆平
駒沢大学文学部
-
元木 光雄
北陸先端科学技術大学院大学
-
元木 光雄
東京工業大学数理・計算科学専攻
-
上原 隆平
駒沢大学人文科学研究科
-
元木 光雄
東京工業大学情報理工学研究科計算工学専攻
-
上原 隆平
東京女子大学情報処理教室
関連論文
- 区間二部グラフの効率の良い認識に関する研究 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 1-D-4 経路長を短くする一方通行決定(離散・組合せ最適化(2))
- Bipartite Permutation Graphのランダム生成と列挙
- 弦グラフおよび弦二部グラフのクラスにおけるマッチングの数え上げ
- 再構成問題の計算複雑さ
- あみだくじの高速列挙
- 折紙の計算量的複雑さの研究 (小特集 折紙工学の現状と課題)
- 折紙の計算量的複雑さの研究(折紙工学の現状と課題)
- Complexity of pleat folding (理論計算機科学の深化と応用--RIMS研究集会報告集)
- Enumeration of Perfect Sequences of Chordal Graph (Acceleration and Visualization of Computation for Enumeration Problems)
- Polygons Folding to Plural Incongruent Orthogonal Boxes (Acceleration and Visualization of Computation for Enumeration Problems)
- Reconstruction of Connected Interval Graphs (Acceleration and Visualization of Computation for Enumeration Problems)
- 2-E-17 Enumeration of Perfect Sequences of Chordal Graph
- じゃばら折りの複雑さに関する研究
- 2-E-6 無限サーバ待ち行列がつくるスケールフリー区間グラフ : クラスタ係数の評価(待ち行列(2))
- 複数の箱を折ることのできる展開図に関する研究
- 折り紙とコンピュータサイエンス(学生/教養のページ)
- コーダルグラフの完全列の列挙
- 2-B-4 無限サーバ待ち行列がつくるスケールフリー区間グラフ(待ち行列(2))
- 区間表現からMPQ-treeを効率よく構成するアルゴリズム
- 区間表現からMPQ-tree を効率よく構成するアルゴリズム(計算機科学の理論とその応用)
- スケールフリーグラフ上における局所情報を用いたランダムウォークについて
- 2部パーミュテーショングラフのバンド幅
- 航空路線問題に対する効率の良いアルゴリズム
- プトレマイオスグラフのラミナー構造とその応用
- ある限られたグラフクラスに対する最長路問題
- 部分ゲートとその同定
- 多くの計算路によって特徴付られる計算量クラス
- 絵画的迷路の作り方 (理論計算機科学の深化と応用)
- 距離遺伝的グラフの木表現とその応用
- コーダルグラフの独立点集合の数えあげ問題
- Canonical Data Structure for Probe Interval Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
- プロープ区間グラフの拡張MPQ木表現
- 2部グラフとProbe区間グラフにおける木スパナー
- 2部グラフの部分クラスに対するGI完全性について
- 重み最大マッチングを求める並列近似アルゴリズム
- グラフの連結成分の個数と応用
- 弦グラフの一般化と、そのグラフ上での問題の難しさ
- ある投票ゲームのシミュレーション
- Ptolemaic Graph 上の最長路問題に関する研究(計算機科学の理論とその応用)
- 飛び出す絵本の複雑さ
- 単純多角形の生成に関する発見的手法(セッション2)
- グラフ上のボロノイゲームとその困難性(セッション1)
- 3充足可能性判定問題3SATの単一解を持つ正例題生成手法
- 3充足可能性判定問題 3SAT の単一解を持つ正例題生成手法の解析
- Expected Length of Longest Common Subsequences of Two Biased Random Strings and Its Application (Algorithm Engineering as a New Paradigm)
- Tractable and Intractable Problems on Generalized Chordal Graphs (Models of Computation and Algorithms)
- Complexity Classes Characterized by Semi-Random Sources
- 一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)
- MAX 3SATのランダムな例題生成
- MAX-3SATの解の平均の解析
- 3充足可能性判定問題3SATの正例題生成手法の解析(並列処理)
- 3充足可能性判定問題3SATの正例題生成手法について
- 帯状の紙の折りたたみに関する最適化問題
- 正4面体と他の正多面体との共通の辺展開図に関する研究
- 一般化KaboozleのNP完全性
- 折紙における決定不能問題
- パス上のボロノイゲーム
- 帯状の紙の折りたたみに関する最適化問題
- 折紙における決定不能問題
- Dirichlet分布に従う多項式時間近似サンプリング法(マルコフ連鎖)
- 一般化 Kaboozle のNP完全性
- Dirichlet分布のrapidly mixing approximate sampler
- Dirichlet 分布の rapidly mixing approximate sampler
- プトレマイオスグラフのラミナー構造とその応用
- k-木のスケールフリー性に関する研究
- k-木のスケールフリー性に関する研究
- パス幅を用いた#2SATの厳密アルゴリズム
- MAX 2SATに対するシンプルな正解付テスト例題生成について
- MAX 2SATに対するシンプルな正解付テスト例題生成について
- Test Instance Generation for MAX 2SAT with Fixed Optimal Value (New Aspects of Theoretical Computer Science)
- UNO は一人でも難しい (計算機科学とアルゴリズムの数理的基礎とその応用)
- 正4面体と正6面体との共通の展開図の構成に関する研究
- 等間隔の折り目を持つ紙の折り畳みの計算量について
- 複数の単位円による点集合の排他的被覆
- Hoffmanパズル解の列挙と一般化に関する研究
- 複数の直方体を折れる共通の展開図に関する研究
- グラフクラスとアルゴリズム
- 複数の直方体を折れる共通の展開図に関する研究
- ゲーム・パズルの計算量を示すための新しい枠組みについて(パズルとゲームの計算理論)
- ある投票ゲームのシミュレーション