2 xd2008ck xd2008ck 于 2014.07.09 21:05 提问

paxos证明过程中的一点问题!

看了一下原文,有些地方没看懂,我想请问一下:
在证明循环不变式的时候,论文中写道:
如果一个值v的建议被选定,则每个被选定的更高序号的建议都拥有值v
这里的问题是:
这句话最后的“拥有”是什么意思?是新提出的建议的v值等于之前被选中的v,还是,这个建议有多个v值,其中包括了之前被选定的值v?

Csdn user default icon
上传中...
上传图片
插入图片
准确详细的回答,更有利于被提问者采纳,从而获得C币。复制、灌水、广告等回答会被删除,是时候展现真正的技术了!