整数計画ソルバーHiGHSに探索用手法を追加した評価
Presolve heuristics in HiGHS: implementation and computational study
この論文をやさしく読む
ひとことで言うと
混合整数計画ソルバーHiGHSへ四種類の解探索手法を組み込み、解を見つける早さと質を比較した研究である。
何に役立つ？
HiGHSで実行可能な解を早く得たいとき、どの探索手法がベンチマークで役立ったかを判断する参考になる。
この研究の面白いところ
全233事例でprimal integralが23.7％改善した一方、追加した二手法は暫定最良解を一度も更新せず、出荷時には無効にされた。
どこまで分かった？
評価はmipfeasの233事例、各600秒、同一計算機での比較である。調整に使わなかった事例での改善は12.9％で、最終ギャップの有意差は全事例でのみ確認された。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
オープンソースの混合整数計画ソルバーHiGHSの中に、公表済みの四つの実行可能解探索手法を参照実装する。対象はFeasibility Jump、線形計画に導かれる潜り込み版を含むfix-propagate-repair（FPR）、LocalMIP、一次の線形計画を使う実行可能性ポンプScyllaである。各手法は共通の統合インターフェースを使い、個別の計算予算と打ち切り条件を持つ。独立に乱数の初期値を与えた作業単位で並列実行する。評価にはmipfeasベンチマークの233事例を使い、各事例の制限時間を600秒として、同じ計算機上で別に構築した未改変のHiGHSと比較した。主たる解の質と発見の早さを表すprimal integralは、全事例で23.7％、調整に使わなかった事例では12.9％改善し、変更後のソルバーが良い解をより早く見つけた。制限時間の時点でもわずかに優位だった。未改変版が解を見つけられなかった4事例で変更版は解を見つけ、その逆は1事例だった。最終的な最適性ギャップも小さかったが、統計的に有意なのは全事例での比較に限られた。Scyllaと線形計画に導かれる潜り込みは、それらを含む制限時間いっぱいの実行のどれでも採用される暫定最良解を生み出さず、出荷時には無効になっている。ただし実装は残されている。実装はオープンソースとして公開された。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We present reference implementations of four published primal heuristics for mixed-integer programming inside the open-source solver HiGHS (Huangfu and Hall, 2018): Feasibility Jump (Luteberget and Sartor, 2023), fix-propagate-repair (FPR; Salvagnin, Roberti and Fischetti, 2025) with its LP-guided dive-time variant, LocalMIP (Lin, Zou and Cai, 2024), and the first-order-LP feasibility pump Scylla (Mexi et al., 2025). They share one integration interface with per-heuristic budgets and patiences, and each runs in parallel on independently seeded workers. The evaluation is on the mipfeas benchmark (Bussieck and Dirkse, 2026), 233 instances at 600 s, against a separately built unpatched HiGHS on the same machine. The primal integral improves by 23.7% over the full set and by 12.9% on the instances not used for tuning: the patched solver reaches a good solution sooner. At the time limit it is slightly ahead. It finds a solution on 4 instances where the unpatched solver finds none, against 1 the other way, and its final gap is smaller, significantly so only over the full set. Scylla and the LP-guided dive produced no accepted incumbent in any full-limit run that carried them and ship disabled; their implementations remain. The implementation is released as open source.
arXiv ID: 2609.22938 ／ 要約の誤りについて