A locally testable code (LTC) is an error-correcting code
equipped with a tester T that, given an input string x, queries
only a small number of positions and rejects x with probability
proportional to its distance from the code. Classic examples
of...