We address fully-defective asynchronous networks, in which all links are subject to an unlimited number of alteration errors, implying that all messages in the network may be completely corrupted. Despite the possible intuition that such a setting is too harsh for any reliable communication, we show how to simulate any algorithm for a noiseless setting over any fully-defective setting, given that the network is 2-edge connected. We prove that if the network is not 2-edge connected, no non-trivial computation in the fully-defective setting is possible. The key structural property of 2-edge-connected graphs that we leverage is the existence of an oriented (non-simple) cycle that goes through all nodes [Robbins, 1939]. The core of our technical contribution is presenting a construction of such a Robbins cycle in fully-defective networks, and showing how to communicate over it despite total message corruption. These are obtained in a content-oblivious manner, since nodes must ignore the content of received messages.
|Title of host publication||PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing|
|Publisher||Association for Computing Machinery|
|Number of pages||10|
|State||Published - 20 Jul 2022|
|Event||41st ACM Symposium on Principles of Distributed Computing, PODC 2022 - Salerno, Italy|
Duration: 25 Jul 2022 → 29 Jul 2022
|Name||Proceedings of the Annual ACM Symposium on Principles of Distributed Computing|
|Conference||41st ACM Symposium on Principles of Distributed Computing, PODC 2022|
|Period||25/07/22 → 29/07/22|
Bibliographical notePublisher Copyright:
© 2022 ACM.
- Robbins' theorem
- fully-defective networks
- noise resilience