47、动态垄断最小规模的紧界及多维无限字的递归性研究

动态垄断最小规模的紧界及多维无限字的递归性研究

1 动态垄断相关研究

1.1 动态垄断基本界

在图论中，对于不同类型的图和传播过程，动态垄断的最小规模有着不同的界定。
- 若图 (G) 不是二分图，它存在奇数环，环上的任意节点都是双向 1 - BP 的动态发电机（dynamo）；对于二分图，不存在规模为 1 的动态发电机，但任意两个相邻节点构成一个动态发电机。
- 对于部分（i）中的界是平凡的。部分（ii）中，对于 (r) - 正则图 (G)（(r \geq 2)），(\overleftarrow{MD}_r(K_n) = r) 且 (\overleftarrow{MD}_r(G) = n)，这表明部分（i）中的界是紧的。

1.2 图的边添加与动态发电机规模

对于图 (G = (V, E)) 和 (G’ = (V, E’))，若 (E \subset E’)，则 (MD_r(G’) \leq MD_r(G)) 且 (\overleftarrow{MD}_r(G’) \leq \overleftarrow{MD}_r(G))。通过不断向图中添加边，最终图在 (r) - BP 和双向 (r) - BP 中都会有最小可能规模为 (r) 的动态发电机。Gunderson 证明了若图 (G) 的最小度 (\delta \geq \frac{n}{2} + r)（(r \geq 4) 时 (r) 可替换为 (r - 3)），则 (MD_r(G) = r)。在此基础上，有如下定理：
- 定理 5 ：若图 (G = (V, E)) 的 (\delta \geq \frac{n}{2} + r)，则在双