占据两个山顶的蓝军与驻扎在这山谷的白军作战。力量对比是:一个山顶上的蓝军打不过白军,但两个山顶的蓝军协同作战就可战胜白军。一个山顶上的蓝军拟于次日正午向白军发起攻击。于是发送电文给另一山顶上的友军。但通信线路很不好,电文出错的可能性很大。因此要求收到电文的友军必须发送确认电文。但确认电文也可能出错。试问能否设计出一种协议,使得蓝军能实现协同作战因而一定(即100%)取得胜利?
答案是不能,因为会无限循环。
大家应该都知道这个例子。看起来好像没问题,但是感觉挺烧脑。
现在假如第10次通信失败,如何证明前面的通信是失败的?如果前面的通信是失败的,根本不会走到第10次。
--
修改:sopholess FROM 115.171.60.*
FROM 115.171.60.*