A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification

Marcel Dall'Agnol, Tom Gur, Oded Lachish

We prove a general structural theorem for a wide family of local algorithms, which includes property testers, local decoders, and PCPs of proximity. Namely, we show that the struct…