唱歌的河马 2014-07-09 13:05
浏览 773

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

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

  • 写回答

0条回答 默认 最新

    报告相同问题?

    悬赏问题

    • ¥15 求差集那个函数有问题,有无佬可以解决
    • ¥15 【提问】基于Invest的水源涵养
    • ¥20 微信网友居然可以通过vx号找到我绑的手机号
    • ¥15 寻一个支付宝扫码远程授权登录的软件助手app
    • ¥15 解riccati方程组
    • ¥15 display:none;样式在嵌套结构中的已设置了display样式的元素上不起作用?
    • ¥15 使用rabbitMQ 消息队列作为url源进行多线程爬取时,总有几个url没有处理的问题。
    • ¥15 Ubuntu在安装序列比对软件STAR时出现报错如何解决
    • ¥50 树莓派安卓APK系统签名
    • ¥65 汇编语言除法溢出问题