paxos

推导

 

 

 

 

 

 

 总结：每个决策者在没收到过提案时第一次接受的V作为最后的决策过半的参考值，但是一旦接受过后，后面的提案的提案编号要打于接受过的提案，且V必须等于第一次接受过的V,最后决策过半的值             最为最后的选定值，保证强一直性。