[논문 리뷰] Smoothed Efficient Algorithms and Reductions for Network Coordination Games

Shant Boodaghians, Rucha Kulkarni외 1명|arXiv (Cornell University)|2018. 09. 06.

Optimization and Search Problems인용 수 4

한 줄 요약

이 논문은 정점 전략 집합이 일정한 네트워크 조율 게임에서 순수 내쉬 균형을 찾는 데 있어 다항 시간 평활 복잡도를 보장하는 보정된 다항 시간 알고리즘을 제안한다. 이는 국소 최대 컷 문제로의 새로운 보존적 보정 축소와 고도화된 질서/합집합 경계 기법을 활용한다. 완전 그래프에 대해서는 다항 평활 복잡도를 확립하고 일반 그래프에 대해서는 준다항 복잡도를 도출하여 최악의 경우 PLS-완전성의 범위를 초월한다.

ABSTRACT

Worst-case hardness results for most equilibrium computation problems have raised the need for beyond-worst-case analysis. To this end, we study the smoothed complexity of finding pure Nash equilibria in Network Coordination Games, a PLS-complete problem in the worst case. This is a potential game where the sequential-better-response algorithm is known to converge to a pure NE, albeit in exponential time. First, we prove polynomial (resp. quasi-polynomial) smoothed complexity when the underlying game graph is a complete (resp. arbitrary) graph, and every player has constantly many strategies. We note that the complete graph case is reminiscent of perturbing all parameters, a common assumption in most known smoothed analysis results. Second, we define a notion of smoothness-preserving reduction among search problems, and obtain reductions from $2$-strategy network coordination games to local-max-cut, and from $k$-strategy games (with arbitrary $k$) to local-max-cut up to two flips. The former together with the recent result of [BCC18] gives an alternate $O(n^8)$-time smoothed algorithm for the $2$-strategy case. This notion of reduction allows for the extension of smoothed efficient algorithms from one problem to another. For the first set of results, we develop techniques to bound the probability that an (adversarial) better-response sequence makes slow improvements on the potential. Our approach combines and generalizes the local-max-cut approaches of [ER14,ABPW17] to handle the multi-strategy case: it requires a careful definition of the matrix which captures the increase in potential, a tighter union bound on adversarial sequences, and balancing it with good enough rank bounds. We believe that the approach and notions developed herein could be of interest in addressing the smoothed complexity of other potential and/or congestion games.

연구 동기 및 목표

• 네트워크 조율 게임에서 순수 내쉬 균형을 계산할 때 최악의 경우의 비효율성과 실제 효율성 사이의 격차를 해소하기 위해.
• 다전략 잠재 게임에서 국소 개선 알고리즘의 평활 분석을 위한 프레임워크를 개발하기 위해.
• 네트워크 조율 게임에서 순수 내쉬 균형 계산에 대해 다항 및 준다항 평활 복잡도를 확립하기 위해.
• 최대 두 번의 이동을 허용하는 국소 최대 컷 문제로의 보존적 보정 축소를 제안하기 위해.
• 국소 최대 컷 분석에서 유도된 기법들을 다전략 설정으로 일반화하고 통합하기 위해.

제안 방법

• 최대 두 번의 이동을 허용하는 국소 최대 컷 문제로의 보존적 보정 축소를 제안하여 균형의 구조를 유지한다.
• 잠재 함수의 증가를 추적하기 위한 행렬 기반 공식을 도입하여 악성 보다 나은 반응 순서에 대한 더 날카운 가우스합 집합 경계를 가능하게 한다.
• 잠재 증가 행렬에 대한 새로운 질서 경계 분석을 적용하여 느린 개선의 확률을 제어한다.
• 행 제거 및 상삼각 변환을 사용하여 축소 구축 과정에서 전위적 질서가 보장되고 정수 계수를 갖는 시스템을 증명한다.
• 악성 순서 분석과 확률적 편향 모델을 융합한 하이브리드 접근 방식을 통해 평활 복잡도를 경계한다.
• Bibak 등이 최근 제안한 2전략 국소 최대 컷 문제에 대한 O(n^8)-시간 평활 알고리즘을 활용하여 2전략 네트워크 조율 게임에 대한 별도의 O(n^8)-시간 평활 알고리즘을 유도한다.

실험 결과

연구 질문

• RQ1 네트워크 조율 게임에서 순수 내쉬 균형은 평활 다항 시간 내에 계산될 수 있는가?
• RQ2 일반적인 네트워크 조율 게임 그래프에서 순차적 보다 나은 반응 알고리즘의 평활 복잡도는 무엇인가?
• RQ3 한 문제(예: 국소 최대 컷)에 대해 효율적인 평활 알고리즘이 보존적 보정 축소를 통해 다른 문제로 확장될 수 있는가?
• RQ4 질서 및 합집합 경계 기법을 활용해 다전략 잠재 게임에서 보다 나은 반응 순서의 분석을 어떻게 강화할 수 있는가?
• RQ5 조율 게임에서 개선된 평활 복잡도 경계를 가능하게 하는 잠재 함수의 구조적 성질은 무엇인가?

주요 결과

• 게임 그래프가 완전이고 각 플레이어가 일정한 수의 전략을 가질 경우, 순차적 보다 나은 반응 알고리즘은 다항 평활 복잡도를 갖는다.
• 일반적인 게임 그래프에서 전략 집합이 일정할 경우, 순차적 보다 나은 반응 알고리즘은 준다항 평활 복잡도를 갖는다.
• 최대 두 번의 이동을 허용하는 k전략 네트워크 조율 게임에서 국소 최대 컷 문제로의 보존적 보정 축소가 확립되어 평활 알고리즘의 이동이 가능하다.
• 2전략 게임의 경우, 축소와 기존의 국소 최대 컷 문제에 대한 O(n^8)-시간 평활 알고리즘을 활용해 2전략 네트워크 조율 게임에 대해 별도의 O(n^8)-시간 평활 알고리즘이 도출된다.
• 잠재 증가 추적을 위한 행렬 기반 접근 방식은 더 날카운 합집합 경계와 향상된 질서 제어를 달성하며, 기존의 국소 최대 컷 기법을 다전략 설정으로 일반화한다.
• 이 프레임워크는 악성 보다 나은 반응 순서가 편향된 인스턴스에서 유리한 질서 및 확률적 구조 덕분에 느린 진전을 이룰 가능성이 낮음을 시사한다.