博弈论视角下的自我稳定
Self-Stabilization Through the Lens of Game Theory
摘要：
1974年，E.W. Dijkstra引入了自稳定的开创性概念，这是容错计算的主要方法之一。我们在这里展示了他的三个解决方案如何可以使用博弈论的概念进行形式化和推理。我们还确定了在他的第一个解决方案中达到自稳定所需的确切步骤数。
英文摘要：
In 1974 E.W. Dijkstra introduced the seminal concept of self-stabilization that turned out to be one of the main approaches to fault-tolerant computing. We show here how his three solutions can be formalized and reasoned about using the concepts of game theory. We also determine the precise number of steps needed to reach self-stabilization in his first solution.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
