[論文レビュー] The Costs and Benefits of Sharing: Sequential Individual Rationality and Sequential Fairness

Ragavendran Gopalakrishnan, Koyel Mukherjee+1 more|arXiv (Cornell University)|Jul 25, 2016

Transportation and Mobility Innovations被引用数 4

ひとこと要約

本稿は、乗車中の乗客の不満度が新たな到着者によって増加しないように保証するため、順次個人合理的性（SIR）および順次公平性（SF）を導入する。SIRを満たすルートはハミルトン路と等価であり、SFでは迂回による不満度の増加に対して乗客が互いに補填を行う必要がある。この結果、部分線形な迂回上限を伴うNP困難な最適化問題が生じる。

ABSTRACT

In designing dynamic shared service systems that incentivize customers to opt for shared rather than exclusive service, the traditional notion of individual rationality may be insufficient, as a customer's estimated utility could fluctuate arbitrarily during their time in the shared system, as long as their realized utility at service completion is not worse than that for exclusive service. In this work, within a model that explicitly considers the "inconvenience costs" incurred by customers due to sharing, we introduce the notion of sequential individual rationality (SIR) that requires that the disutility of existing customers is nonincreasing as the system state changes due to new customer arrivals. Next, under SIR, we observe that cost sharing can also be viewed as benefit sharing, which inspires a natural definition of sequential fairness (SF) - the total incremental benefit due to a new customer is shared among existing customers in proportion to the incremental inconvenience suffered. We demonstrate the effectiveness of these notions by applying them to a ridesharing system, where unexpected detours to pick up subsequent passengers inconvenience the existing passengers. Imposing SIR and SF reveals interesting and surprising results, including: (a) natural limits on the incremental detours permissible, (b) exact characterization of "SIR-feasible" routes, which boast sublinear upper and lower bounds on the fractional detours, (c) exact characterization of sequentially fair cost sharing schemes, which includes a strong requirement that passengers must compensate each other for the detour inconveniences that they cause, and (d) new algorithmic problems related to and motivated by SIR.

研究の動機と目的

• 新たな乗客の到着によって生じる個人の満足度の変動を考慮した、共有サービスにおける動的公平性の問題に取り組む。
• 順次個人合理的性（SIR）を形式化し、既存の顧客の不満度が新たな到着によって増加しないことを保証する。
• 順次公平性（SF）を定義し、新規顧客の到着によって生じる利益を、その追加による不満度の増加に比例して分配する。
• これらの概念をライドシェアリングに適用し、迂回を不満度コストとしてモデル化する。
• 順次個人合理的性（SIR）を満たすルートおよびSF準拠のコスト配分スキームのアルゴリズム的特性を同定する。

提案手法

• 金銭的コストと共有利用に起因する不満度コストを組み合わせた不満度モデルを導入する。
• 順次個人合理的性（SIR）を、新たな到着者による不満度の非増加を要件とする制約として定義する。
• 新規顧客の到着によって生じる利益を、その追加によるインクリメンタルな不満度に比例して分配する、順次公平性（SF）を提案する。
• SIRの実現可能性問題を、グラフにおけるハミルトン路の探索問題に還元し、NP困難性を確立する。
• メトリック・パスTSPからOpt-SIR-Routeへのメトリック還元を構築し、最適なSIR準拠ルート選択のNP困難性を証明する。
• 整数フロー分解を用いて、ネットワーク還元におけるルート不重複ルーティングをモデル化し、最小コストフロー問題に結びつける。

実験結果

リサーチクエスチョン

• RQ1 ライドシェアリングシステムにおける既存乗客が新たな乗客の到着によって不満度が増加しないための条件は何か？
• RQ2 公平性をサービス終了時だけでなく、サービス期間中を通じて動的にどのように確保できるか？
• RQ3 順次個人合理的性（SIR）を満たすルートの構造的およびアルゴリズム的性質は何か？
• RQ4 新規乗客の利益を、その乗客が引き起こす不満度の増加に比例して分配するような、順次公平性を形式化できるか？
• RQ5 ライドシェアリングシステムにおいて、最適なSIR準拠およびSF準拠のルートを求める計算複雑性は何か？

主な発見

• SIRを満たすライドシェアリングのルートは、基礎となるグラフにおけるハミルトン路と完全に一致し、一対一対応が成立する。
• 任意のSIRを満たすルートにおける分数的迂回量は、部分線形の下限および上限で抑えられ、特にj番目の区間ではO(1/j)の範囲に収まる。
• 順次公平性は、迂回に起因する不満度の増加に対して乗客が互いに補填を行う必要があることを意味し、コスト配分スキームに強い相互依存性を生じる。
• 最適なSIR準拠ルートを求める問題は、メトリック・パスTSP問題に還元可能であるため、NP困難である。
• 構築されたOpt-SIR-Routeのインスタンスにおいて、距離およびコスト設定が適切であれば、n!通りの可能なルートすべてがSIRを満たす可能性がある。これは構造的柔軟性を示している。
• ハミルトン路からSIR実現可能性への還元により、SIR実現可能性の判定がNP完全であることが確認された。