4.1.1 问题

我们假设进程都有唯一的标识符（UID），UID从某个标识符的全排序空间中选择；在网络中，每个进程的UID都和其他的不一样，但是没有规定哪个UID必须出现。和在第3章中一样，这里的要求是，最终有且只有一个进程将自己选为领导者，把自己状态中一个特定的状态分量的值改为“领导者”。和第3章一样，这里有以下几个问题：

1）可能要求那些非领导者的进程通过把特定的状态分量的值改为“非领导者”，最终输出自己不是领导者的事实。

2）进程可以知道，也可以不知道节点数n和直径diam的值，或者知道这些量值的一个上界。