[논문 리뷰] Interdependent Scheduling Games

Andrés Abeliuk, Haris Aziz외 8명|arXiv (Cornell University)|2016. 01. 01.

Infrastructure Resilience and Vulnerability Analysis참고 문헌 4인용 수 2

한 줄 요약

이 논문은 상호의존적 스케줄링 게임(Interdependent Scheduling Games, ISGs)을 소개한다. ISGs는 다수의 플레이어가 상호의존성 있는 서비스를 독립적으로 스케줄링하는 게임 이론적 모델로, 플레이어는 자신이 제어하는 서비스뿐 아니라 다른 플레이어가 제어하는 서비스의 모든 조상 서비스가 활성화된 후에야 보상을 획득한다. 주요 기여는 일반적인 경우에서 복리 최적화가 NP-완전임을 증명하는 것과 동시에, 모든 서비스가 동일한 보상을 가지는 경우 순수 내쉬 균형이 항상 존재하고 다항 시간 내에 계산 가능하다는 것을 증명하는 것이다. 또한, 불안정성과 안정성의 가격에 대한 날카로운 경계를 제시한다.

ABSTRACT

We propose a model of interdependent scheduling games in which each player controls a set of services that they schedule independently. A player is free to schedule his own services at any time; however, each of these services only begins to accrue reward for the player when all predecessor services, which may or may not be controlled by the same player, have been activated. This model, where players have interdependent services, is motivated by the problems faced in planning and coordinating large-scale infrastructures, e.g., restoring electricity and gas to residents after a natural disaster or providing medical care in a crisis when different agencies are responsible for the delivery of staff, equipment, and medicine. We undertake a game-theoretic analysis of this setting and in particular consider the issues of welfare maximization, computing best responses, Nash dynamics, and existence and computation of Nash equilibria.

연구 동기 및 목표

• 재해 후 인프라 복구와 같은 상호의존적 시스템에서 탈중앙화된 스케줄링을 위한 게임 이론적 모델을 체계화하는 것.
• 플레이어가 다른 플레이어의 서비스에 의존하는 서비스를 제어하는 환경에서 내쉬 균형의 존재성과 계산 가능성 분석하기.
• 이 새로운 스케줄링 프레임워크에서 복리 최적화, 최적 반응 계산, 내쉬 동역학의 수렴성 분석하기.
• 일반적 및 동일 보상 구조 하에서 균형 존재성 및 복리 최적화의 복잡도 경계 설정하기.
• 동일 보상 조건에서 효율성 지표인 불안정성의 가격과 안정성의 가격에 대한 알고리즘적 해법과 경계 제시하기.

제안 방법

• 각 플레이어가 자신의 서비스와 다른 플레이어의 서비스에 의존하는 서비스 집합을 제어하는 스케줄링 게임 모델링하기.
• 보상 획득 조건을 설정하여, 모든 조상 서비스(소유주가 누구인지에 관계없이)가 스케줄링된 후에야 보상을 시작하도록 정의하기.
• 게임 이론적 분석을 통해 동일 보상 및 다양한 보상 구조 하에서 순수 내쉬 균형, 최적 반응, 복리 최적화의 성질 연구하기.
• 플레이어당 서비스가 2개이고 플레이어가 2명일 경우조차도 복리 최적화 문제가 NP-완전임을 증명하기.
• 동일 보상 조건 하에서 순수 내쉬 균형과 최적 반응을 다항 시간 내에 계산하는 알고리즘 제안하기.
• 합성 데이터에 대한 실증 평가를 위해 문제를 정수선형계획문제(ILP)로 재구성하기.

실험 결과

연구 질문

• RQ1 일반 보상 조건 하에서 상호의존적 스케줄링 게임(ISGs)에서 순수 내쉬 균형이 항상 존재하는가?
• RQ2 ISGs에서 복리 최적화 스케줄링은 효율적으로 계산할 수 있는가? 계산 복잡도는 어떠한가?
• RQ3 최적 반응을 효율적으로 계산할 수 있는 조건는 무엇이며, 이들이 내쉬 균형으로 수렴하는가?
• RQ4 동일 보상 조건 하에서 ISGs의 불안정성의 가격과 안정성의 가격에 대한 경계는 무엇인가?
• RQ5 일반 보상 조건 하에서 ISGs에서 순수 내쉬 균형 존재 여부를 결정하는 것은 NP-난해한가?

주요 결과

• ISGs에서 복리 최적화 문제는 플레이어당 서비스가 2개이고 플레이어가 2명일 경우조차도 NP-완전하다.
• 일반 보상 조건 하에서 ISGs에서 순수 내쉬 균형이 항상 존재하지는 않으며, 그 존재 여부를 판단하는 것은 NP-난해하다.
• 모든 서비스가 동일한 보상을 가지는 경우, 순수 내쉬 균형이 항상 존재하고 다항 시간 내에 계산 가능하다.
• 동일 보상 조건 하에서 최적 반응은 효율적으로 계산 가능하지만, 반드시 내쉬 균형으로 수렴하는 것은 아니다.
• 동일 보상 조건 하에서 ISGs의 불안정성의 가격은 최대 (q + 1)/2 이며, 여기서 q는 플레이어당 서비스 수이다.
• 동일 보상 조건 하에서 ISGs의 안정성의 가격은 최대 k(q+1)/(q+2k−1) 이며, 여기서 k는 플레이어 수, q는 플레이어당 서비스 수이다.