[论文解读] Incentive Design for Ridesharing with Uncertainty

Dengji Zhao, Sarvapali D. Ramchurn+1 more|arXiv (Cornell University)|May 7, 2015

Transportation and Mobility Innovations参考文献 12被引用 11

一句话总结

本文提出了一种基于承诺的支付机制用于拼车服务，通过奖励完成行程的乘客并惩罚未完成行程的乘客，激励其真实报告行程完成的概率。该机制被证明是事后真实性（ex-post truthful）——即提供最强形式的激励相容性——当且仅当乘客的估值在承诺上为线性，这一条件覆盖了广泛的实际估值函数类别。

ABSTRACT

We consider a ridesharing problem where there is uncertainty about the completion of trips from both drivers and riders. Specifically, we study ridesharing mechanisms that aim to incentivize commuters to reveal their valuation for trips and their probability of undertaking their trips. Due to the interdependence created by the uncertainty on commuters' valuations, we show that the Groves mechanisms are not ex-post truthful even if there is only one commuter whose valuation depends on the other commuters' uncertainty of undertaking their trips. To circumvent this impossibility, we propose an ex-post truthful mechanism, the best incentive we can design without sacrificing social welfare in this setting. Our mechanism pays a commuter if she undertakes her trip, otherwise she is penalized for not undertaking her trip. Furthermore, we identify a sufficient and necessary condition under which our mechanism is ex-post truthful.

研究动机与目标

• 设计在行程完成存在不确定性时对策略操纵具有鲁棒性的拼车激励机制。
• 解决Groves机制在不确定拼车环境中存在的局限性，即当乘客的估值依赖于他人参与意愿时。
• 开发一种在保持社会福利的同时实现事后真实性（该情境下最强形式的激励相容性）的机制。
• 精确识别在存在相互依赖的不确定性下，可保证真实报告的条件。

提出的方法

• 提出一种基于承诺的支付机制，即在乘客完成行程后支付报酬，并对未完成行程的行为施加惩罚。
• 将每位乘客的类型建模为一对（估值，完成行程的概率），以捕捉其参与意愿的不确定性，而非能力的不确定性。
• 使用期望效用分析，比较在不同分配结果下真实报告与虚假报告的差异。
• 推导出事后真实性成立的充分必要条件：估值必须在承诺上为线性，即其价值与他人参与概率呈线性关系。
• 采用反证法证明，当估值依赖于他人不确定性时，标准Groves机制无法实现事后真实性。
• 分析在高效与次优分配下的效用函数，证明若不满足线性承诺条件，虚假报告可能带来更高的期望效用。

实验结果

研究问题

• RQ1 在拼车系统中存在行程完成不确定性时，真实报告在何种条件下可被保证？
• RQ2 为何标准Groves机制在乘客估值依赖于他人不确定性时无法确保事后真实性？
• RQ3 能否设计一种机制，使其在不确定拼车环境中既具有事后真实性又保持社会效率？
• RQ4 确保所提机制具有事后真实性的精确数学条件是什么？
• RQ5 由于不确定性导致的估值相互依赖如何影响拼车机制中的策略行为？

主要发现

• 当乘客的估值依赖于他人完成行程的概率时，即使仅存在一个此类依赖估值，Groves机制在一般情况下并非事后真实。
• 在估值为线性承诺的条件下，基于承诺的支付机制是事后真实——即真实报告是主导策略。
• 线性承诺条件是所提机制中事后真实性的必要且充分条件，覆盖了广泛的实际估值函数。
• 若不满足线性承诺条件，真实报告可能在策略上并非最优，虚假报告可能带来更高的期望效用。
• 该机制在保持社会效率的同时，实现了该不确定情境下最强的激励相容性（事后真实性）。
• 证明表明，估值函数即使轻微偏离线性，也会破坏真实性，凸显了该条件的关键作用。