[논문 리뷰] The Costs and Benefits of Sharing: Sequential Individual Rationality and Sequential Fairness

Ragavendran Gopalakrishnan, Koyel Mukherjee외 1명|arXiv (Cornell University)|2016. 07. 25.

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-난해성을 입증한다.
• Metric-Path-TSP에서 Opt-SIR-Route로의 메트릭 기반 환원을 구성하여 최적의 SIR 수용 가능한 경로 선택의 NP-난해성을 증명한다.
• 정수 흐름 분해를 사용하여 네트워크 환원에서 경로 간섭 없는 라우팅을 모델링하고 최소비용 흐름 문제와 연결한다.

실험 결과

연구 질문

• RQ1 립셰어링 시스템에서 기존 승객이 새로운 승객 도착으로 인해 기대가치가 증가하지 않도록 보장하기 위한 조건은 무엇인가?
• RQ2 서비스 기간 내내 동적으로 공정성을 확보할 수 있는 방법은 무엇인가?
• RQ3 순차적 개인 합리성(SIR)을 만족하는 경로의 구조적 및 알고리즘적 성질은 무엇인가?
• RQ4 새로운 승객으로부터 발생하는 이득을 그로 인한 불편의 정도에 비례해 공유할 수 있도록 순차적 공정성을 정식화할 수 있는가?
• RQ5 립셰어링 시스템에서 최적의 SIR 수용 가능한 경로와 SF 수용 가능한 경로를 찾는 문제의 계산 복잡도는 무엇인가?

주요 결과

• 립셰어링에서 SIR 수용 가능한 경로는 기저 그래프 내 해밀턴 경로와 정확히 일치하며, 일대일 대응 관계를 형성한다.
• 모든 SIR 수용 가능한 경로에 대해 분수형 도착지 이동 비용은 부분선형 하한 및 상한 사이에 제한되며, 특히 j번째 구간에 대해 O(1/j)의 범위를 가진다.
• 순차적 공정성은 도착지 이동으로 인한 불편을 상쇄하기 위해 승객 간 상호 보상이 필요함을 의미하며, 이는 비용 공유 체계의 강한 상호의존성을 초래한다.
• 최적의 SIR 수용 가능한 경로를 찾는 문제는 Metric-Path-TSP 문제로 환원되므로 NP-난해하다.
• Opt-SIR-Route의 구성된 인스턴스에서 가능한 모든 n!개의 경로가 적절한 거리 및 비용 설정 하에 SIR 수용 가능할 수 있으며, 이는 구조적 유연성을 강조한다.
• 해밀턴 경로에서 SIR 수용 가능성으로의 환원을 통해 SIR 수용 가능성 여부를 판단하는 것이 NP-완전임을 확인한다.