|
此外,通过我们对对象的选择,我们对所有(,0,0)∈F有((0))≥((0))≥(0,0)),对所有∈F也有((0))≥((0))。然而,由于((8))>((8))≥,这与Lemm A3.3相矛盾。3.3计算复杂性如命题3.1所示,该机制在最多的回合中终止,并分别表示不同的主体和对象的nu mber。在每一轮中,该算法解决了一个线性prog ram的实例来计算。进一步,该算法利用eeds对瓶颈Agent集合进行筛选。我们现在证明了在多项式时间内,通过求解至多线性规划的非齐次,可以找到它。我们回想起,任何一个极小的主体集,其(,,(0)∈)的目标值等于。算法2提供了一个简单的程序来筛选这样的氨基集合。我们将初始化为所有代理的集合。在每一步中,算法都考虑从。如果去掉这样一个agent使线性规划获得更高的目标值,那么很明显agent一定属于瓶颈。另一方面,如果线性规划obtai ns的ob jective值仅为,那么agent可以安全地从考虑si中删除,因为它是一个较小的候选集。input:,..,do({},,(0)∈)的目标值;如果==then({})endendReturn算法2:寻找瓶颈集的过程算法M2至多以迭代结束,因此总的来说,约束规则的每一轮最多需要求解(+1)个线性p个rograms。因此,算法1可以在约束的大小、代理和对象的数量为多项式的时间内执行。3.4可实现性对象分配机制中的随机化经常被用作从预先的角度结合公平的工具。随机分配机制的结果被视为确定性结果之上的概率分布,从这种分布中得出的结果是在实践中得到实现的。根据Birkho-von Neumann定理,每个双随机的随机分配都可以实现为对可实现的确定性分配的抽签,即每个agent都是一个对象,每个对象都被分配给一个agent的deter ministic分配。然而,在存在任意约束条件的情况下,这样的对满足这些约束条件的deterministic赋值的抽奖分解可能不存在。下面的例子说明了这种情况。考虑一个简单的例子,一个主体={1},三个对象={,,},在存在约束1,+1,≤2/3,1,+1,≤2/3和1,+1,≤2/3的情况下,随机问题的一个潜在的可行解是设置1,=1,=1,=1/3。然而,可以很容易地看出,并不存在满足这三个约束的确定性分配,仍然存在Ns1,+1,+1,=1。在许多实际应用中,人们可以表明,满足这些约束的任意随机分配都可以表示为对Deter-ministic分配的抽奖。例如,Nguyen等人对于具有有限补点的组合ass对齐问题。(2016)证明人们总是可以将一个可行的分配分解为一个对determi nistic分配的抽奖,这里每个对象的容量被至多加法所侵犯,其中表示最大外滩的大小。
|