FedEx問題
キャッチーなタイトルに惹かれて読んだKent E.MorrisonのThe FedEx Problemを紹介します。
FedEx問題とは
この論文ではFermat-Torricelli問題やWeber問題とも呼ばれる(むしろこっちが正統?)最適化問題の一つについて述べられています。物流最大手として有名な企業FedExの創業者であるFred Smithは、それまで各地域の空港間で配送を行っていた物流を、ハブ(hub)と呼ばれる拠点に一度集約してから再送するという手法を用いることで大幅な管理コストの削減と翌日配達を実現しました。後にハブ・システムと呼ばれるこの手法は、大学でのレポートがC評価(「可」)だったという逸話もあるそうです。
ここで拠点となるハブをどこに作るかという問題が生じます。現実的には天候不順等による航空機の欠航や、従業員のストライキなどのリスクも考慮する必要がありますが、数学的モデルとしてはごく単純に、空港と拠点となるハブ空港の距離のみを考えることにしましょう。つまりユークリッド空間上の有限個の点が与えられたとき、それらへの距離の和
が最小となる点を探す問題です。この点をハブと呼ぶことにします。
ハブの存在と一意性
ハブの存在と一意性は簡単に示すことが出来ます。上で定義したは連続関数であり、を除けば微分可能です。ここでにおける微分は、少し計算すると
となることが分かります。は内積を表しています。
定理 が同一直線状に無いなら、唯一つのハブがの凸包に存在する。
の凸包をと置きます。まずはコンパクトなので最小値が存在します。これが全体の最小値となることを示します。をの外部の点とすると、適当な超平面で分けることが出来ます。ここでに対する方向への単位法線ベクトルをとすると、任意のに対してが成り立ちます。つまりを方向へ少し動かせばの値が減少していくので、ハブはの外側にはありません。
一意性を示します。これはが強凸(strictly convex)であること、つまりに対して
が成り立つことから分かります。実際が最小値を与えるなら右辺がその値となり、が得られます。ちなみに強凸性はが一直線上にないことから従うので一次元の場合は上手くいきません。
この定理から、ハブはもしくはの臨界点つまりを満たす点であることが従います。
具体的にハブを求める
一次元の場合は簡単です。存在は定理から従うので、負の方からとすればとなります。ところでこの時は一定なので、を問題から除去することができます。結局が奇数なら真ん中の点、偶数なら最後に残った二点の間ならどれでもハブとなります。
の場合を考えます。三点は三角形の頂点となりますが、もし頂点ならハブは長い辺の対点です。三角形の内部にある場合、
とするととなるので、座標を改めてと定めるととなります。ここでという関係からが求まります。つまりハブを中心とした120度の方向に各頂点が分布しているのです。後は具体的に計算できるでしょう。
の場合を考えます。四点の凸包が四角形を作る時は二本の対辺の交点がハブとなります。実際、交点はの臨界点になるからです。三角形に退化する場合は三角形の中にある点がハブとなります。先ほどと同じようにを定めると、は菱形*1を作ります。よってであることが分かり、ハブから伸びるの線上に各頂点があることになります。これは三角形であることに矛盾するのでハブはのどれかになります。具体的に計算すると中の点が最小値を与えていることも得られます。
一般化
一般の場合は明示的にハブの位置を求めることはできません。論文ではこの後、アメリカの人口中心について考察しています。アメリカの国勢調査局(Bureau of the Census)が発表している統計では、東西に長い分、経度に補正を掛けて近似計算をしているみたいです。著者が球面上の距離を用いて計算したハブの位置とそこそこ違うらしいです。何の意味があるかは不明です。
因みに球面上であれば、球面そのものがコンパクトなのでの最小値は必ず存在します。一方で一意性は失われてしまい、例えば北極と南極に分布している場合、ハブは赤道上のどこでもよいことになります。
参考文献
Kent E.Morrison. The FedEx Problem. arXiv:1410.6723v1 [math.HO] 23 Oct 2014.
*1:rhombusって何だよと思ったら菱形だった。勉強になった。