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

What does ⊥ mean in a consensus protocol?

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

我不确定你为什么被否决,但我能猜到的最好原因是这可能更适合 math.stackexchange.com。参见 https://math.stackexchange.com/questions/658262/what-is-the-correct-reading-of-bot for an explanation of the symbol and this page for some additional information to the protocol: http://www.nada.kth.se/kurser/kth/2D5340/wwwbook/node17.html

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

In order to get an intuition of how randomization is used, suppose that the inputs are split in half; half of them being zeroes and half of them being ones. In this case, every process will set its b-value to ⊥ (line 7). Since all b-values are ⊥, each process will set the next a-value at random. With high probability, about half of the new a-values will be zeroes and about half will be ones. Which again will force a random determination of all new a-values, and so on.

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