ファランデーラス・サンクラミッテのアルゴリズム
| 分野 | ネットワーク最適化・ネットワークフロー |
|---|---|
| 目的 | 制約付きフローの最適化（容量・需要・優先度） |
| 主な着想 | 再配線（re-routing）による安定化 |
| 実装形態 | 反復型（増加パス＋局所修復） |
| 適用例 | 物流ハブ、通信帯域配分、工場スケジューリング |
| 計算量（とされる） | O(|E|·log|V|)〜O(|V|·|E|)（条件により変動） |
| 派生 | 階層制約版、優先度版、遅延補償版 |
ファランデーラス・サンクラミッテのアルゴリズム（英: Falandérais–Sunkramitte Algorithm）は、問題を効率よく解くための手順として知られるアルゴリズムである。特に、複数の制約付き資源配分を、段階的な再配線で安定化させる点が特徴とされる[1]。
概要[編集]
ファランデーラス・サンクラミッテのアルゴリズムは、上で定義されるの最適解を、いくつかの“修復サイクル”を経て到達させるとされるアルゴリズムである[1]。一般にはとが同時に課された状況を想定し、まず暫定フローを作り、その後に矛盾が残る部分だけを再配線して整合させる。
この手法では、各反復において“境界”と呼ばれる頂点集合（境界集合）を更新し、境界の外側へは極力触れない方針が採られるとされる。具体的には、境界上の辺に沿ってを探索し、見つかった増加量を、次の反復までの「保留バッファ」に一度移送することで、局所的な最適性を段階的に固定する点が強調される[2]。
なお、歴史的経緯としては、数学者の枠組みから始まったのではなく、の現場で“目に見えない詰まり”を抑えるために作られた手順が、研究者の手によって理論化された、という筋書きがよく語られる。もっとも、後述のように、その理論化の経緯には複数の証言があり、原典の写本の擦れ方すら論争の種になっているとされる[3]。
仕組み[編集]
入力と表現（境界集合・保留バッファ）[編集]
入力は、頂点集合Vと辺集合Eを持つ有向グラフであり、各辺には容量c(e)が与えられる[4]。需要側では、頂点に対して供給量b(v)が割り当てられ、正負で供給・需要を表すとする流儀が一般的である。
アルゴリズムの核は、反復のたびに再構成されるB⊆Vと、辺または頂点に紐づくpにある。保留バッファは整数とされる場合が多く、文献によっては“2,048単位で丸める”ような実務的ルールが併記される[5]。ただし、バッファが小さすぎると循環が止まらず、大きすぎると収束が遅れるため、バッファ上限には経験則があるとされる。
反復（増加路→局所修復→再配線）[編集]
第一段階では、現フローを満たす範囲で暫定解を用意し、その後に境界集合Bから探索を開始する[6]。探索はの列挙に近いが、全増加路を列挙するのではなく、「候補辺を重み順で上位k本だけ」選ぶとされる。ある解説書ではk=17としているが、これは“当時の電信技師が背番号から決めた”という逸話として紹介される[7]。
局所修復では、増加路による変更が他の制約を破りそうな箇所を、反対向きの再配線（リバース配線）で打ち消す。つまり、ある辺への増加はその直後に、対応する“矛盾側”へ小さな調整を流すことで、合成的に収束させる仕組みだとされる[8]。この“矛盾側”は文献によって「負の境界」あるいは「影領域」と呼ばれ、呼称の違いが後の派生研究の分岐点になったとされる。
終了条件（検査の連鎖）[編集]
終了条件は“最終的に境界が空になる”ではなく、「境界上の全頂点について検査用不等式が連鎖的に満たされる」ことだと説明される[9]。検査用不等式は通常、各辺の残余容量に基づくが、ファランデーラス流の検査では“16ステップ連続で変化がゼロ”なら打ち切る規則が採られるとされる[10]。
ただし、この打ち切り規則が安全かどうかについては、改訂版の原稿が複数存在し、編集の段階で数字が入れ替わったのではないかという疑いがある。実際、同じ式番号が二つの写本で異なる係数を持つと指摘する論文もあるとされる[11]。
歴史[編集]
現場の詰まり対策から、研究室の“アルゴリズム名”へ[編集]
物語の起点として語られるのは、近郊の架空でない企業、連携の物流部門にいた技師たちである。彼らは港湾ターミナルの再配線を計算するために、明細書に手書きの“矛盾チェック”を繰り返していたとされる[12]。
その手書き手順が、後に数学へ転換されるきっかけになったのは、ベルギー出身の若手研究者（名は写本により“ファラン・デ・レイス”と揺れる）と、計測工学出身の（同様に“サンクラミット”表記もある）による共同研究だとされる[13]。彼らはまず、現場で発生する遅延の原因を“境界の移動”としてモデル化したとされ、以後この発想がアルゴリズムの名前に残った。
当初の提案では、計算対象は最大でも頂点数が10,000未満の小規模ネットワークに限られていたとされる。ところが、1970年代に入って通信回線の拡張が進むと、制約付きフローを現場が一括で扱う必要が出てきた。そこで境界集合の更新規則に“バッファ丸め”のような実務的工夫が加えられ、形式が整ったとされる[14]。
誰が関わり、どう“国際会議”に持ち込まれたか[編集]
国際的な名声は、1991年の“短すぎる”査読サイクルを経て確立したと語られることが多い。具体的には、で開催されたとされる“ネットワーク安定化ワークショップ”に、編集委員のが招待講演としてねじ込んだ、という筋書きが広まっている[15]。
ただし、ユナ・ベレッタの記録には「引用すべき文献が18本不足していたため、急遽23分で“それっぽい出典”を追加した」との走り書きがあるとされる。これが後年、“出典のねじれ”として論争になった。ともあれ、会場ではアルゴリズムが配分に即効で適用できるとデモされたため、参加者の多くが「理論というより現場の呪文だ」と認識したという[16]。
社会的影響としては、行政の委託事業にまで波及したとされる。たとえば仮想の組織であるが、入札書類の中で“ファランデーラス・サンクラミッテ型の整合検査”を要求する条項を盛り込んだとされる。結果として、ネットワーク最適化を扱う研究が“計算の速さ”から“監査可能性”へ寄っていった、という見方がある[17]。
改訂と派生（階層制約・遅延補償）[編集]
後続研究では、境界集合Bの定義が複数の流儀に分岐した。ひとつはであり、Bを“上位境界”と“下位境界”に分けて探索を二段階にする。もうひとつはであり、フロー調整に伴う遅延コストをバッファpに織り込む。
これらの派生は、それぞれ異なる企業の要請で整理されたという。具体的には、電力網最適化を担当したが“遅延を2.5倍で見積もれ”という内部基準を出したため、遅延補償版が整ったとされる[18]。一方、都市交通の連動信号を扱ったチームは“階層は3段が上限”と主張し、階層制約版の推奨仕様が3段に固定されたという[19]。
このように、アルゴリズム名は同じでも運用仕様が変わり、実装者ごとに挙動が微妙に違うという状態が長く続いたとされる。そのことが、後述する批判の火種にもなっていった。
批判と論争[編集]
最大の批判は、“一見正しい定義”と“実際の収束挙動”のズレである。特に、終了条件に関する“16ステップ連続ゼロ”規則は、条件によっては過早打ち切りになる可能性があるとする指摘がある[20]。ある再現実験では、頂点数が12,341、辺数が43,109のランダムグラフで、平均2.7%のケースが最適性証明を満たさない、と報告されたとされる（ただし、再現コードは公開されていないとされる）[21]。
また、出典のねじれに関しては、査読過程で“式番号だけが一致している別論文”が引用された可能性が論点になった。編集委員のが「数式の整合性は確認したが、写本のページ番号は確認していない」と述べた、という伝聞がある[22]。この種の言い訳が“百科事典向けの説明”としては面白い一方、厳密さを求める数学者からは強い反発があったとされる。
ただし擁護側は、現場適用では“厳密な最適性”より“監査可能な整合”が優先されると主張する。実際、物流管理では差が出ても運用で吸収できるため、結果的にファランデーラス・サンクラミッテのアルゴリズムは導入が続いたとされる[23]。この対立は、理論計算機科学と運用最適化の価値観の違いを象徴する例としてしばしば引用される。
脚注[編集]
関連項目[編集]
脚注
- ^ C.ヴァン・ドール『境界集合の安定化と実務収束』Spring Harbor Press, 1994.
- ^ I.ロレンツィ『保留バッファに基づく制約付きフロー』Journal of Operational Graphs, Vol.12 No.3, pp.41-63, 1992.
- ^ M.シュタインリッツ『再配線モデルの比較—Falandérais流と競合手法』Networks and Scheduling Letters, 第2巻第1号, pp.1-27, 1998.
- ^ P.タナベ『階層制約版アルゴリズムの実装指針』計算技法研究, 2001.
- ^ R.グラント『遅延補償フローの監査可能形式』Proc. of the International Workshop on Network Stabilization, Vol.7, pp.88-104, 1991.
- ^ E.ブランデス『残余容量と検査の連鎖』『数理最適化の現場』第5巻第2号, pp.201-219, 2003.
- ^ S.アルヴァレズ『出典整合性の歴史的事故—アルゴリズム論文の写本問題』Archivum of Verification, Vol.19, pp.9-33, 2010.
- ^ A.キム『“16ステップ連続ゼロ”の誤差境界』日本情報最適化会誌, 2014.
- ^ J.モーガン『Falandérais–Sunkramitte Algorithm: A Practitioner's Guide』Addison Vale, 2008.
- ^ （不一致が指摘される文献）N.サノ『ネットワークフローの定義と起源』Blue Atlas University Press, 1976.
外部リンク
- Falandérais–Sunkramitte アーカイブ
- 境界集合実装レシピ集
- 保留バッファ丸め研究会
- 監査可能フロー ワーキンググループ
- 写本整合性データバンク