Skip to main content
Back to top
Ctrl
+
K
Basic Terms
1. 記号の説明
2. 自由変数
3. Big M
4. small ε
5. if-else 文と制約条件
6. 境界条件と制約条件
7. 射影と抽出
8. Iverson 括弧
Binary Variable
1. インジケータ変数
2. 論理式の線形表現
3. 固定費の表現
4. 起動・停止コストの表現
5. 非線形関数の Shannon 展開
Debug
1. 定式化におけるデバッグ
2. 変数固定による検証
3. スラック緩和
4. トラブルシューティング
Framework
1. 数理最適化法 (数理計画法) による定式化とは
2. 定式化の複雑さ
3. 定式化の強弱
4. 頻出する式構造
Formulations
1. 自由変数の非負変数への分解
2. 等式制約の不等式制約への分解
3. 折線関数の線形表現
4. 不連続な区分線形関数
5. セパラブルな関数
6. セパラブル・モデル
7. バイナリ変数を含んだ実行可能解の列挙
Problems
1. 二つの変数で小さい方を表す方法
2. 最大値最小化問題
3. ノルム最小化問題
4. 絶対値最小化問題
5. QUBO
6. 多目的最適化問題
System
1. ハードウェア要件
2. 計算時間の内訳と短縮改善策
3. 非線形問題の高速化チューニング
4. 求解状態
5. 終了条件の設計
6. 解の安定性
7. 暗黙の制約条件
Theoretical Minimum
1. 数理最適化の共通項目
2. 線形最適化問題
3. 単体法
4. 線形最適化問題の双対性
5. 内点法
6. 列生成法という技法
更新履歴
索引