对于每个解决方案,相同的游乐设施集以与程序(1)的匹配解决方案相同的价格p提供服务。maximizep,wRev(p,λpi,Fpi,σ*) - R服从σ*= 支架(Fpi)R(w,σ*, λpi,Fpi)=Rσ*∈ arg maxσR(w,σ,λpi,Fpi)(2)命题A.1中的重新表述源自一个简单的见解:在我们没有驾驶员私人信息的模型中,拒绝请求的驾驶员就其对所服务行程集的影响而言,相当于没有请求Trip的驾驶员,平台可以完美地预测此类拒绝。然后,对于程序(1)的任何最优解决方案,其中一个车手请求一个行程τ,但司机拒绝了,平台可以等效地提高车手价格,直到没有车手请求这样的atrip,Fpi(τ)=0,所以司机接受所有请求的行程长度。此外,驾驶员获得约束R(w,σ*, λpi,Fpi)≥ R当然很紧:驱动因素付款可以按比例缩小,因为按比例缩小w不会影响激励相容性。在程序(2)中,驾驶员支付函数w和诱导驾驶员策略σ正好出现在约束条件中。考虑到骑乘者定价函数p和诱导需求λpi,Fpi(即,以何种价格前往服务)的每个潜在选择,平台必须确定如何向驾驶员付款,以便他们接受每个请求,即平台必须选择满足参与和IC约束的付款。在这项工作中,我们将重点放在这一挑战上,保持Riderprice p,因此需要λi、λpi、Fi、Fpi,fix。请注意,在正文中,我们将挑战表示为结清付款,例如σ*= {(0, ∞), (0, ∞)}, 而不是σ*= 支持(Fpi)。这两种符号是等效的:我们可以简单地增加驾驶员的保单行程长度,其中FPII下的测量值为零,因为此类行程不会影响驾驶员的收入。