领导人选举 领导者最优算法的演绎。