[논문 리뷰] Computing all wardrop equilibria parametrized by the flow demand

Max Klimm, Philipp Warode|arXiv (Cornell University)|2019. 01. 06.

Advanced Differential Equations and Dynamical Systems인용 수 4

한 줄 요약

이 논문은 유량 수요에 따라 네트워크 유량 모델에서 모든 Wardrop 균형을 계산하는 호모토피 기반 알고리즘을 제시한다. 이는 정점 잠재력과 유량 초과 벡터 사이의 조각별 선형 이분사 사상에 기반한다. 이 알고리즘은 연속적이고 비연속적인 비용 함수를 모두 처리하며, 방향성 있는 간선과 용량을 포함한다. 비퇴화된 경우 출력 다항 시간 내에 실행되며, 볼록 프로그래밍을 통해 다중 상품 및 퇴화된 경우로의 확장이 가능하다.

ABSTRACT

We develop an algorithm that computes for a given undirected or directed network with flow-dependent piece-wise linear edge cost functions all Wardrop equilibria as a function of the flow demand. Our algorithm is based on Katzenelson's homotopy method for electrical networks. The algorithm uses a bijection between vertex potentials and flow excess vectors that is piecewise linear in the potential space and where each linear segment can be interpreted as an augmenting flow in a residual network. The algorithm iteratively increases the excess of one or more vertex pairs until the bijection reaches a point of non-differentiability. Then, the next linear region is chosen in a simplex-like pivot step and the algorithm proceeds. We first show that this algorithm correctly computes all Wardrop equilibria in undirected single-commodity networks along the chosen path of excess vectors. We then adapt our algorithm to also work for discontinuous cost functions which allows to model directed edges and/or edge capacities. Our algorithm is output-polynomial in non-degenerate instances where the solution curve never hits a point where the cost function of more than one edge becomes non-differentiable. For degenerate instances we still obtain an output-polynomial algorithm computing the linear segments of the bijection by a convex program. The latter technique also allows to handle multiple commodities.

연구 동기 및 목표

• 유량 수요가 변화함에 따라 네트워크 유량 모델에서 모든 Wardrop 균형을 체계적으로 계산하는 방법을 개발하는 것.
• 기존의 균형 계산 기법을 확장하여, 방향성 있는 간선이나 용량 제한을 모델링하는 비연속적인 간선 비용 함수를 처리하는 것.
• 비퇴화된 경우에 출력 다항 시간 복잡도를 확보하여 계산 효율성을 보장하는 것.
• 퇴화된 상황을 위한 볼록 프로그래밍을 활용하여 다중 상품 네트워크로의 접근을 일반화하는 것.

제안 방법

• 알고리즘은 네트워크 유량에 적응시킨 Katzenberger의 호모토피 방법을 사용하여, 정점 잠재력과 유량 초과 벡터 사이의 조각별 선형 이분사 사상을 수립한다.
• 이 사상의 각 선형 세그먼트는 잔여 네트워크에서의 증강 유량에 대응하며, 해의 경로를 단계별로 탐색할 수 있게 한다.
• 알고리즘은 정점 쌍의 초과를 반복적으로 증가시켜 비가속도 지점에 도달할 때까지 진행하며, 이는 선형 영역의 변화를 알리는 신호이다.
• 심플렉스 유사 피벗 단계를 통해 다음 선형 영역을 선택하여 해 곡선의 체계적인 탐색을 보장한다.
• 비연속적인 비용 함수의 경우, 간선의 행동을 점프 불연속성을 가진 조각별 선형 비용 함수로 모델링한다.
• 퇴화된 경우, 볼록 프로그래밍을 사용하여 이분사 사상의 선형 세그먼트를 계산함으로써 다중 상품 유량으로의 확장이 가능하다.

실험 결과

연구 질문

• RQ1 조각별 선형이지만 비연속적일 수 있는 간선 비용을 가진 네트워크에서, 유량 수요에 따라 모든 Wardrop 균형을 어떻게 체계적으로 계산할 수 있는가?
• RQ2 호모토피 기반 접근법을 어떻게 조정하여 네트워크 균형에서 유량 초과와 정점 잠재력의 구조를 유지할 수 있는가?
• RQ3 해의 경로가 동시에 두 개 이상의 간선에서 비가속도를 보이는 점을 피할 경우, 어떤 계산 복잡도 보장을 달성할 수 있는가?
• RQ4 알고리즘은 어떻게 다중 상품과 퇴화된 해 곡선을 처리할 수 있도록 확장될 수 있는가?

주요 결과

• 알고리즘은 방향성이 없는 단일 상품 네트워크에서 선택된 초과 벡터 경로를 따라 모든 Wardrop 균형을 정확히 계산한다.
• 비연속적인 비용 함수를 점프 불연속성을 가진 조각별 선형 함수로 모델링함으로써, 이 방법은 방향성 있는 네트워크와 간선 용량으로도 확장된다.
• 비퇴화된 경우—즉, 동시에 비가속도를 보이는 간선이 하나 이하일 경우—알고리즘은 출력 다항 시간 내에 실행된다.
• 퇴화된 경우에도 볼록 프로그래밍을 사용하여 이분사 사상의 선형 세그먼트를 계산함으로써 알고리즘은 여전히 출력 다항 시간을 유지한다.
• 볼록 프로그래밍 접근법을 통해 알고리즘은 다중 상품 네트워크로의 확장이 가능하며, 계산 효율성을 유지한다.