看了一下原文,有些地方没看懂,我想请问一下:
在证明循环不变式的时候,论文中写道:
如果一个值v的建议被选定,则每个被选定的更高序号的建议都拥有值v
这里的问题是:
这句话最后的“拥有”是什么意思?是新提出的建议的v值等于之前被选中的v,还是,这个建议有多个v值,其中包括了之前被选定的值v?
paxos证明过程中的一点问题!
- 写回答
- 好问题 0 提建议
- 追加酬金
- 关注问题
- 邀请回答
-
0条回答 默认 最新
悬赏问题
- ¥15 求差集那个函数有问题,有无佬可以解决
- ¥15 【提问】基于Invest的水源涵养
- ¥20 微信网友居然可以通过vx号找到我绑的手机号
- ¥15 寻一个支付宝扫码远程授权登录的软件助手app
- ¥15 解riccati方程组
- ¥15 display:none;样式在嵌套结构中的已设置了display样式的元素上不起作用?
- ¥15 使用rabbitMQ 消息队列作为url源进行多线程爬取时,总有几个url没有处理的问题。
- ¥15 Ubuntu在安装序列比对软件STAR时出现报错如何解决
- ¥50 树莓派安卓APK系统签名
- ¥65 汇编语言除法溢出问题