本論文では、大規模な飛行機給油問題(ARP)に対する効率的な解法を提案している。
まず、「順序可能解」という概念を導入し、最適解がこの順序可能解の中に必ず存在することを示した。次に、順序可能解をすべて列挙し、その中から最大のものを見つける「順序探索アルゴリズム(SSA)」を提案した。
SSAの計算量は、入力サイズnに依存する。小さなnの場合は指数時間かかるが、nが十分大きくなると多項式時間で動作することを証明した。具体的には、ある閾値mを超えるnに対して、SSAの計算量は多項式時間に抑えられることを示した。
さらに、任意のARPインスタンスに対して、事前にmを予測する「効率的計算可能性スキーム」を提案した。これにより、問題インスタンスを解く前に、そのアルゴリズムの計算量を見積もることができる。
以上のように、本論文では大規模ARPに対する効率的な解法を理論的に解明し、実用的な計算戦略を提示している。
翻譯成其他語言
從原文內容
arxiv.org
深入探究