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.
12 Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, and Mor Perry
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.