|
在步骤i≤ n、 代理i要么被分配到一个位置,要么被添加到一组临时未分配的代理,这些代理将在步骤n+1同时被分配。在每个步骤i中,让Nidenote保留已放置的代理集j<i。N= 因为在算法开始时,没有代理处于等待状态。我们假设所有代理都喜欢被分配到一个位置,而不是不被分配,因此我们可以从每个代理的可能结果集中省略不分配。我们认为这反映了排名最差地区的真实差异。如果代理事实上对这些位置有严格的偏好,但由于缺乏信息而表现出差异,那么我们的机制就不一定是战略证明。如果代理j<i在步骤i之前被分配了一个位置,那么让αi(j)表示该位置,而(j,αi(j))表示分配,查看αias a函数。请参阅步骤i中已完成的分配。请注意,α=, 因此,步骤1中完成的任务很简单。剩余的赋值βiat步骤i是未赋值代理{i,…,n}的映射∪ Nito位置,使得u(αi,βi)(j):=αi(j)if j<iβi(j)if j∈ {i,…,n}∪ NI是匹配的。我们将u(αi,βi)称为与完成和剩余赋值对(αi,βi)相关的匹配。该算法将确保这些匹配的存在。在每个步骤i≤ n、 给定αide定义setL'gi(αi)={l∈ L: β为。t、 l=βi(i)和u(αi,βi)是一个可行的“g-可接受匹配”}这是一组未满负荷的位置,有一种方法可以完成分配所有未分配的代理,以创建一个可行的“g-可接受匹配”。设qil为在前一个i中分配了i之前的任何代理(即j<i)后,位置l的剩余容量- 1步骤。
|