Interactive Distributed Proofs
From MaRDI portal
Publication:5197691
DOI10.1145/3212734.3212771zbMath1428.68156OpenAlexW2811088724MaRDI QIDQ5197691
Gillat Kol, Raghuvansh R. Saxena, Rotem Oshman
Publication date: 19 September 2019
Published in: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3212734.3212771
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Other nonclassical models of computation (68Q09)
Related Items
Proof-labeling schemes: broadcast, unicast and in between, Distributed Testing of Distance-k Colorings, Unnamed Item, A hierarchy of local decision, Deciding and verifying network properties locally with few output bits, A meta-theorem for distributed certification, Unnamed Item, Redundancy in distributed proofs, Compact distributed certification of planar graphs, A meta-theorem for distributed certification, Distributed interactive proofs for the recognition of some geometric intersection graph classes, Local certification of graphs with bounded genus, Introduction to local certification
