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