[논문 리뷰] Computing solutions of the multiclass network equilibrium problem with affine cost functions

Frédéric Meunier, Thomas Pradeau|arXiv (Cornell University)|2014. 12. 19.

Game Theory and Applications참고 문헌 45인용 수 4

한 줄 요약

이 논문은 클래스 수와 정점 수가 고정된 경우 다중 클래스 네트워크 균형 문제에 대해 다항 시간 알고리즘을 제시한다. 플레이어별 애파인 비용 함수를 다루기 위해 Lemke의 편의 알고리즘을 확장하여 수렴성을 증명하고, 격자 네트워크에서의 계산적 검증을 통해 실용적인 해결 방법을 제공한다.

ABSTRACT

We consider a nonatomic congestion game on a graph, with several classes of players. Each player wants to go from its origin vertex to its destination vertex at the minimum cost and all players of a given class share the same characteristics: cost functions on each arc, and origin-destination pair. Under some mild conditions, it is known that a Nash equilibrium exists, but the computation of an equilibrium in the multiclass case is an open problem for general functions. We consider the specific case where the cost functions are affine. We show that this problem is polynomially solvable when the number of vertices and the number of classes are fixed. In particular, it shows that the parallel-link case with a fixed number of classes is polynomially solvable. On a more practical side, we propose an extension of Lemke's algorithm able to solve this problem.

연구 동기 및 목표

• 애파인 비용 함수를 가진 다중 클래스 비원자성 혼잡 게임에서 균형을 효율적으로 계산하는 데 열려 있는 문제를 해결하기 위해.
• 클래스 수와 정점 수가 고정된 경우 다중 클래스 네트워크 균형 문제에 애파인 비용 함수가 다항 시간으로 해결 가능함을 입증하기 위해.
• 비퇴도성 가정 없이도 작동하는 실용적인 편의 알고리즘을 Lemke 방법 기반으로 개발하기 위해.
• 격자 기반 교통 네트워크에서의 계산 실험을 통해 알고리즘의 효율성과 확장성을 입증하기 위해.

제안 방법

• 저자들은 플레이어별 애파인 비용 함수를 네트워크 간선에 적용하여 다중 클래스 네트워크 균형 문제를 수학적 프로그래밍으로 모델링한다.
• 초평면 배열의 성질을 활용하여 클래스 수와 정점 수가 고정된 경우 문제의 다항 시간 해결 가능성을 증명한다.
• 균형 공식화에서 발생하는 보완 조건을 다루기 위해 Lemke 알고리즘의 수정된 버전을 제안한다.
• 비퇴도성 가정이 성립하지 않을 경우에도 수렴을 보장하기 위해 편향 기법을 사용한다.
• 편의 과정에서 행렬 역행렬을 사용하고, 계산 평가를 위해 C++로 구현한다.
• 다양한 클래스 수와 랜덤 비용 파rameter를 가진 n×n 격자 그래프에서 계산 실험을 수행한다.

실험 결과

연구 질문

• RQ1 클래스 수와 정점 수가 고정된 경우 애파인 비용 함수를 가진 다중 클래스 네트워크 균형 문제는 다항 시간으로 해결 가능한가?
• RQ2 Lemke 알고리즘이 플레이어별 애파인 비용 함수를 가진 다중 클래스 균형 문제를 해결하도록 확장될 수 있는가?
• RQ3 입력 파rameter가 유리수일 경우 알고리즘이 수렴하고 유리수 흐름을 생성하는가?
• RQ4 네트워크 크기와 클래스 수가 증가함에 따라 알고리즘의 성능은 어떻게 변화하는가?
• RQ5 편의 수와 해법 시간 측면에서 알고리즘의 계산 성능는 어떠한가?

주요 결과

• 클래스 수와 정점 수가 고정된 경우 애파인 비용 함수를 가진 다중 클래스 네트워크 균형 문제는 다항 시간으로 해결 가능하다.
• 고정된 클래스 수를 가진 평행 링크 케이스는 다항 시간으로 해결 가능하며, 이는 이전에 확립되지 않은 결과이다.
• 편향 기법을 통해 비퇴도성 가정이 없더라도 제안된 Lemke 기반 알고리즘이 종료되고 해를 계산한다.
• 모든 수요와 비용 계수 값이 유리수일 경우, 각 클래스의 모든 간선에서 유리수 흐름이 유도된다.
• 계산 결과에 따르면, 편의 수는 크기가 큰 인스턴스에서도 관리 가능하며, 행렬 역행렬 계산이 실행 시간을 지배한다.
• 50개의 클래스를 가진 8×8 격자에서는 주요 단계에 638회의 편의와 87초가 소요되었고, 행렬 역행렬 계산에 385초가 소요되었다.