[论文解读] Majority Consensus on Random Graphs of a Given Degree Sequence

Mohammed Amin Abdullah, Moez Draief|arXiv (Cornell University)|Sep 22, 2012

Limits and Structures in Graph Theory被引用 6

一句话总结

本文研究了在具有给定度序列的随机图上的一种多数共识协议，其中每个顶点根据其k个随机选择的邻居的多数颜色来更新自身颜色。结果表明，以高概率，共识可在O(log_d log_d n)时间内达成，并为稀疏图上的局部着色协议建立了紧致下界，该结果可扩展至连通区域的Erdős–Rényi随机图。

ABSTRACT

Suppose in a graph $G$ vertices can be either red or blue. Let $k$ be odd. At each time step, each vertex $v$ in $G$ polls $k$ random neighbours and takes the majority colour. If it doesn't have $k$ neighbours, it simply polls all of them, or all less one if the degree of $v$ is even. We study this protocol on graphs of a given degree sequence, in the following setting: initially each vertex of $G$ is red independently with probability $\alpha d$. Here, $d\geq 5$ is the effective minimum degree, the smallest integer which occurs $\Theta(n)$ times in the degree sequence. We further show that on such graphs, any local protocol in which a vertex does not change colour if all its neighbours have that same colour, takes time at least $\Omega(\log_d \log_d n)$, with high probability. Additionally, we demonstrate how the technique for the above sparse graphs can be applied in a straightforward manner to get bounds for the Erdős-Renyi random graphs in the connected regime.

研究动机与目标

• 分析具有给定度序列的随机图上多数共识协议的收敛时间。
• 为稀疏图上局部着色协议达到共识所需的时间建立紧致下界。
• 使用相同技术将分析扩展至连通区域的Erdős–Rényi随机图。
• 理解初始着色概率和顶点度分布对共识动态的影响。

提出的方法

• 协议采用局部更新规则：每个顶点采样k个随机邻居（若度小于k则采样全部邻居），并采纳其中多数颜色。
• 分析假设初始红色着色的概率为αd，其中d为有效最小度（即在度序列中出现Θ(n)次的最小度）。
• 论文采用概率方法和图论工具，对给定度序列模型下的共识达成时间进行上界估计。
• 利用具有给定度序列的稀疏随机图的结构，推导出颜色状态演化的集中性界限。
• 通过将同一框架应用于连通区域，将该技术适配至Erdős–Rényi随机图。
• 通过图的结构特性和当所有邻居一致时颜色状态的不变性，推导出下界。

实验结果

研究问题

• RQ1 在具有给定度序列的随机图上，多数协议达到共识的期望时间是多少？
• RQ2 有效最小度d如何影响共识协议的收敛时间？
• RQ3 任何在所有邻居一致时不改变颜色的局部协议，其达到共识所需时间的紧致下界是什么？
• RQ4 能否将具有固定度序列的稀疏图的分析扩展至连通区域的Erdős–Rényi随机图？
• RQ5 初始着色概率αd如何影响共识过程的动力学与收敛性？

主要发现

• 在具有给定度序列的图上，多数共识协议以高概率在O(log_d log_d n)时间内收敛。
• 任何在所有邻居一致时不改变颜色的局部协议，以高概率至少需要Ω(log_d log_d n)时间才能达成共识。
• 有效最小度d被定义为在度序列中出现Θ(n)次的最小度，其决定了对数收敛速率。
• 该分析可直接应用于连通区域的Erdős–Rényi随机图，得到类似的界限。
• 初始着色概率αd确保了足够的初始多样性，同时在协议下仍能保持收敛性。
• 结果在指定模型和协议约束下，确立了收敛时间界限的紧致性。