運搬スケジューリング問題と その周辺 東京商船大学 流通情報工学 久保 幹雄.

Slides:



Advertisements
Similar presentations
<最適化の概念> 最適化すべき問 題 数学モデル 変数,数式 数理計画法 定められた計算手 順を用いて解くた めの方法論.
Advertisements

情報基盤アルゴリズムとして のメタヒューリスティクスの 研究 茨木俊秀、巳波弘佳、藤原洋志、 千葉英史、関口良行(関西学院大 学)、 藤重悟(京都大学)、 柳浦睦憲(名古屋大学)、 野々部宏司(法政大学)、 梅谷俊治(電気通信大学)
経営科学概論 ( 2013 年度~入 学) 経営科学Ⅰ (~ 2012 年度入学) 経営学系 山下英明 3 号館 4 階 413
到着時刻と燃料消費量を同時に最適化する船速・航路計画
制約付き最短路問題に対する実験的解析 上智大学 宮本裕一郎 o 1 d (7, 15) (9,4) (12,4)
区間グラフにおける区間表現からMPQ-treeを効率よく構成するアルゴリズム
ロジスティクス工学 第6章 動的ロットサイズ決定モデル 東京商船大学 久保 幹雄
最適化アルゴリズムの動向 ーメタヒューリスティックスを中心としてー (基礎編)
緩和+分解+調整による 分散協調問題解決 神戸大学大学院海事科学研究科 平山 勝敏.
最短路プロジェクト 共同研究 中間報告 2007年 10月 久保 幹雄.
2017/3/3 配送計画と収益管理 東京海洋大学 久保 幹雄.
ネットワーク理論講義補助資料 Text. 組合せ最適化とアルゴリズム 4.5 節 主・双対法 pp
ラベル付き区間グラフを列挙するBDDとその応用
近似アルゴリズム 第10章 終了時刻最小化スケジューリング
列生成による配船計画 アルゴリズムの数値計算結果.
2017/3/7 配送計画 収益管理 需要予測 東京海洋大学 久保 幹雄.
2017/3/8 配送計画 収益管理 需要予測 東京海洋大学 久保 幹雄.
組合せ最適化問題と厳密解法 最小木、ナップサック問題、ビンパッキング、巡回セールスマン問題 LPによる上界・下界 分枝限定法
ネットワーク理論 Text. Part 3 pp 最短路問題 pp 最大流問題 pp.85-94
5.チューリングマシンと計算.
5.チューリングマシンと計算.
Approximation of k-Set Cover by Semi-Local Optimization
サプライ・チェイン最適化の最新動向 久保 幹雄 東京商船大学 江東区越中島2ー1ー6 流通情報工学 流通管理工学講座 流通経営工学 助教授
土木計画学 第11回(12月21日) 土木計画と説明責任 計画における代替案の作成1 担当:榊原 弘之.
P,Q比が変更可能なScaLAPACKの コスト見積もり関数の開発
「基礎OR」/「OR演習」 第3回 10/13/2009 森戸 晋.
整数計画法を用いた ペグソリティアの解法 ver. 2.1
経済・経営情報コース コース紹介.
配送計画最適化システム WebMETROご紹介
第5回 双対問題 テキストp 内容 双対問題の導出 式を足しあわせる方法 Lagrange緩和 相補性条件 双対辞書
1章前半.
サプライ・チェイン最適化とその周辺 東京海洋大学 東京商船大学 江東区越中島2-1-6 流通情報工学 流通管理工学講座 流通経営工学 助教授
混載輸送ネットワーク設計 上智大学 宮本裕一郎 2002年7月23日 共同研究者:東京商船大学 久保幹雄.
Selfish Routing and the Price of Anarchy 第2回
ネットワーク理論講義補助資料 Text. 組合せ最適化とアルゴリズム 4.3 節 Lagrange緩和 pp
情報工学総合演習 D-I 近似アルゴリズム 埼玉大学 理工学研究科 山田 敏規、 橋口 博樹、 堀山 貴史
Linear Relaxation for Hub Network Design Problems
ロジスティクス工学 第9章 スケジューリングモデル 補助資料:OptSeqによるスケジューリング入門 logopt
制約充足と反復改良 (Constraint Satisfaction and Iterative Improvement)
大阪市立大学 学術情報総合センター 大西克実
ネットワーク上での社会的効用と個人的効用の対立問題に対するアルゴリズム的研究
ネットワーク理論 Text. Part 3 pp 最短路問題 pp 最大流問題 pp.85-94
AMPLについて 2011年12月2日(金) 経営システム工学科 森戸 晋.
巡回セールスマン問題への招待 東京商船大学 久保 幹雄.
第7章 疎な解を持つカーネルマシン 修士2年 山川佳洋.
第3回 アルゴリズムと計算量 2019/2/24.
Introduction to Soft Computing (第11回目)
Selfish Routing and the Price of Anarchy 4.3
スケジューリング最適化システム OptSeq II 補助資料:OptSeq II によるスケジューリング入門 トライアルバージョン
連続領域におけるファジィ制約充足問題の 反復改善アルゴリズムによる解法 Solving by heuristic repair Algorithm of the Fuzzy Constraint Satisfaction Problems with Continuous Domains 北海道大学.
移動図書館問題 移動施設のサービス停留点を最適配置する問題
公共経営研究科 「シミュレーション」森戸担当分 概要(12/02/05)
ナップサック問題 クマさん人形をめぐる熱いドラマの結末.
第2回  発見的探索(1).
配送計画最適化システム WebMETROのご紹介
ロジスティクスにおける 最適化の応用 東京商船大学   流通システム 久保 幹雄.
サプライ・チェイン最適化について 研究者・実務家が知っておくべきこと
Selfish Routing 4章前半 岡本 和也.
サプライ・チェイン最適化における モデリングについて
5.チューリングマシンと計算.
土木計画学 第12回(1月14日) 計画における代替案の作成2 担当:榊原 弘之.
Selfish Routing and the Price of Anarchy
``Exponentiated Gradient Algorithms for Log-Linear Structured Prediction’’ A.Globerson, T.Y.Koo, X.Carreras, M.Collins を読んで 渡辺一帆(東大・新領域)
情報工学概論 (アルゴリズムとデータ構造)
半正定値計画問題(SDP)の 工学的応用について
コストのついたグラフの探索 分枝限定法 A*アルゴリズム.
離散数学 11. その他のアルゴリズム 五島.
第4章 空間解析 2.ネットワーク分析 (2) 最大流問題
生物情報ソフトウェア特論 (10)固定パラメータアルゴリズムと 部分k木
東京工業大学情報理工学研究科 小島政和 第1回横幹連合コンファレンス 2005年11月25,26日 JA 長野県ビル
Presentation transcript:

運搬スケジューリング問題と その周辺 東京商船大学 流通情報工学 久保 幹雄

本日のメニュー 運搬スケジューリング問題とは 基本モデル 解法(分解原理と分枝価格法) 拡張モデル 応用 タスク遂行条件とリソース拡張関数 航空機産業とトレーラーによるコンテナ輸送

運搬スケジューリング問題とは (時間枠付き)運搬経路問題 乗務員スケジューリング問題 Dantzig-Wolfeの分解原理 ⇒列生成法 分枝価格法(branch and price method) 統一的求解のためのフレームワーク

運搬経路問題に対する解法の歴史 近似解法 AMP Tabu Search Local Search GRASP 階層的 積木法 構築法 Genetic Algorithm AMP (Adaptive Memory Programming) Tabu Search Local Search Simulated Annealing GRASP (Greedy Randomized Adaptive Search Procedure) 階層的 積木法 構築法 (Saving, Insertion) ルート選択 Heuristic Location Based Heuristic 一般化割当法 下界導出 列生成法 State Space Relax. Cutting Plane K-Tree Relax. 1960 1970 1980 1990

基本モデル 構成要素 運搬車の集合 航空機,バス,鉄道,トラック,船,乗務員 タスクの集合 便,荷 移動化ネットワーク  航空機,バス,鉄道,トラック,船,乗務員 タスクの集合 便,荷 移動化ネットワーク 点上活動図式(activity-on-node diagram): タスクが点 枝上活動図式(activity-on-arc diagram): タスクが枝

 移動可能ネットワーク(枝上活動図式) 運搬車 に対して: [8:30,9:00] 9:10発 発地 着地 8:30発

移動可能ネットワーク 時空間ネットワーク (枝上活動図式)  移動可能ネットワーク 時空間ネットワーク (枝上活動図式) 時間 8:30 9:00 9:10 待ち

タスクの処理を表す集合 点iから点jへ運搬車kが移動         ⇒タスク t が処理される

リソース集合 運搬車kに対するリソース集合 時間枠制約 積載重量(容量)制約 目的関数 運搬車 k,点i,リソース rに対する 運搬車k,点iからjへ移動,リソース r の増加量

変数 リソース変数 運搬車フロー変数 i j

定式化 最小化 総費用 条件    タスク遂行条件 運搬車のフロー整合条件 XとYの繋ぎ条件 リソース量の上下限制約

最小化 総費用 費用を表すリソース r=0

タスク遂行条件 すべてのタスクが処理される.

運搬車のフロー整合条件 運搬車kが発地o(k)を出発し,着地d(k)に到着することを表す.

運搬車フロー変数Xと リソース変数Yの繋ぎ条件 運搬車kが枝(i,j)上を移動 ⇒                 リソースrが変化

リソース量の上下限制約(1) 発地・着地の場合

定式化(構造に対する洞察)

Dantzig-Wolfeの分解原理 o(k) から d(k) までのリソース制約を満たすパス 端点の特性ベクトル 多面体の端点(パス)の添え字集合 端点の特性ベクトル

リソース量の上下限制約(2) 発地・着地以外の場合

Resolution定理(Minkowski-Weyl) 多面体の端点

主問題 変数の数は入力サイズの指数オーダー

制限付き主問題 に対して

制限付き主問題の線形計画緩和 に対して 双対変数

パス変数  の被約費用

部分問題     リソース制約付き最短路問題

列生成法 主問題の 線形計画緩和 「目的関数<0」 のパス(列ベクトル) 双対変数 部分問題 部分問題 部分問題 部分問題 すべての部分問題で「目的関数<0」なら終了

分枝価格法(パス変数による分枝) あるパス以外の最小費用パス 第L最適解(Lは探索の深さ) あるパスを必ず使用する あるパスを使用しない

分枝価格法(原変数による分枝) 運搬車が同一のとき,下界が改良されない!

分枝価格法 (運搬車が同一のときの分枝ルール1)

分枝価格法 (運搬車が同一のときの分枝ルール2)

タスク遂行条件の一般化 すべてのタスクが 回処理される. 超過量 不足量 超過ペナルティ 不足ペナルティ

リソース拡張関数 リソース変数ベクトル i j リソース制約付き最短路問題の解法 が非減少関数 動的計画 それ以外 列挙,制約論理,メタ解法

航空機産業における応用 意思決定の階層 便決定問題 機団割当て問題 乗務員スケジューリング問題 任務決定問題 乗務員ペアリング問題(crew paring problem) 月次個別ブロック作成問題 カルタ取り方式(bidline procedure) 勤務名簿作成問題(rostering problem) 優先順序付き勤務名簿作成問題(preferential bidding problem)

乗務員スケジューリング タスクの階層 (1) 便(flight, trip) 任務(duty) ペアリング(paring) 月次個別ブロック(personalized monthly block)

乗務員スケジューリング タスクの階層 (2) 便と回送 乗務員スケジューリング タスクの階層 (2) 便と回送 便 11:30発 10:30着 8:30発 14:30着 16:00発 19:00着 羽田 那覇 羽田 広島 8:30発 10:30着 11:30発 14:30着 16:00発 19:00着 便 便 回送(deadhead)

乗務員スケジューリング タスクの階層 (3) 任務 乗務員スケジューリング タスクの階層 (3) 任務 8:30発 10:30着 11:30発 14:30着 16:00発 19:00着 便 便 便 羽田 広島 那覇 金沢 任務(1日)

乗務員スケジューリング タスクの階層 (4) ペアリング 乗務員スケジューリング タスクの階層 (4) ペアリング 任務 任務 任務 任務 成田 金沢 成田 ワシントン 成田 ペアリング(約1週間)

乗務員スケジューリング タスクの階層 (5) 月次個別ブロック 乗務員スケジューリング タスクの階層 (5) 月次個別ブロック ペアリング ペアリング ペアリング 休暇 トレーニング 待機 月次個別ブロック(約1ヶ月)

コンテナ輸送問題における応用 構成要素 トレーラー 荷 コンテナタイプ (横開き,冷凍など) 顧客(複数) コンテナターミナル(複数)

コンテナ輸送問題における応用 仮定1 トレーラーは1つのコンテナを牽引 荷はコンテナタイプを指定

コンテナ輸送問題における応用 仮定2 コンテナターミナルから顧客への荷 顧客からコンテナターミナルへの荷 時間枠 [8:00,10:00] コンテナターミナルには十分なコンテナ

コンテナ輸送問題 概念図と記号の定義1 リソース 時間 コンテナ 積み替え時間 移動時間

コンテナ輸送問題 概念図と記号の定義2

コンテナ輸送問題 リソース拡張関数 地点iからjへの荷が運搬車k+コンテナタイプrで 処理可能なとき1,それ以外のとき0

まとめと課題 種々の実際問題を統一的に解くアルゴリズムの存在から生まれたモデルの提示 実際問題ごとの個別条件(実務家と研究者のcommunicationが重要!) システム開発 動的なモデル