On distributed merlin-arthur decision protocols

Keyphrases

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

Computer Science

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

INIS

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