[논문 리뷰] Coalition Games on Interaction Graphs: A Horticultural Perspective

Nicolás Bousquet, Zhentao Li외 1명|arXiv (Cornell University)|2015. 02. 26.

Game Theory and Voting Systems참고 문헌 14인용 수 6

한 줄 요약

이 논문은 그래픽 코али션 게임에서 코어 안정성과 최소 코어 값의 tight bounds를 제공하기 위해, 연결된 부분그래프를 유도하는 경우에만 타당한 코알리션을 갖는 그래픽 코알리션 게임에서 패킹-커버링 비율과 정수성 갭을 정확히 특성화하기 위해 'thicket' 파라미터를 도입한다. 이 논문은 thicket 수가 빈 분해의 최소 폭과 같음을 증명하고, 원래 문제와 이중 문제의 정수성 갭에 대해 tight bounds를 제공하며, 원래 문제의 갭은 thicket 수에 대해 선형임을 보이며, 이중 문제의 갭은 다항식임을 밝힌다.

ABSTRACT

We examine cooperative games where the viability of a coalition is determined by whether or not its members have the ability to communicate amongst themselves independently of non-members. This necessary condition for viability was proposed by Myerson (1977) and is modeled via an interaction graph $G=(V,E)$; a coalition $S\subseteq V$ is then viable if and only if the induced graph $G[S]$ is connected. The non-emptiness of the core of a coalition game can be tested by a well-known covering LP. Moreover, the integrality gap of its dual packing LP defines exactly the multiplicative least-core and the relative cost of stability of the coalition game. This gap is upper bounded by the packing-covering ratio which, for graphical coalition games, is known to be at most the treewidth of the interaction graph plus one (Meir et al. 2013). We examine the packing-covering ratio and integrality gaps of graphical coalition games in more detail. We introduce the thicket parameter of a graph, and prove it precisely measures the packing-covering ratio. It also approximately measures the primal and dual integrality gaps. The thicket number provides an upper bound of both integrality gaps. Moreover we show that for any interaction graph, the primal integrality gap is, in the worst case, linear in terms of the thicket number while the dual integrality gap is polynomial in terms of it. At the heart of our results, is a graph theoretic minmax theorem showing the thicket number is equal to the minimum width of a vine decomposition of the coalition graph (a vine decomposition is a generalization of a tree decomposition). We also explain how the thicket number relates to the VC-dimension of the set system produced by the game.

연구 동기 및 목표

• 상호작용 그래프를 통해 연결성에 따라 타당성이 결정되는 그래픽 코알리션 게임에서의 정수성 갭을 이해하기 위해.
• 새로운 그래프 파라미터를 사용하여 다중적 최소 코어와 안정성 비용의 상대적 비용을 특성화하기 위해.
• 새로운 그래프 이론적 측도를 바탕으로 원래 문제와 이중 문제의 정수성 갭에 대해 tight bounds를 설정하기 위해.
• thicket 파라미터를 기존의 개념들인 트리너비와 집합계의 VC-차원과 연결하기 위해.

제안 방법

• 그래프의 빈 분해의 최소 폭을 측정하는 thicket 파라미터를 도입한다.
• thicket 수가 그래픽 코알리션 게임에서 패킹-커버링 비율과 정확히 일치함을 증명한다.
• thicket 수가 빈 분해의 최소 폭과 동일하다는 것을 보이기 위해 min-max 정리를 사용한다.
• 원래 정수성 갭에 대한 tight 하한을 확보하기 위해 경로의 거듭제곱 그래프 위의 게임 가족을 구성한다.
• 커버링과 패킹 선형계획의 강한 이중성 원리를 적용하여 최소 코어와 이중 정수성 갭을 연결한다.
• 원래 정수성 갭이 thicket 수에 대해 최대 선형이며, 이중 갭은 thicket 수에 대해 다항식임을 보여준다.

실험 결과

연구 질문

• RQ1 어느 그래프 파라미터가 그래픽 코알리션 게임에서 패킹-커버링 비율을 정확히 측정하는가?
• RQ2 원래 문제와 이중 문제의 정수성 갭은 상호작용 그래프의 구조와 어떻게 관련되는가?
• RQ3 thicket 수는 빈 분해를 포함하는 min-max 정리로 특성화될 수 있는가?
• RQ4 thicket 수에 대해 원래 정수성 갭에 대한 가장 날카로운 상한은 무엇인가?
• RQ5 thicket 수는 트리너비와 VC-차원과 같은 다른 그래프 파라미터와 어떻게 관련되는가?

주요 결과

• thicket 수는 그래픽 코알리션 게임에서 정확히 패킹-커버링 비율과 일치한다.
• thicket 수는 상호작용 그래프의 빈 분해의 최소 폭과 같다.
• 원래 정수성 갭은 thicket 수에 대해 최대 선형이며, 이는 경로의 거듭제곱 그래프에 대해 tight한 bound이다.
• 이중 정수성 갭은 thicket 수에 대해 다항식이며, 큰 n에 대해 형태 (1−2/k)·τ(G)의 하한이 존재한다.
• thicket 수는 원래 문제와 이중 문제의 정수성 갭에 대한 상한을 제공한다.
• thicket 수는 게임의 타당한 코알리션에 의해 유도되는 집합계의 VC-차원과 관련이 있다.