本論文では、パンデミックの数学的モデルであるSIRモデルの解析解を拡張し、ロックダウンを考慮したモデルを構築した。このモデルをメトリックハイブリッド計画問題として定式化し、SCIPPlanというメトリックハイブリッド計画ソルバーを用いて解いた。
SCIPPlanの計算効率を向上させるために、状態変数の単調性や人口の一定性に基づく有効不等式を導入した。
理論的には、SCIPPlanがパンデミック計画問題を有限回の制約生成で解くことができることを示した。
実験的には、様々な設定下でSCIPPlanの性能を評価し、有効不等式の導入や可変ステップ幅の使用が計算時間と解の質を大きく改善することを示した。
全体として、SIRモデルの解析解を活用し、メトリックハイブリッド計画手法を適用することで、パンデミック計画問題を効果的に解くことができることを示した。
Till ett annat språk
från källinnehåll
arxiv.org
Djupare frågor