[논문 리뷰] Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness

Elliot Anshelevich, John Postl외 1명|arXiv (Cornell University)|2013. 04. 18.

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

한 줄 요약

이 논문은 일 간의 갈등과 우정을 고려한 할당 게임을 제안하며, 같은 기계에 할당될 경우 추가 비용 또는 이익이 발생하는 일 쌍 간의 상호작용을 모델링한다. 반만만성성(semi-smoothness)—일반화된 만만성성의 일종—을 사용하여 총 무질서의 가격(price of total anarchy)에 대한 날카로운 경계를 도출하고, 약 2에 수렴하는 결과를 도출한다. 또한 최선응답 동역학(best-response dynamics)의 수렴성을 증명하며, 이러한 게임에서 상관형, 내쉬형, 강한 균형에 대한 새로운 균형 효율성 보장을 제공한다.

ABSTRACT

We study assignment games in which jobs select machines, and in which certain pairs of jobs may conflict, which is to say they may incur an additional cost when they are both assigned to the same machine, beyond that associated with the increase in load. Questions regarding such interactions apply beyond allocating jobs to machines: when people in a social network choose to align themselves with a group or party, they typically do so based upon not only the inherent quality of that group, but also who amongst their friends (or enemies) choose that group as well. We show how semi-smoothness, a recently introduced generalization of smoothness, is necessary to find tight or near-tight bounds on the price of total anarchy, and thus on the quality of correlated and Nash equilibria, for several natural job-assignment games with interacting jobs. For most cases, our bounds on the price of total anarchy are either exactly 2 or approach 2. We also prove new convergence results implied by semi-smoothness for our games. Finally we consider coalitional deviations, and prove results about the existence and quality of Strong equilibrium.

연구 동기 및 목표

• 일 쌍 간에 같은 기계에 할당될 경우 추가 비용 또는 이익이 발생하는 일 할당 게임을 모델링하고 분석한다.
• 이러한 상호작용 제약 조건 하에서 균형의 효율성—특히 상관형, 내쉬형, 강한 균형의 효율성—을 이해한다.
• 기존의 만만성성의 한계를 극복하기 위해 이러한 게임에서 날카로운 경계를 확보하기 위한 필수 프레임워크로 반만만성성을 도입한다.
• 이러한 상호작용 인식 할당 게임에서 최선응답 동역학의 수렴 속도를 확립한다.

제안 방법

• 일 간의 갈등과 우정을 표현하기 위해 갈등 및 우정 그래프를 사용하여 일 할당 게임을 모델링한다.
• 반만만성성—일반화된 만만성성 개념—을 적용하여 총 무질서의 가격에 대한 경계를 유도한다.
• 혼합전략 반만만성성을 사용하여 균형 비효율성에 대한 날카로운 경계를 확보하며, 특히 상관형 및 혼합 내쉬 균형에 대해 유리하다.
• 반만만성성을 사용하여 최선응답 동역학의 수렴 결과를 증명하며, 근사 최적 결과에 도달하는 데 소요되는 시간 경계를 설정한다.
• 강한 내쉬 균형의 존재성과 품질을 분석하며, 일부 경우에 존재하지 않음을 보이고 강한 무질서의 가격에 대한 경계를 유도한다.
• 간단한 게임들(예: 로드 밸런싱, 마켓 공유, 컷 게임 등)의 합으로 게임을 프레임워크화하여 게임 조합 하에서의 구조적 성질을 탐색한다.

실험 결과

연구 질문

• RQ1 갈등과 우정을 고려한 할당 게임에서 총 무질서의 가격은 얼마이며, 반만만성성을 사용하여 이를 날카롭게 경계할 수 있는가?
• RQ2 이러한 게임에서 최선응답 동역학은 어떻게 수렴하며, 근사 최적 결과에 도달하는 데 필요한 수렴 속도는 무엇인가?
• RQ3 이러한 게임에서 강한 내쉬 균형이 존재하는가? 그리고 최적 해 대비 그 품질은 어떠한가?
• RQ4 쌍별 일 상호작용이 있는 게임에서 반만만성성은 기존의 만만성성보다 더 날카로운 경계를 제공할 수 있는가?
• RQ5 합 연산을 통해 게임을 조합할 때, 만만성성과 균형 효율성 등의 성질이 얼마나 전이되는가?

주요 결과

• 밸런싱 앤 콜리전(Balancing with Conflicts)과 샤링 앤 콜리전(Sharing with Conflicts)에서 총 무질서의 가격은 최대 2이며, 이는 날카로운 경계이다.
• 밸런싱 앤 프렌드십(Balancing with Friendship)에서 총 무질서의 가격은 정확히 $ 2 - rac{1}{m} $이며, 이 역시 날카로운 경계이다.
• 밸런싱 앤 콜리전 프렌드십(Balancing with Conflicts and Friendship)에서 총 무질서의 가격은 기계 수가 증가함에 따라 2에 수렴한다.
• 샤링 앤 프렌드십(Sharing with Friendship)에서 총 무질서의 가격은 $ m $ 이하로 경계되며, 이 경계 역시 날카로운 경계이다.
• 최선응답 동역학은 $ Oig(rac{n}{ heta} \\-log u( olimits^*)ig) $ 단계 내에 $ rac{1}{m(1+ heta)} $-근사 해에 수렴하며, 로그 인자에서 개선된 경계를 확보할 수 있다.
• 샤링 앤 프렌드십 게임에서는 $ m=2 $ 일 때조차도 강한 내쉬 균형이 반드시 존재하지 않으며, 강한 무질서의 가격은 최소 2이다.