[논문 리뷰] Efficient Carpooling and Toll Pricing for Autonomous Transportation

Saurabh Amin, Patrick Jaillet외 1명|arXiv (Cornell University)|2021. 02. 18.

Transportation and Mobility Innovations참고 문헌 21인용 수 4

한 줄 요약

이 논문은 자율 주행 교통 네트워크에서 효율적인 카풀 및 통행료 정책을 위한 메커니즘을 제안하며, 선형 프로그래밍과 조합 Auction 이론을 활용하여 개인의 합리성, 예산 균형, 안정성을 확보하는 시장 균형을 달성한다. 네트워크가 시리즈-패러럴이고 승객이 동일한 카풀 기피도를 가질 경우 사회적으로 최적의 균형이 존재하며, 다항 시간 내에 계산 가능하다고 증명한다.

ABSTRACT

In this paper, we address the existence and computation of competitive equilibrium in the transportation market for autonomous carpooling first proposed by [Ostrovsky and Schwarz, 2019]. At equilibrium, the market organizes carpooled trips over a transportation network in a socially optimal manner and sets the corresponding payments for individual riders and toll prices on edges. The market outcome ensures individual rationality, stability of carpooled trips, budget balance, and market clearing properties under heterogeneous rider preferences. We show that the question of market's existence can be resolved by proving the existence of an integer optimal solution of a linear programming problem. We characterize conditions on the network topology and riders' disutility for carpooling under which a market equilibrium can be computed in polynomial time. This characterization relies on ideas from the theory of combinatorial auctions and minimum cost network flow problem. Finally, we characterize a market equilibrium that achieves strategyproofness and maximizes welfare of individual riders.

연구 동기 및 목표

• 이상적인 카풀 시스템에서 이질적인 승객 선호도를 가진 자율 차량 네트워크에서 경쟁적 시장 균형이 존재하는 조건을 설정하는 것.
• 선형 프로그래밍과 네트워크 흐름 최적화를 활용하여 이러한 균형을 계산하는 데에 효율적인 방법을 개발하는 것.
• 시장 청산과 예산 균형을 보장하면서 개인 승객의 기대 효용을 최대화하는 전략적으로 안정된 메커니즘을 설계하는 것.
• 이중 선형 프로그래밍의 정수 최적 해 존재 조건을 시장 균형 존재 조건과 동치로 특성화하는 것.
• 간선 용량 사용을 반영하고 사회적으로 최적의 경로 선택을 유도하는 통행료 정책을 포함하는 프레임워크를 확장하는 것.

제안 방법

• 카풀 문제를 이중 선형 프로그래밍(이중)으로 모델링하고, 이중의 해 존재 조건과 이완된 원형의 정수 최적 해 존재 조건을 연결함으로써 시장 균형 존재 조건을 분석한다.
• 조합 Auction 이론과 최소 비용 네트워크 흐름 이론을 활용하여 승객 선호도와 용량 제약 조건 하에서 경로 할당을 모델링한다.
• 시리즈-패러럴 네트워크 구조에서 경로 선택을 이동 시간 순으로 증가하는 순서로 그리디 알고리즘을 적용하여 총 비용을 최소화하는 방식으로 네트워크 용량을 할당한다.
• 단조성과 총 대체 조건을 만족하는 확장된 이동가치 함수를 도입하여 격자 기반 균형 분석을 가능하게 한다.
• 선형 프로그래밍의 강력한 이중성 원리를 활용하여 최적의 원형 및 이중 해로부터 균형 결과를 유도한다.
• 타원체 방법을 사용하여 타당성 제약 조건을 만족하는 통행료 가격을 계산하며, 확장된 가치 함수 기반 다항 시간 내에 해를 구할 수 있는 분리 오라클을 활용한다.

실험 결과

연구 질문

• RQ1 자율 카풀 시스템에 통행료 정책을 적용할 경우, 어떤 네트워크 및 선호도 조건 하에서 경쟁적 시장 균형이 존재하는가?
• RQ2 사회적으로 최적이고 안정적인 카풀 결과를 다항 시간 내에 효율적으로 계산할 수 있는가?
• RQ3 개인 승객의 기대 효용을 최대화하면서도 전략적 유일성을 보장하는 메커니즘은 어떻게 설계할 수 있는가?
• RQ4 특히 시리즈-패러럴 네트워크 구조가 선형 프로그래밍 이완 문제의 정수 해 존재 조건을 보장하는 데 어떤 역할을 하는가?
• RQ5 간선 용량 사용을 반영하고 효율적인 경로 및 이동 조직을 유도하기 위해 통행료 가격은 어떻게 설정할 수 있는가?

주요 결과

• 시장 균형이 존재하는 것은, 최적의 이동 조직 문제에 대한 선형 프로그래밍 이완이 정수 최적 해를 가질 때에만 성립한다.
• 네트워크가 시리즈-패러럴이고 승객이 동일한 카풀 기피도를 가질 경우, 원형 선형 프로그래밍은 반드시 정수 최적 해를 가지며, 이는 균형 존재를 보장한다.
• 이동 시간 순으로 증가하는 순서로 경로를 선택하고 용량을 할당하는 그리디 알고리즘을 통해 최적의 이동 할당을 다항 시간 내에 계산할 수 있다.
• 개인 승객의 기대 효용을 최대화하는 전략적으로 안정된 균형은 최대 월라시안 균형 가격 벡터를 선택함으로써 달성되며, 이는 동시에 총 통행료 수입도 최소화한다.
• 시장 청산 제약 조건을 만족하는 통행료 가격은 타원체 방법을 통해 다항 시간 내에 계산 가능하며, 각 경로에 대해 분리 오라클은 O(|M|) 시간 내에 해결 가능하다.
• 균형 결과는 개인의 합리성, 카풀된 이동의 안정성, 예산 균형, 시장 청산을 모두 보장하며, 이 모든 성질은 강력한 이중성과 해 공간의 격자 구조로부터 유도된다.