diameter

如今要构建一个网络模型,网络中的每一个节点最多和 d 个节点相连接,

且信息的传播从随意一个节点到另外随意一个节点的“最短路径”

路径依照单位路径算)都不能超过 k,问网络中最多安排多少个节点。

这是《图论导引》里面看到的 diameter - degree 问题。

转化为图模型就是,一个无向图 G 中,节点最大度为 d,直径为 k,问 G 中的 n 上界。

书上要证明的是:

n ≤ 1 + ( d - 1 ) * ( ( d - 1 )^k - 1 ) / ( d - 2 )


=============================================


能够先考虑下摩尔图:

关于摩尔图 -- 拥有度数为 d,直径为 k 的正则图

其有个等价的定义,即,直径为 k,且周长为 2k + 1 的图

这样的图的顶点数上界为:



比方皮特森图(10点 15边 3正则 5笼图 120 自同构 ):



从随意一点BFS(下),树的第 0 层仅仅有 1 个顶点,由于度为 d,第 1 层会有 d 个顶点,

接着以下一层就是 d * ( d - 1 ) 个顶点,因为直径为 k,

能够有 d * ( d - 1 ) ^ k 个节点



所以总的节点数目为


就是 n ≤ 1 + ( d - 1 ) * ( ( d - 1 )^k - 1 ) / ( d - 2 )

所以这个问题的上界就是摩尔边界。

恰巧皮特森图满足等号。


下表眼下发现的diameter - degree 的顶点数图标

除了 皮特森图 和 哈弗曼-辛格尔顿图,和可能的(直径 2 ,度 57)能满足摩尔定界之外。

其它的图的阶数是远远小于摩尔定界的。









原文地址:https://www.cnblogs.com/blfshiye/p/4029276.html