[论文解读] A Generalization of the Random Assignment Problem

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

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

一句话总结

本文提出了一个关于具有指数分布(1)条目和指定位置零条目的随机矩阵中，最优k-分配的期望成本的广义猜想。通过利用最优覆盖集的偏序集上的Möbius反演进行递归约化，作者推导出一个涉及部分覆盖概率的公式。关键贡献是提出了Fk,Z(m,n)的精确公式猜想，并在小k值下通过计算验证，且在存在零成本(k−1)-分配的条件下得到证明，其渐近极限如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öbius反演，建立一个用于验证该猜想的递归计算框架。
• 探讨当m,n,k→∞时，期望成本的渐近行为，特别是当零区域由几何形状定义时的情形。
• 通过计算验证该猜想在小k值（最多7）下的正确性，包括与Parisi和Coppersmith-Sorkin猜想相关的情况。

提出的方法

• 提出一个猜想（猜想1.2），将Fk,Z(m,n)表示为对行与列的部分(k−1)-覆盖的求和，权重为其覆盖概率。
• 使用一个递归约化定理（定理2.1），通过从未覆盖条目中减去一个常数，并将其加到双重覆盖条目中，将k-分配问题转化为更小的问题。
• 定义一个偏序集P，即k−1-覆盖集的交集，按逆包含关系排序，并在该偏序集上使用Möbius函数μP(α)重述该猜想。
• 推导出该猜想的等价形式（公式2），其中涉及Möbius函数以及每个覆盖中行与列集合的大小。
• 将该猜想应用于计算渐近极限，通过在几何区域（例如四分之一圆外）上积分，得到的积分结果为π²/24。
• 通过小k值（最多7）的计算验证，确认该猜想在已知情形（包括Parisi猜想和Coppersmith-Sorkin猜想）下的正确性。

实验结果

研究问题

• RQ1 在具有i.i.d.指数分布(1)条目且在指定集合Z的位置为零的m×n矩阵中，最优k-分配的期望成本是多少？
• RQ2 Fk,Z(m,n)是否可以表示为对Z的部分(k−1)-覆盖的有限求和，其系数依赖于覆盖概率？
• RQ3 当Z定义了一个几何区域（如四分之一圆的补集）时，Fk(m,n)在m,n,k→∞时的渐近行为如何？
• RQ4 当Z为空集且k=m=n时，Fk,Z(m,n)的猜想公式是否退化为已知结果（如Parisi猜想）？
• RQ5 该猜想是否可在小k值下通过计算验证，包括此前未验证的情形？

主要发现

• 当集合Z包含一个零成本(k−1)-分配时，Fk,Z(m,n)的猜想公式被证明为真。
• 对于n×n矩阵，零条目位于四分之一圆外的情形，最优n-分配的渐近期望成本猜想为π²/24。
• 该猜想在k=7时通过计算验证，确认了Parisi猜想；在k=6时验证，确认了Coppersmith与Sorkin的猜想。
• 在主猜想成立的假设下，公式Fk,Z(m,n) = ∑_{i+j<k} bi,j / ((m−i)(n−j)) 成立，其中bi,j为与m和n无关的整数系数。
• 该猜想暗示了一个关于某一行中最小元素在最优分配中被使用的概率的结果，支持了Olin的猜想。
• 对于p-范数区域xp + yp ≥1，其渐近极限被证明为(1−1/p)²·π²/6，推广了四分之一圆的情形。