在做软件构造实验生成随机图时,随意用二重循环写了一种生成方式。后来发现它可以保证联通并且边数的大小是 O ( n l o g n ) O(nlogn) O(nlogn).这个结论虽然并不难证,但是觉得比较神奇,于是做一下记录。
代码
for(int i = 0; i < N; i++) {
int pace = rand.nextInt(N / 10) + 1;
for(int j = 0; j < N; j += pace) {
graph.addEdge(person[i], person[j]);
graph.addEdge(person[j], person[i]);
}
}
分析
首先,由于对任意的 i i i,点 0 0 0和点 i i i都连了一条边,因此图一定是联通的;下面计算它的边数期望。设总边数为 e e e,在第 i i i次循环中生成的边数为 e i e_i ei,因此有
e = e 1 + e 2 + . . . + e n ; e=e_1+e_2+...+e_n; e=e1+e2+...+en;
我们每次在二重循环中取一个随机步长,设第 i i i次的步长为 p i p_i pi,那么有
e = n p 1 + n p 2 + . . . + n p n . e=\frac{n}{p_1}+\frac{n}{p_2}+...+\frac{n}{p_n}. e=p1n+