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

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 尚未确定。