Expand description
LP問題定義モジュール
線形計画問題（LP）の構造定義・制約種別・ソルバー結果の表現を提供する。
問題は標準形 min c^T x s.t. Ax {<=,>=,=} b, x in [lb, ub] で定義される。
Modules§
- certificate
- Proof-carrying certificate types for solver outcomes.
Structs§
- LpProblem
- 線形計画問題: min c^T x s.t. Ax {op} b, x in [lb, ub]
- Solve
Stats - Per-solve routing and warm-start statistics (race-free, per-result).
- Solver
Result - LP/QP共通求解結果型
- Timing
Breakdown - 各 phase 所要時間 (μs精度)。LP simplex と QP IPM の両経路で共用。
Enums§
- Constraint
Type - LP問題における制約条件の種別
- Solve
Route - Route taken by a solve call (populated per-result, race-free).
- Solve
Status - ソルバーの求解結果ステータス