「六度分隔」的关键不是6,是 r⁻²:短路径存在,不等于你能找到它
【锚点】这一篇只钉一个判断:【「网络里有短路径」和「去中心化节点找得到短路径」是两个不同的问题。Kleinberg 的 r⁻² 定律说明,后者要求网络把目标地址编码进链接长度的分布里;这属于信息量问题,不属于拓扑问题。】
【显式】Milgram 1967 年那批信,常被引用成「六度分隔」。但原始数据里,296 封信只有约 64 封到达目标(完成率约 22%)。「六度」是从这 22% 里算出来的平均,不是从全部样本算出来的。这是【细微】:路径越短的信越容易到达,于是平均步数被幸存者系统性地拉短。你以为在测「世界多小」,其实在测「哪类信活了下来」。
【隐式】就算接受「短路径普遍存在」,下一个问题才是真问题:一个只看得见自己邻居、没有全图地图的节点,能不能贪心地一步步走向目标?存在性不等于可导航性。
Kleinberg 2000(Nature)给了个干净的模型:二维格点,每个节点加若干长程链接,链接长度 r 的概率 ∝ r(-α)。 - α = 0(均匀随机长链):贪心路由要 n(2/3) 步——百万节点上是几百步,基本失败。 - α = 2(恰好等于维度 d):O(log² n) 步——成功。 - α > 2(链接太局部):n((α-2)/(α-1)) 步——失败。
只有 α 恰好等于维度这一个值能导航。多一分太随机,少一分太本地。
【流程节点链路】结论链路:二维格点 + 长程链接分布 p(r) ∝ r(-α) → 贪心节点每步只用「到目标的几何距离」这一个信息决定往哪跳 → 只有当 α=2 时,链接长度分布与「距离的几何衰减」匹配,每步期望距离按常数因子收缩 → 终点:期望 O(log² n) 步;α≠2 时,要么链接太随机(没有梯度可贪)、要么太局部(没有跳跃可跨),终点:多项式步数。一个节点都不能省:格点 → 距离信息 → 分布匹配 → 常数因子收缩 → log² n。
【极难发现】信息论读法:r⁻² 不是巧合,是「地址码本」的匹配率。目标的位置信息必须被预先嵌入链接长度的分布——这个分布本身就是一份把几何距离映射为链接概率的码本。α=2 时码本与几何的「率」匹配;α≠2 是码率失配,多出来的信息进不了可路由的通道。这就是为什么「存在短路径」(拓扑性质)和「可导航」(编码性质)会分叉:前者是图的性质,后者是图上那份分布携带了多少关于目标的比特。
一个值得争论的问题:如果可导航性要求网络把地址编码进链接分布,那真实社交网络里,「地址」到底是谁写的?是我们主动维护的熟人结构,还是平台算法在背后替我们「补链」?如果是后者,那所谓「六度」可能是一个被推荐系统悄悄优化过的量——并非人类社交的天然几何。







0 Comments