看了一下原文,有些地方没看懂,我想请问一下:
在证明循环不变式的时候,论文中写道:
如果一个值v的建议被选定,则每个被选定的更高序号的建议都拥有值v
这里的问题是:
这句话最后的“拥有”是什么意思?是新提出的建议的v值等于之前被选中的v,还是,这个建议有多个v值,其中包括了之前被选定的值v?
paxos证明过程中的一点问题!
- 写回答
- 好问题 0 提建议
- 追加酬金
- 关注问题
- 邀请回答
-
0条回答
悬赏问题
- ¥17 pro*C预编译“闪回查询”报错SCN不能识别
- ¥15 微信会员卡接入微信支付商户号收款
- ¥15 如何获取烟草零售终端数据
- ¥15 数学建模招标中位数问题
- ¥15 phython路径名过长报错 不知道什么问题
- ¥15 深度学习中模型转换该怎么实现
- ¥15 HLs设计手写数字识别程序编译通不过
- ¥15 Stata外部命令安装问题求帮助!
- ¥15 从键盘随机输入A-H中的一串字符串,用七段数码管方法进行绘制。提交代码及运行截图。
- ¥15 TYPCE母转母,插入认方向