D-1-5 Horn CNF とその二分決定グラフ表現間の変換の計算複雑さ
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 2000-09-07
著者
関連論文
- A Set Covering Approach for the Pickup and Delivery Problem with Additional Constraints (Numerical Optimization methods, theory and applications)
- 多制約配送計画問題に対する集合被覆アプローチ
- 2-A-3 MAX-2-SATに対する分枝限定法の改良(離散最適化(3))
- MAX-2-SATに対する分枝限定法(組合せ最適化(4))
- 勤務スケジューリング問題に対する局所探索法(医療・福祉・スケジューリング(2))
- 凸型時間ずれコストをもつ資源制約スケジューリング問題(統合オペレーション)
- TD-1-5 汎用スケジューラー : RCPSPによるアプローチ
- 分離可能凸型コスト関数をもつプロジェクトスケジューリング問題(スケジューリング)
- 汎用スケジューラー : RCPSPによるアプローチ (アルゴリズム工学)
- 資源制約付きスケジューリング問題の定式化と近似解法 (新しいパラダイムとしてのアルゴリズム工学)
- 資源制約付きスケジューリング問題の定式化と近似解法 (数理最適化の理論と応用)
- 汎用アルゴリズムとしてのCSP(制約充足問題)に対するタブー探索アプローチ(離散数理と連続数理における最適化理論)
- 「問題解決エンジン」への道
- 工学としてのアルゴリズム
- 集合被覆問題に対する3反転近傍を明いた局所探索法
- D-1-5 Horn CNF とその二分決定グラフ表現間の変換の計算複雑さ
- Deduction and Abduction with Ordered Binary Decision Diagrams (Foundations of Computer Science)
- Ordered Binary Decision Diagrams Representing Knowledge-Bases (Models of Computation and Algorithms)
- 二分決定グラフ上での知識表現および正/ホーン関数の認識問題
- 給油施設操業スケジューリング (企業事例)
- 特集にあたって (ユーザのための数理計画応用)
- スケジューリングの理論
- 数理計画 : 問題解決への広き門(ユーザのための数理計画入門)
- 演繹データベースにおける直積問題クラスとそのアルゴリズム
- MAX-2-SATに対する分枝限定法
- ルール生成に必要なデータ量に関するランダム性に基づいた解析
- 1-D-1 ルール生成に必要なデータ量に関するランダム性に基づいた解析(マーケティング(1))
- オプションプライシングと凸計画問題の関係について(金融工学(3))
- 長方形詰込み問題に対する可変近傍探索法(組合せ最適化(4))
- 移動時間コスト関数を考慮した時間枠つき配送計画問題に対する局所探索法 (数理最適化から見た「凸性の深み,非凸性の魅惑」)
- Local Search Algorithms for the Two-Dimensional Cutting Stock Problem with a Given Number of Different Patterns (Captivation of Convexity : Fascination of Nonconvexity)
- 移動時間コスト関数を考慮した時間枠つき配送計画問題に対する局所探索法(組合せ(1))
- 段取り替え制約付きカッティングストック問題に対する列生成法を用いた局所探索法の提案(組合せ(1))
- 給油施設操業スケジューリング
- グラフの最小5-カット, 6-カットを求めるアルゴリズム
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化 (最適化の数理とアルゴリズム)
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化(組合せ最適化(2))
- 配置コストをもつ長方形詰込み問題に対する局所探索法について(統合オペレーション(4))
- TD-1-6 組合せ最適化問題に対する局所探索アルゴリズムの開発について
- 配置コストをもつ二次元配置問題に対する局所探索について(組合せ最適化)
- ATMスイッチにおけるタイマ・チャネル割付けについて
- 藤重, 岩田先生Fulkerson賞受賞のニュース(情報の窓)
- Support Vector Machineにおけるルールの利用(線形計画)
- カッティングストック問題に対する線形計画法に基づく局所探索法の提案 (最適化の数理とアルゴリズム)
- 閾グラフの最小辺ランキング全域木について
- 「高度応用のための情報ベースモデルとその実現技術」を目指して (メディア統合および環境統合のための高機能データベースシステム、および一般)
- 総論 (特集 アルゴリズムの新展開--理論から工学へ)
- アルゴリズムの道具箱・基礎編(最終回)巡回セールスマン問題
- 内点法
- C言語を用いた音声認識・学習LSIの設計と実現について
- C言語を用いた音声認識・学習LSIの設計と実現について
- C言語を用いた音声認識・学習LSIの設計と実現について
- A-3-13 学習回路インターフェースを持ち不特定話者に対応できる音声認識回路
- データ分類におけるノイズ量の評価について(数理計画(1))
- データからの知識獲得における常識ルールと例外ルールについて(数理計画(2))
- 最小辺ランキング全域木問題について
- A polynomial time approximation scheme for the minimum maximal matching problem in planar graphs (New Developments of Theory of Computation and Algorithms)
- 平面グラフにおける最小極大マッチング問題に対する多項式時間近似スキーム
- 公平分割とその手順
- 初等的フローゲームの凸性について(計算量理論とアルゴリズム論文小特集)
- (l-1)-点連結グラフをk-辺連結かつl-点連結に増大させる問題
- グラフをk-辺連結かつ3-点連結に最適増大させる問題
- TD-1-7 Webブラウザで見せるアルゴリズム
- タブー探索による直交ラテン方陣の構成(連続と離散の最適化数理)
- タブー探索による直交ラテン方陣の構成(組合せ最適化(2))
- 機械式立体駐車場入出庫スケジューリング
- カッティングストック問題に対する線形計画法に基づく局所探索法の提案(組合せ最適化(2))
- カッティングストック問題におけるパターン生成法について(組み合わせ最適化(2))
- 段取り替え数最小化を考慮したカッティングストック問題の定式化と近似解法 (最適化のための連続と離散数理)
- A-3-25 論理関数の重ね合わせに基づく加減算向きLUT
- A-3-4 リング発振器を用いたオンチップ高速シリアル通信方式
- A-3-11 冗長2進CORDIC演算器を有する16ビットパイプラインプロセッサ
- 組合せ最適化問題に対するメタ戦略について(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- メタ戦略のロバスト性について
- 遺伝アルゴリズムと局所探索法のロバスト性について
- 一般化2次割当問題に対する大規模近傍探索法の適用について(数理計画(1))
- メタヒューリスティクスの枠組
- メタ戦略とラグランジュ緩和(「スケジューリング技術の新たな展開特集号」)
- 一般化時間枠制約付き配送計画問題に対する局所探索法の適用とその応用(組合せ最適化)
- 多資源一般化割当問題に対する大規模近傍探索法の適用について(組合せ最適化)
- 集合被覆問題に対する局所探索法について (最適化のための連続と離散数理)
- 時間枠制約付き配送計画問題に対する局所探索法の適用について (最適化のための連続と離散数理)
- 不完全データの論理的解析
- グラフの比例分割について
- Greedy Splitting : A Unified Approach for Approximating Some Partition Problems (Mathematical Optimization Theory and its Algorithm)
- A Primal-Dual Approximation Algorithm for the Survivable Network Design Problem in Hypergraphs (New Developments of Theory of Computation and Algorithms)
- 最小3-カットを使った最小k-カットの近似
- ホーン理論とq-ホーン理論の極小関数従属性の推定について
- データの論理的解析におけるルール集合の生成について(数理計画(1))
- 論理的データ解析における階層的分解構造について
- A 2-packing of three 3-based graphs in a 3-connected graph
- 最小費用3点連結部分グラフを求める問題に対する近似アルゴリズム
- データマイニングプロセスにおける属性の生成と選択について(マーケッティング)
- 特集にあたって (アルゴリズム工学)