[論文レビュー] A Generalization of the Random Assignment Problem

Svante Linusson, Johan Waestlund|ArXiv.org|Jun 20, 2000

Advanced Graph Theory Research参考文献 2被引用数 15

ひとこと要約

本稿では、指数分布(1)の要素と指定された位置にゼロ要素を含むランダム行列における最適k-割り当ての期待コストに関する一般化された予想を提示する。最適被覆とposet上のモービウス逆転を用いた再帰的還元により、部分被覆の確率を含む公式が導出される。主たる貢献は、小さなkに対して計算的に検証され、かつ(k−1)-割り当てのコストがゼロである条件の下で証明された、Fk,Z(m,n)の正確な公式の予想である。特に、正方形内に四分円外にゼロをもつn×n行列における漸近的極限としてπ²/24が得られる。

ABSTRACT

We give a conjecture for the expected value of the optimal k-assignment in an m x n-matrix, where the entries are all exp(1)-distributed random variables or zeros. We prove this conjecture in the case there is a zero-cost $k-1$-assignment. Assuming our conjecture, we determine some limits, as $k=m=n o \infty$, of the expected cost of an optimal n -assignment in an n x n-matrix with zeros in some region. If we take the region outside a quarter-circle inscribed in the square matrix, this limit is thus conjectured to be $π^2/24$. We give a computer-generated verification of a conjecture of Parisi for k=m=n=7 and of a conjecture of Coppersmith and Sorkin for $k\leq 5$. We have used the same computer program to verify this conjecture also for k=6.

研究の動機と目的

• 指数分布(1)の要素と指定されたゼロ位置をもつ行列における古典的ランダム割り当て問題の一般化。
• このような行列における最適k-割り当ての期待コストに関する予想公式の導出。
• 最適被覆とモービウス逆転に基づく再帰的計算フレームワークの確立により、予想の検証。
• ゼロ領域が幾何的形状で定義される行列における、m,n,k→∞における期待コストの漸近的挙動の探求。
• kが小さい場合（最大7まで）の予想の計算的検証、特にパリジの予想およびコッパーズミス・ソーキンの予想に関連するケースの検証。

提案手法

• Fk,Z(m,n)を部分(k−1)-被覆の和として表す予想（予想1.2）を提示。各被覆はその被覆確率で重み付けされる。
• 未被覆要素から定数を減じ、二重被覆要素に加えることで、k-割り当て問題をより小さい問題に還元する再帰的還元定理（定理2.1）を用いる。
• k−1-被覆の交差集合からなるposet Pを定義し、包含関係の逆順序で順序づける。このposet上でモービウス関数μP(α)を用いて予想を再定式化する。
• モービウス関数と各被覆における行および列集合のサイズを含む、予想の同値な形（式2）を導出する。
• 幾何的領域（例：四分円外）にわたる積分を適用し、漸近的極限を計算。これにより積分がπ²/24に評価される。
• kが小さい場合（最大7まで）の計算的検証により、パリジの予想およびコッパーズミス・ソーキンの予想を含む既知のケースにおける予想の妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 i.i.d. 指数分布(1)の要素と指定された集合Zの位置にゼロをもつm×n行列における最適k-割り当ての期待コストは何か？
• RQ2 期待コストFk,Z(m,n)は、Zの部分(k−1)-被覆の有限和として表され、係数が被覆確率に依存するか？
• RQ3 Zが幾何的領域（例：四分円の補集合）を定義するとき、m,n,k→∞におけるFk(m,n)の漸近的挙動は何か？
• RQ4 Zが空集合でk=m=nの場合、予想公式Fk,Z(m,n)は既知の結果（例：パリジの予想）に還元されるか？
• RQ5 kが小さい場合（未検証のケースも含む）に、予想は計算的に検証可能か？

主な発見

• 集合Zにコストがゼロの(k−1)-割り当てが含まれる場合、Fk,Z(m,n)の予想公式は真であると証明される。
• 正方形内に四分円外にゼロをもつn×n行列において、最適n-割り当ての漸近的期待コストはπ²/24であると予想される。
• k=7の場合に予想が計算的に検証され、パリジの予想が裏付けられ、k=6の場合にコッパーズミスとソーキンの予想が裏付けられた。
• 主な予想を仮定すると、Fk,Z(m,n) = ∑_{i+j<k} bi,j / ((m−i)(n−j)) が整数係数bi,j（mおよびnに依存しない）を用いて成り立つ。
• 予想は、行の最小要素が最適割り当てに使われる確率に関する結果を示し、オリントの予想を支持する。
• p-ノルム領域xp + yp ≥1における漸近的極限が(1−1/p)²·π²/6に等しいことが示され、四分円の場合を一般化する。