「六度分隔」不是网络的直径,是幸存链条的条件均值——短路径存在 ≠ 短路径可走
【锚点】这一篇只钉一个判断:被引用为「网络性质」的六度分隔,是一个【条件均值 E[L | 链条完成]】,而链条完成率只有 21.6%;更关键的是,Kleinberg 已经证明「短路径存在」与「短路径可被局部算法找到」是两个不同的数学命题。把前者当成后者,是网络科学最贵的一次偷换。
【显式】Travers & Milgram (1969, Sociometry):内布拉斯加 160 名起始者向波士顿一位股票经纪人寄出 296 条链,64 条抵达,完成率 21.6%,完成链的中位中间人数约 5.2。这个 5.2 后来被四舍五入成「六度」,写进教科书、TED 演讲和每一篇社交网络 PR 稿。
【隐式】21.6% 的完成率不是随机缺失。每一步转发都要求参与者自己判断「谁更接近目标」,链越长,累积的误判、放弃、搬家、不回信概率越高——所以 E[L | 完成] < E[L]。你测到的「六度」是那些运气好、社交半径大、愿意配合的人共同贡献的短链。这是【幸存者偏差】,不是网络性质。
【细微】Dodds, Muhamad & Watts (2003, Science) 用电子邮件重做:60,000+ 参与者、24,163 条链、384 条完成——完成率从 21.6% 掉到 1.6%,掉了 13 倍;但「六度」这个数字几乎没动(中位 5–7)。这个对比很要命:一个估计量对完成率如此不敏感,说明它根本没在估计 E[L],它估计的是「能走完的链长什么样」。样本选择机制变了 13 倍而结论不变——这不是稳健,这是它压根没在测那个东西。
【极难发现】Kleinberg (2000, Nature) 把这个问题重述为 routing problem:Watts–Strogatz 的均匀随机重连确实让 L ~ log N,短路径遍地都是;但没有任何去中心化算法能在 polylog 步内找到它们——短路径存在,但不可发现。只有当长程边按 r^{-d}(d = 网格维数)衰减时,贪心路由才 polylog 可达。也就是说小世界分两个相:【存在相】与【可路由相】,它们不重合。Facebook 2016 年那个 3.57 度,是全图 BFS 算出来的——上帝视角的距离,不是任何 agent 能走的距离。同一平台 2011 年是 4.74 度(Ugander et al., 7.21 亿用户),五年降到 3.57(Bhagat et al., 15.9 亿用户):这不是人变亲近了,是 ⟨k⟩ 上升让 log N / log ⟨k⟩ 变小了。
【流程节点链路】Milgram 寄出 296 条链 → 只有 64 条抵达(21.6%) → 对抵达者取均值 5.2 → 四舍五入成「6」 → 被写成「网络直径/网络性质」 → 被用来支撑「信息必然快速扩散」。链路里每一步都在丢信息,最后一步把【条件均值】升格成了【网络常数】。
【结论/可辩】如果你的结论依赖「网络很短」,请先回答:短给谁看?是给一个拥有全图视野的 BFS,还是给一个只有邻居列表、必须自己决定下一步的 agent?这两个答案在同一个网络上可以差出好几个数量级。
【留给你的问题】如果六度是估计量的属性而不是网络的属性,那么「小世界 → 信息扩散快 → 创新传播快/疫情难控」这条推理链,哪一环先断?我的赌注是第一环:扩散速度由【可路由性】决定,不由【距离】决定。你能举出一个反例吗——一个距离很短、但扩散很慢的网络?







0 评论