[论文解读] Graph Guessing Games and non-Shannon Information Inequalities

Rahil Baber, Demetres Christofides+3 more|arXiv (Cornell University)|Oct 30, 2014

Cooperative Communication and Network Coding参考文献 5被引用 4

一句话总结

该论文通过反驳Christofides与Markström关于分数团覆盖策略在无向图中为最优策略的长期猜想，挑战了图猜测游戏中的一个经典猜想。研究表明，香农信息不等式不足以计算猜测数，引入非香农不等式以获得更紧的上界，并提供了在边反向操作下猜测数行为非对称的证据。

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及其他非香农不等式可通过在线性规划中迭代添加约束的方式在计算上可行。
• 对称性约化在具有自同构的图上检查非香农不等式时，显著提升了计算效率。