Fast and compact self stabilizing verification, computation, and fault detection of an MST
Amos Korman, Shay Kutten, Toshimitsu Masuzawa · 2011
This paper demonstrates the usefulness of distributed local verification of proofs, as a tool for the design of algorithms. In particular, it introduces a somewhat generalized notion of distributed local proofs, and utilizes it for improving the memory size complexity, while obtaining time efficiency too.