部分定義ブール関数のダブルホーン拡張および限定ホーン拡張
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,与えられた部分定義プール関数(pdBf)についてダブルホーン,限定ホーンによる拡張を見つける問題を考える.このような問題を解くことによって,生成規則知識ベースを単純化することができる.また,一般に命題推論の計算動作の改良にもつながる.このとき,単純化の中でも(i)知識ベースサイズの最小化と(ii)推論の計算が効率的に行われるように生成規則の表現を変えることが重要である.本稿では(i),(ii)を達成するダブルホーン拡張と限定ホーン拡張について,その充足解の数において極小な拡張を多項式時間に求める方法を議論する.一方,それぞれの最小の拡張を求める問題がNP困難であることを示す.
- 一般社団法人電子情報通信学会の論文
- 2004-03-09
著者
関連論文
- 双対制限された列挙問題 : 離散分布に対する交差不等式とその応用
- ラミナー被覆制約を持つ単調凹関数最小化問題
- 木構造の動的ネットワーク上の施設配置問題に対するO(nlog^2n)時間アルゴリズム
- An O(nlog^2n)Algorithm for the Optimal Sink Lacation Problem on Dynamic Tree Networks
- 部分定義論理関数のホーン拡張について
- 閾グラフの最小辺ランキング全域木について
- 最小辺ランキング全域木問題について
- On Minimum Edge Ranking Spanning Trees
- 初等的フローゲームの凸性について(計算量理論とアルゴリズム論文小特集)
- フローゲームの凸性について(ゲーム理論(2))
- Transformations on Regular Non-Dominated Coteries and Their Application (Algorithm Engineering as a New Paradigm)
- 無向ネットワークにおける流量要求を満たす施設配置問題
- ネットワーク上の被覆型施設配置問題(グラフ・ネットワーク(3))
- 正則コテリの効率的な列挙について
- 正則2部グラフに対する単純なマッチングアルゴリズム
- 正決定木によるデータ解析(組合せ最適化(1))
- 部分定義論理関数の正論理関数とHorn関数における関数分解について
- 正理論関数の部分データに基づく正決定木の構成について(組み合わせ最適化(3))
- 不完全データの論理的解析
- 不完全例題に対するプール的解析
- Extensions of Partially Defined Boolean Functions with Missing Data
- Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions
- 双対制限されたハイパーグラフ:部分横断と多重横断の列挙について
- 単調線形システムにおけるすべての極小な整数解について
- ハイパーグラフの重み付き横断
- 複基多面体:台の大きさが2以下の辺ベクトルを有する多面体の構造
- フロー制約を持つソース配置問題に対する近似アルゴリズム
- 木構造動的ネットワークにおける複数個の施設配置問題(組合せ最適化(5))
- 木構造動的ネットワークにおける複数の施設への避難誘導問題(数理計画関連・数理モデル)
- 木構造の動的ネットワークにおける施設配置問題
- 木構造の動的ネットワークにおける施設配置問題(グラフ・ネットワーク(2))
- 単調双対化問題とハイパーグラフ横断列挙問題に対する新しい結果について
- ホーン理論とq-ホーン理論の極小関数従属性の推定について
- ENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS(the 50th Anniversary of the Operations Research Society of Japan)
- ハイパーグラフの重み付き横断
- 数値データの論理的分析(組合せ最適化(3))
- 無向ネットワーク中のソース配置問題の強NP困難性とその近似アルゴリズム(組合せ最適化(5))
- LA-002 無向ネットワーク中のソース配置問題に対する近似アルゴリズム(A. モデル・アルゴリズム・プログラミング)
- ラミナー被覆制約を持つ単調凹関数最小化問題(グラフ・ネットワーク)
- 論理的データ解析における階層的分解構造について
- O(log n)項単調論理和標準形の効率的な双対化について
- 部分定義ブール関数のダブルホーン拡張および限定ホーン拡張
- ホーン理論と推論問題(理論計算機科学の最新動向)
- データの論理的解析とブール関数
- Double Horn Functions
- Double Horn Functions
- データの論理的解析とブール関数
- データの論理的解析とブール関数
- 部分定義論理関数の内核関数と外核関数
- 2-単調正論理関数の同定問題に対する単純な高速アルゴリズム
- Interior and Exterior Functions of Positive Boolean Functions
- 論理関数の内包関数と外包関数について
- 正論理関数の最大潜伏度の同定(計算量理論)
- 不完全に定義された正論理関数の最大潜伏度について
- 正論理関数の最大潜伏度について(計算機構とアルゴリズム)
- 1-C-8 キャンセルコスト付きオンラインナップサック問題(離散最適化(1))
- フーリエ変換を用いた関連変数の発見法
- 2-F-4 オンラインナップサック問題に対する乱択アルゴリズム(離散最適化(5))