[논문 리뷰] Nash-equilibria and N-fold integer programming

Raymond Hemmecke, Shmuel Onn외 1명|ArXiv.org|2009. 03. 26.

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

한 줄 요약

이 논문은 결합 제약 조건이 있는 정수계획법 게임에서 일반화된 내쉬 균형의 존재성을 확립하고, N-겹 정수계획법의 최적해와 이를 연결한다. 플레이어 유형이 일정할 경우, 그레이버 기반 기법을 사용하여 균형 계산 문제와 그 역문제 모두가 다항시간 내에 해결 가능하다는 것을 증명한다.

ABSTRACT

Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part.

연구 동기 및 목표

• 결합 제약 조건이 있는 정수계획법 게임에서 일반화된 내쉬 균형의 존재성을 확립한다.
• 일반화된 내쉬 균형을 N-겹 정수계획법의 최적해와 연결한다.
• 플레이어 유형이 일정할 경우 균형 계산 문제의 다항시간 내의 해법 가능성을 증명한다.
• 비용 함수에 볼록 구조가 있는 역최적화 문제로 이러한 결과를 확장한다.
• N-겹 정수계획법의 구조적 행렬의 그레이버 기반 기법을 사용하여 복잡도를 분석한다.

제안 방법

• 플레이어별 제약 조건과 공유 자원 비용을 사용하여 결합 제약 조건이 있는 정수계획법 게임을 모델링한다.
• 일반화된 내쉬 균형을 각 플레이어가 다른 플레이어의 전략과 결합 제약 조건을 고려할 때 비용을 최소화하는 전략 프로파일로 정의한다.
• 균형 계산 문제를 N-겹 정수계획법 위에서 단조증가 비용 함수의 합을 최소화하는 문제로 환원한다.
• N-겹 구조 행렬의 그레이버 기반 기법을 사용하여 해의 복잡도를 유 bounds 하고 다항시간 내의 해법 가능성을 보장한다.
• 볼록 비용 함수의 오라클 기반 계산을 적용하여 효율적인 역최적화를 가능하게 한다.
• 고정 블록 N-겹 행렬의 그레이버 기반 기법 크기가 플레이어 수 N에 대해 다항식으로 증가한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 결합 제약 조건과 단조증가 비용 함수를 가진 정수계획법 게임에서 일반화된 내쉬 균형은 항상 존재하는가?
• RQ2 일반화된 내쉬 균형의 계산 문제는 N-겹 정수계획법 문제로 환원될 수 있는가?
• RQ3 플레이어 유형의 수가 일정할 경우 균형 계산 문제는 다항시간 내에 해결 가능한가?
• RQ4 주어진 균형와 일치하는 비용 함수를 찾는 역문제는 효율적으로 해결 가능한가?
• RQ5 비용 값이 유계이고 플레이어 유형 행렬이 고정된 조건에서, 플레이어 수가 증가할 경우 문제의 복잡도는 어떻게 변화하는가?

주요 결과

• 결합 제약 조건과 단조증가 비용 함수를 가진 정수계획법 게임의 연구 대상에서 일반화된 내쉬 균형은 항상 존재한다.
• 플레이어 유형의 수가 일정할 경우 일반화된 내쉬 균형의 계산 문제는 다항시간 내에 해결 가능하다.
• 기초가 되는 N-겹 정수계획법 행렬의 그레이버 기반 기법 크기와 인코딩 길이는 플레이어 수 N에 대해 다항식으로 증가한다.
• 비용 함수가 볼록이고 오라클을 통해 제공될 경우, 주어진 균형과 일치하는 비용 함수를 찾는 역정수최적화 문제는 다항시간 내에 해결 가능하다.
• 비용 값이 유계이고 플레이어 유형 행렬이 고정된 조건에서 복잡도 결과는 그레이버 기반 기법을 통해 효율적인 계산이 가능하다.
• N-겹 정수계획법으로의 환원은 구조적 행렬 분석과 오라클 기반 계산을 통해 효율적인 해법을 가능하게 한다.