[논문 리뷰] Graph Guessing Games and non-Shannon Information Inequalities

Rahil Baber, Demetres Christofides외 3명|arXiv (Cornell University)|2014. 10. 30.

Cooperative Communication and Network Coding참고 문헌 5인용 수 4

한 줄 요약

이 논문은 그래프 추측 게임에서 오랫동안 제기된 추측을 도전하며 Christofides와 Markström의 주장, 즉 무방향 그래프에 대해 분수 클리크 커버 전략이 최적임을 반박한다. 샤논의 정보 부등식이 추측 번호를 계산하는 데 부족하다는 것을 보이며, 더 날카운 bound를 도출하기 위해 비샤논 부등식을 도입하고, 간선 반전에 따른 비대칭적 추측 번호 행동에 대한 증거를 제시한다.

ABSTRACT

Guessing games for directed graphs were introduced by Riis for studying multiple unicast network coding problems. In a guessing game, the players toss generalised dice and can see some of the other outcomes depending on the structure of an underlying digraph. They later guess simultaneously the outcome of their own die. Their objective is to find a strategy which maximises the probability that they all guess correctly. The performance of the optimal strategy for a graph is measured by the guessing number of the digraph. Christofides and Markström studied guessing numbers of undirected graphs and defined a strategy which they conjectured to be optimal. One of the main results of this paper is a disproof of this conjecture. The main tool so far for computing guessing numbers of graphs is information theoretic inequalities. In the paper we show that Shannon's information inequalities, which work particularly well for a wide range of graph classes, are not sufficient for computing the guessing number. Finally we pose a few more interesting questions some of which we can answer and some which we leave as open problems.

연구 동기 및 목표

• 무방향 그래프에서 추측 게임의 분수 클리크 커버 전략이 최적임을 주장하는 추측을 반박하기 위해.
• 샤논 정보 부등식이 그래프의 추측 번호를 계산하는 데 가지는 한계를 조사하기 위해.
• 간선 반전에 따라 추측 번호가 변하는 '역행 불가능한 추측 게임'이 존재할 가능성을 탐색하기 위해.
• 비샤논 정보 부등식을 활용한 계산 방법을 개발하여 추측 번호를 더 날카롭게 경계하기 위해.
• 특정 그래프 사례에서 비선형 전략이 선형 전략을 능가할 수 있는지 판단하기 위해.

제안 방법

• 엔트로피와 조건부 독립성 제약 조건을 사용하여 무방향 및 유방향 그래프에서의 추측 게임을 공식화한다.
• 엔트로피적 추론과 선형 프로그래밍을 적용하여 샤논 부등식을 통해 추측 번호의 상한을 계산한다.
• 반복적으로 비샤논 부등식(예: Zhang-Yeung, Dougherty-Freiling-Zeger)을 추가하는 재귀적 알고리즘을 도입하여 경계를 더욱 날카롭게 한다.
• 자동형이 있는 그래프에서 비샤논 부등식을 검토할 때 계산의 효율성을 높이기 위해 선형 프로그래밍에서 대칭성 감소 기법을 활용한다.
• 자르기 기법을 사용한 컴퓨터 검색을 통해 R⁻ 및 Rᴸ과 같은 특정 그래프의 경계를 평가한다.
• 레마 7.3를 통한 부분그래프 감소 기법을 활용하여 그래프의 유도 부분그래프와의 관계를 통해 추측 번호를 경계한다.

실험 결과

연구 질문

• RQ1 무방향 그래프에서 추측 게임의 분수 클리크 커버 전략은 항상 최적인가?
• RQ2 샤논 정보 부등식만으로도 무방향 그래프의 추측 번호를 정확히 결정할 수 있는가?
• RQ3 그래프에 방향 간선을 추가하면 항상 추측 번호가 증가하거나 유지되는가?
• RQ4 일부 그래프에서 비선형 추측 전략이 분수 클리크 커버 전략을 능가할 수 있는가?
• RQ5 유방향 그래프의 간선을 반전시키면 항상 그 추측 번호가 유지되는가?

주요 결과

• 논문은 분수 클리크 커버 전략이 무방향 그래프에서 최적임을 주장하는 추측을 반박하며, 특정 그래프에서는 실패함을 보였다.
• 샤논의 정보 부등식이 추측 번호 계산에 부족하다는 것을 증명하였으며, 더 날카운 경계를 얻기 위해 비샤논 부등식이 필요하다는 것을 입증하였다.
• 그래프 R⁻의 점점 커지는 추측 번호는 아직 결정되지 않았지만, 20/3를 초과하는 하한 경계가 존재할 경우 비선형 전략이 분수 클리크 커버 전략을 능가할 것임을 시사한다.
• 그래프 Rᴸ의 추측 번호는 6.75보다 엄밀히 크며, 이는 역행 불가능한 추측 게임 후보가 될 수 있음을 시사한다.
• Zhang-Yeung 및 기타 비샤논 부등식은 선형 프로그래밍에서 반복적인 제약 조건 추가를 통해 계산적으로 구현 가능하다.
• 대칭성 감소 기법의 적용은 자동형을 가진 그래프에서 비샤논 부등식을 검토할 때 계산 효율을 크게 향상시켰다.