ペナントレースにおける敗退
毎年何百万人という野球ファンが熱心に試合を観戦し、贔屓チームがプレーオフそしてワールドシリーズに進むことを期待します。しかし非情なことに、シーズンが終わる数日前あるいは数週間前の時点で、ほとんどのチームはペナントレースから "数学的に" 敗退します。通常はあるチームが敗退したかどうかを判断するのは簡単です ――現在地区トップのチームに追いつけるほど試合数が無ければ敗退です―― が、状況がもっと複雑になることもあります。次に示すのは 1996 年 8月 30 日のアメリカンリーグ東地区で実際に起こった順位です: 明らかに Detroit は後れを取っていますが、それでも粘り強いファンは希望を捨てていませんでした。もし Detroit が残りの 27 試合に全て勝利すれば合計で 76 勝となって現在のどのチームよりも勝利数が多くなるからです。その上で他のチームが全ての試合に敗北すれば...。
しかし他のチームもお互いに試合をしなければならないので、これは不可能です。理由を完全に説明すると次のようになります1:
残りの試合全ての勝利することで、Detroit はシーズンを 76 勝 86 敗という成績でシーズンを終えることができる。しかし Yankees が 2 試合でも勝利すれば 77 勝 85 敗となって Detroit を上回る成績となる。よって Tigers が一度も負けずに、Yankees が一度も勝てずにシーズンが終わると仮定する。
このシナリオにおける問題は、New York が Boston との試合を 8 試合残しているという点にある。Red Sox がそれらの試合に全て勝利した場合、77 勝以上が確定して Tigers よりも良い成績となってしまう。よって Detroit が一位となる可能性を消さないためには、New York が Boston との 8 試合のうちちょうど 試合だけ勝利し、他の試合に敗北する必要がある。一方で Sox は New York 以外との全ての試合において敗北しなければならない。以上の条件が成り立てば、Detroit と New York と Red Sox が同着一位となる ...。
このシナリオにおいて Orioles と Blue Jays で何が起こるかを見よう。Baltimore は Boston と 2 試合、New York と 3 試合が残っているので、上記のようにことが進んだ場合には Baltimore は最低でも 76 勝でシーズンを終えることになる。よって Detroit が Baltimore に抜かされないためには、Baltimore は New York と Boston 以外の全ての試合に敗北しなければならない。つまり、Baltimore は Totonto との残り 7 試合全てに敗北しなければならない。一方で Blue Jays は Yankees との試合も 7 試合残っており、既に見た通り Detroit が一位となるためにはこの試合は全て Blue Jays が勝利する必要がある。しかしそうなると Blue Jays は現在の状況から 14 試合に勝利することになり、最終成績が 77 勝となって Detroit を抜いて一位となってしまう。したがって、これから何が起ころうとこのシーズンにおいて Detroit がアメリカンリーグ東地区で一位になることは不可能である。
もっと簡単にこれを示す方法があるはずです!
この問題を抽象的に定式化するとこうなります: 入力は二つの配列 と であり、 がチーム の現在の勝利数を表し、 がチーム とチーム の残り試合数を表します。出力はチーム が最多の勝利数でシーズンを終えることができるかどうかです (同着一位でも良いとします)2。
1960 年代の中頃、Benjamin Schwartz (ベンジャミン・シュワルツ) はこの問題が最大フローを使ってモデル化できることを示しました。それから約 20 年後、Dan Gusfield (ダン・ガスフィールド)、Charles Martel (チャールズ・マーテル)、David Fernández-Baca (デイビッド・フランシス・バカ) は Schwartz のフローによる定式化を組選択問題に単純化しました。つまり、チーム が一位となるための各ゲームにおける勝者を選択するということです。 をチーム の残り試合数とし、これ以降はチーム が残りの 試合に全て勝利すると仮定します。この仮定の下でチーム が一位になれるのは、他の全てのチーム について、残り 試合における勝利数が 以下であるときだけです。
各試合で勝利するチームを選択することから、頂点が試合とチームを表す二部グラフを構築します。試合を表す 個の頂点 とチームを表す頂点 を考え、全ての添え字の組 について、容量が無限大の と という辺を追加します。さらにソース頂点 と各組 に対する容量 の辺 を追加し、シンク頂点 と各チーム に対する容量 の辺 も加えます。
1996年のアメリカンリーグ東地区に対するグラフを次に示します。チーム は Detroit Tigers で、ラベルの付いていない辺は無限大の容量を持ちます。

定理 チーム が一位でシーズンを終えられることは、 から出る全ての辺を飽和させる実現可能なフローが存在することと同値。
証明 チーム が一位でシーズンを終えられるとする。このとき他の全てのチーム の残り試合における勝利数は最大でも である。チーム が一位となるシナリオにおいて、 と が戦って が勝つような試合ごとに有向路 に沿って一単位のフローを流していく。 と の間の試合は 回行われるので、こうして出来上がるフローは から出る全ての辺を飽和させる。また各チーム の勝利数は最大でも だから、こうして出来上がるフローは実現可能である。
逆に から出る全ての辺を飽和させる実現可能なフロー が存在するとする。このとき全ての の組について、チーム がチーム との試合に 回勝つとする。このとき と の間の試合は 回行われるので、全ての試合が終わっている。また が試合に勝つのは 回なので、シーズン累計の勝利数は 回以下である。したがってチーム が残りの試合全てに勝つならば は一位でシーズンを終えられる。
好きなチームが勝つかどうかを判定する方法をまとめると、まずフローネットワークを構築し、最大フローを計算し、その最大フローが から出る辺を全て飽和させるかどうかを見ればよいということになります。例えば上記のグラフでは から出る辺の容量の和は (Detroit が関わらない残り試合数と等しい) 27 ですが、 へ向かう辺の容量の和は 26 しかありません。つまり最大フローの値は 26 以下にしかなれず、Detroit は数学的に敗退していると結論できます3。
フローネットワークは 個の頂点と 個の辺を持ち、 時間で構築できます。よって Orlin のアルゴリズムを使えば最大フローを 時間で計算可能です。
このアルゴリズムはペナントレースの敗退問題に対する最速のアルゴリズムではありません。2001 年、Kevin Wayne (ケビン・ウェイン) は数学的に敗退する全てのチームをわずか 時間で見つけるアルゴリズムを発見しました。突き詰めればこのアルゴリズムも最大フローの計算を一度だけ使っています。
-
この例とその説明は、Eli V. Olinick のウェブサイト https://s2.smu.edu/~olinick/riot/detroit.html からです。このページは Olinick が Ilan Adler, Alan Erera, Dorit Hochbaum と共に行った共同研究に基づいています。[return]
-
試合が引き分けになることはなく、試合が中止になることもないとします。メジャーリーグではプレーオフ進出がかかった試合およびその他のほとんどの試合で引き分けはありませんが、レギュラーシーズンでは (戦争、自然災害、ハチの群れなどが原因で) 試合が中止になることがあります。[return]
-
この例ではラッキーでした。 へ向かう辺の容量の和が から出る辺の容量の和よりも大きいにもかかわらずチーム が敗退しているという状況はあり得ます。[return]