Distributed interactive proofs admit a continuous space-communication trade-off for triangle-freeness, broad communication savings from shared randomness, and a separation between interaction-reduction and linear-size proof-labeling schemes.
14 Pierre Fraigniaud, Amos Korman, and David Peleg
1 Pith paper cite this work, alongside 26 external citations. Polarity classification is still indexing.
1
Pith paper citing it
26
external citations · OpenAlex
fields
cs.DC 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Trade-offs in Distributed Interactive Proofs
Distributed interactive proofs admit a continuous space-communication trade-off for triangle-freeness, broad communication savings from shared randomness, and a separation between interaction-reduction and linear-size proof-labeling schemes.