Appendix

用語集と参考文献

A.1 用語集 (英日)

最適化の基礎

英語日本語備考
Combinatorial Optimization組合せ最適化離散変数を持つ最適化
Decision Variable決定変数モデルの未知数
Objective Function目的関数 f
Feasible Region実行可能領域 F制約を満たす解の集合
Optimal Solution最適解 x*
Lower / Upper Bound下界 / 上界LB ≤ f* ≤ UB
Optimality Gap最適性ギャップ(UB - LB) / LB
NP-hardNP困難すべての NP 問題と等価に難しい
Polynomial Time多項式時間P クラス
Pseudo-polynomial擬多項式入力数値にも依存
Approximation Ratio近似比近似解 / 最適

解法

英語日本語備考
Heuristicヒューリスティック経験則的解法
Metaheuristicメタヒューリスティック上位枠組み
Matheuristicマッチヒューリスティック数理計画 × メタ
Local Search局所探索
Hill Climbing山登り法改善のみ
Simulated Annealing (SA)焼きなまし法確率的悪化受入
Tabu Searchタブー探索禁止リストで循環防止
Iterated Local Search (ILS)反復局所探索摂動 + 局所探索
Variable Neighborhood Search (VNS)可変近傍探索複数近傍の切替
GRASP貪欲ランダム + 局所探索
Genetic Algorithm (GA)遺伝的アルゴリズム集団 + 交叉
Evolution Strategy (ES)進化戦略連続向け、CMA-ES
Ant Colony Optimization (ACO)蟻コロニー最適化フェロモン構築
Particle Swarm Optimization (PSO)粒子群最適化群知能
Large Neighborhood Search (LNS)大規模近傍探索destroy-repair
Adaptive LNS (ALNS)適応的大規模近傍探索オペレータ重みを学習
Path Relinkingパスリリンキング解間の中間解探索
Hyper-heuristicハイパーヒューリスティック選択 / 生成型
Branch and Bound分枝限定法厳密列挙
Branch and Cut分枝カット法B&B + 切除平面
Mixed Integer Programming (MIP)混合整数計画線形 + 整数
Constraint Programming (CP)制約プログラミング論理 + 伝播
Lagrangean Relaxationラグランジュ緩和下界の作成
Column Generation列生成大規模 LP の分解
Logic-Based Benders Decomposition (LBBD)論理ベンダース分解マスター + サブ問題

スケジューリング

英語日本語備考
Job / Task / Operationジョブ / タスク / 工程用語は文脈で混在
Makespan (Cmax)最大完了時刻
Tardiness (Tj)遅れmax(Cj−dj, 0)
Lateness (Lj)遅刻Cj−dj (負も可)
Flow time (Fj)フロータイムCj−rj
Setup time (sij)段取り時間順序依存
Release time (rj)リリース時刻開始可能時刻
Due date (dj)納期
Dispatching Ruleディスパッチ規則SPT, EDD 等
Critical Pathクリティカルパスmakespan を決める経路
Disjunctive Graph対立グラフJSP の表現
NoOverlap / Cumulative排他 / 累積制約CP の大域制約
Flexible Job Shop (FJSP)柔軟ジョブショップ機械選択あり
Permutation Flow Shop (PFSP)順列フローショップ

運用と業務

英語日本語備考
APS (Advanced Planning & Scheduling)先進計画スケジューリング商用パッケージカテゴリ
MRP / MPS資材所要量計画 / 基準生産計画上位層
S&OP販売生産計画戦略層
BOM部品表製造の依存関係
Rolling Horizonローリングホライズン窓を前進させ再計画
Frozen Zone凍結期間計画変更を禁ずる近未来
Reactive Scheduling再計画イベント駆動
Robust Optimizationロバスト最適化最悪を想定
Stochastic Programming確率計画分布を想定
Sample Average ApproximationSAAシナリオの平均
Pareto Optimumパレート最適多目的の支配されない解
What-if Analysis反実仮想分析L3 説明可能性

A.2 参考文献

教科書

原著論文 (主要なもの)

近年の研究 (2020〜2026 主要)

ライブラリと実装

ベンチマーク

A.3 学び続けるための導線

  1. 論文: arXiv の cs.AI / math.OC / cs.DM、Computers & Operations Research、European Journal of OR、Transportation Science、International Journal of Production Research。
  2. カンファレンス: INFORMS Annual Meeting、CPAIOR (CP + AI + OR)、MIC (Metaheuristics International Conference)、IJCAI、NeurIPS の OR ワークショップ。
  3. コミュニティ: OR-Exchange (Stack Exchange 系)、Google OR-Tools discuss。
  4. ベンチマーク参戦: ROADEF Challenge、DIMACS Implementation Challenge、Google Hash Code (引退) の後継。

A.4 索引 (主要キーワード)

第何章で詳しく扱ったかを索引化する。深掘りの起点として。

キーワード
2-opt / 3-opt3
ACO5
ALNS5, 9
Branch & Bound6
Clarke-Wright2
Column Generation6
CP-SAT6, 7, 9
Critical Path3, 7
Disjunctive Graph7
Dispatching Rules2
EDD / SPT2
Frozen Zone8
FJSP7, 8
GA5
Graham 表記7
GRASP2, 4
Hill Climbing3
ILS4
JSP1, 3, 7
Lagrangean Relaxation6
LBBD6
Lin-Kernighan3
LNS5
Matroid2
MIP6
Neural Combinatorial Optimization5, 9
NP-hard1
No Free Lunch1
NoOverlap / Cumulative6, 7
Pareto8
Path Relinking5
PSO5
Robust Optimization8
Rolling Horizon8
Simulated Annealing4
Tabu Search4
VNS4
What-if8, 9