⊥ 在共识协议中是什么意思？

Question

我正在阅读 Ben Or 的算法，我想知道第 7 行中 bp := ⊥ 的含义？这是整个算法

Answer 1

我不确定你为什么被否决，但我能猜到的最好理由是这可能更适合 math.stackexchange.com。请参阅 https://math.stackexchange.com/questions/658262/what-is-the-correct-reading-of-bot 了解符号说明，并查看此页面了解协议的一些附加信息：http://www.nada.kth.se/kurser/kth/2D5340/wwwbook/node17.html

我不熟悉Ben Or的算法，但上面链接的页面似乎对符号的使用有合理的解释：

为了直观了解如何使用随机化，假设 输入被分成两半；其中一半是零和一半 他们是一个。在这种情况下，每个进程都会设置它的 b 值 到⊥（第 7 行）。由于所有 b 值都是 ⊥，因此每个进程将 随机设置下一个 a 值。很有可能，大约一半 新的 a 值将为零，大约一半将为 1。哪个 再次将强制随机确定所有新的 a 值，因此 开。

按照逻辑，bp := ⊥表示bp未定。