MAX-2-SATに対する分枝限定法(組合せ最適化(4))
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人日本オペレーションズ・リサーチ学会の論文
- 2004-09-08
著者
-
野々部 宏司
法政大学 デザイン工学部
-
柳浦 睦憲
名古屋大学大学院 情報科学研究科
-
茨木 俊秀
関西学院大学理工学部
-
古賀 祐一
京都大学
-
野々部 宏司
京都大学大学院情報学研究科
-
柳浦 睦憲
京都大学大学院情報学研究科
-
茨木 俊秀
京都大学大学院情報学研究科
-
茨木 俊秀
京都大学情報学研究科
-
茨木 俊秀
関西学院大学
-
柳浦 睦憲
京都大学 大学院 情報学研究科
-
Yagiura Mutsunori
Department Of Applied Mathematics And Physics Graduate School Of Informatics Kyoto University
関連論文
- 局所探索法とその拡張 : タブー探索法を中心として
- 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))
- 1-A-5 矩形パッキング問題に対する厳密解法(離散最適化(2))
- MAX-2-SATに対する分枝限定法
- 矩形パッキング問題に対する厳密解法
- MAX-2-SATに対する分枝限定法(組合せ最適化(4))
- 勤務スケジューリング問題に対する局所探索法(医療・福祉・スケジューリング(2))
- 凸型時間ずれコストをもつ資源制約スケジューリング問題(統合オペレーション)
- TD-1-5 汎用スケジューラー : RCPSPによるアプローチ
- 分離可能凸型コスト関数をもつプロジェクトスケジューリング問題(スケジューリング)
- 汎用スケジューラー : RCPSPによるアプローチ (アルゴリズム工学)
- 資源制約付きスケジューリング問題の定式化と近似解法 (新しいパラダイムとしてのアルゴリズム工学)
- 制約充足問題に対するタブー探索における評価関数の重みの自動調整(数理計画(1))
- 資源制約付きスケジューリング問題の定式化と近似解法 (数理最適化の理論と応用)
- 資源制約付きスケジューリング問題に対する近似解法(スケジューリング(2))
- 汎用アルゴリズムとしてのCSP(制約充足問題)に対するタブー探索アプローチ(離散数理と連続数理における最適化理論)
- 時間枠つき配送計画問題に対するパス再結合と適応的パラメータ調整
- 第18回RAMPシンポジウムルポ(情報の窓)
- リアルタイムシステムの固定優先度スケジューリングに対する優先度周期探索法
- MAX-2-SATに対する分枝限定法
- 制約充足問題(CSP)に対するタブー探索におけるプログラムパラメータの自動調節(組合せ最適化(2))
- Tabu Search Approach to CSP (Constraint Satisfaction Problem) as a General Problem Solver(Continuous and Discrete Mathematical Optimization)
- 汎用組合せアルゴリズムとしての制約充足問題(CSP)に対する近似解法(組合せ最適化(2))
- 制約充足問題(CSP)に対するタブー探索の適用(組合せ最適化(3))
- ルール生成に必要なデータ量に関するランダム性に基づいた解析
- 1-D-1 ルール生成に必要なデータ量に関するランダム性に基づいた解析(マーケティング(1))
- 6B2 AN ITERATED LOCAL SEARCH ALGORITHM FOR THE MULTI-RESOURCE GENERALIZED ASSIGNMENT PROBLEM WITH FLEXIBLE ASSIGNMENT COST(Technical session 6B: General model for scheduling and assignment problem)
- 5B1 A GUIDED LOCAL SEARCH ALGORITHM BASED ON A FAST NEIGHBORHOOD SEARCH FOR THE IRREGULAR STRIP PACKING PROBLEM(Technical session 5B: Packing problem)
- オプションプライシングと凸計画問題の関係について(金融工学(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))
- 2-F-15 点容量付き内向木詰込問題の計算量(グラフ(2))
- 点容量付き内向木詰込問題の計算複雑度
- 長方形配置問題に対するbest-fit法の効率的な実現
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化 (最適化の数理とアルゴリズム)
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化(組合せ最適化(2))
- 配置コストをもつ長方形詰込み問題に対する局所探索法について(統合オペレーション(4))
- TD-1-6 組合せ最適化問題に対する局所探索アルゴリズムの開発について
- 配置コストをもつ二次元配置問題に対する局所探索について(組合せ最適化)
- カッティングストック問題に対する線形計画法に基づく局所探索法の提案 (最適化の数理とアルゴリズム)
- 組込みシステムにおけるスケジューリングテーブル作成法 (最適化モデルとアルゴリズムの新展開)
- 排他制約付きナップサック問題における上界の計算法およびその有効性 (最適化モデルとアルゴリズムの新展開)
- 3次元パッキングに対する効率的なbottom-left法 (最適化モデルとアルゴリズムの新展開)
- Bottom-Left 安定点の効率的な列挙法とその応用 (最適化モデルとアルゴリズムの新展開)
- RA-006 3次元箱詰め問題に対する構築型解法の効率的実現法(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
- 近傍ハッシュ法によるエラー許容頻出パターン列挙(一般セッション3)
- 多点対カット問題に対する集合被覆アプローチに基づく近似解法
- LA-004 Analysis of an Edge Coloring Algorithm Using Chernoff Bounds
- Chernoff Bounds を用いた辺彩色アルゴリズムの解析
- DS-1-13 A Path Relinking Approach with an Adaptive Mechanism to Control Parameters for the Vehicle Routing Problem with Time Windows
- 機械式立体駐車場入出庫スケジューリング
- 機械式立体駐車場出庫スケジューリング
- コンテナターミナルにおけるシフト計画
- 変動する環境下での1機械スケジューリング問題に対する遺伝アルゴリズムの適用について(組合せ最適化(3))
- カッティングストック問題に対する線形計画法に基づく局所探索法の提案(組合せ最適化(2))
- カッティングストック問題におけるパターン生成法について(組み合わせ最適化(2))
- 段取り替え数最小化を考慮したカッティングストック問題の定式化と近似解法 (最適化のための連続と離散数理)
- パターン数最小化を目的とするカッテイングストック問題について
- 多重グラフにおける均等辺彩色を求める高速アルゴリズム
- 組合せ最適化問題に対するメタ戦略について(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- メタ戦略のロバスト性について
- 遺伝アルゴリズムと局所探索法のロバスト性について
- 4A1 A LOCAL SEARCH ALGORITHM FOR ROUTING AND SCHEDULING PROBLEMS WITH TIME WINDOW AND TRAVELING TIME CONSTRAINTS(Technical session 4A : Vehicle routing)
- 織方図作成における最適化問題のグラフによる定式化 (数値最適化の理論と実際)
- 局所探索法 : 反復改善に基づく最適化の基本戦略(新・ORの図解,学会創立50周年記念号)
- 離散最適化問題に対するメタヒューリスティクス(ここまで使える数理計画法)
- Combinatorial Optimization : Theory and Algorithms (3rd Edition), B. Korte and J. Vygen 著, 出版社 Springer, 発行 2006年, 全ページ 597頁, 価格 53.45ユーロ, ISBN 3-540-25684-9
- 有効ターム数の確率的解析(不確実性の下での意思決定と数理モデル)
- 遺伝アルゴリズムにおける交叉法に対する一考察(計算量理論)
- 大規模な線形順序付け問題に対する高性能な局所探索アルゴリズム
- 頂点容量制約付き有向全域木パッキング問題に対する近似解法
- An LP-Based Local Search to the One Dimensional Cutting Stock Problem Using a Given Number of Cutting Patterns
- 一般化2次割当問題に対する大規模近傍探索法の適用について(数理計画(1))
- メタヒューリスティクスの枠組
- メタ戦略とラグランジュ緩和(「スケジューリング技術の新たな展開特集号」)
- 一般化時間枠制約付き配送計画問題に対する局所探索法の適用とその応用(組合せ最適化)
- 多資源一般化割当問題に対する大規模近傍探索法の適用について(組合せ最適化)
- 集合被覆問題に対する局所探索法について (最適化のための連続と離散数理)
- 時間枠制約付き配送計画問題に対する局所探索法の適用について (最適化のための連続と離散数理)
- 時間枠制約付き配送計画問題に対する局所探索法の適用について(数理計画(3))
- 集合被覆問題に対する局所探索法について(数理計画(3))
- 経済指標データの論理的解析とその回帰分析への適用について(金融(1))
- 集合被覆問題に対する局所探索について(組合せ最適化(2))
- 種々のポートフォリオ選択問題と数値実験による考察(金融)
- メタ戦略のロバスト性について(メタ戦略(1))
- サブツアー交換交叉に対する二つのコメント
- サブツアー交換交叉に対する2つのコメント
- 順序問題における遺伝的交叉法に対する一考察
- 組合せ最適化問題に対する遺伝的アルゴリズムの適用について(組合せ最適化)
- レクトリニア多角形配置問題に対する高速な構築型解法
- Heuristic Algorithms for Rectilinear Block Packing (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)
- 1-D-4 Heuristics for the Rectilinear Block Packing Problem
- 一般化上界制約付き集合多重被覆問題に対する発見的解法 (最適化手法の理論と応用の繋がり)