On distributed merlin-arthur decision protocols

Keyphrases

• Locally Checkable Proofs 100%
• Merlin-Arthur 100%
• Boolean 50%
• Local Neighborhood 50%
• Prover 50%
• Distributed Interactive Proofs 50%
• Merlin-Arthur Protocols 50%
• Arthur-Merlin 50%
• Network Configuration 50%
• Non-deterministic 50%
• Distinct Element 50%
• Leader Election 50%
• Oracle 50%
• Proof Labeling Schemes 50%

Computer Science

• Labeling Scheme 100%
• Network Configuration 100%
• Local Neighborhood 100%
• Boolean Predicate 100%

INIS

• randomness 100%
• configuration 50%
• size 50%
• legal aspects 50%
• power 50%
• symmetry 50%
• labelling 50%