TY - GEN

T1 - Every Set in P Is Strongly Testable Under a Suitable Encoding

AU - Dinur, Irit

AU - Goldreich, Oded

AU - Gur, Tom

N1 - Publisher Copyright: © Irit Dinur, Oded Goldreich, and Tom Gur.

PY - 2019/1/1

Y1 - 2019/1/1

N2 - We show that every set in P is strongly testable under a suitable encoding. By " strongly testable " we mean having a (proximity oblivious) tester that makes a constant number of queries and rejects with probability that is proportional to the distance of the tested object from the property. By a " suitable encoding " we mean one that is polynomial-time computable and invertible. This result stands in contrast to the known fact that some sets in P are extremely hard to test, providing another demonstration of the crucial role of representation in the context of property testing. The testing result is proved by showing that any set in P has a strong canonical PCP, where canonical means that (for yes-instances) there exists a single proof that is accepted with probability 1 by the system, whereas all other potential proofs are rejected with probability proportional to their distance from this proof. In fact, we show that UP equals the class of sets having strong canonical PCPs (of logarithmic randomness), whereas the class of sets having strong canonical PCPs with polynomial proof length equals " unambiguous-MA ". Actually, for the testing result, we use a PCP-of-Proximity version of the foregoing notion and an analogous positive result (i.e., strong canonical PCPPs of logarithmic randomness for any set in UP).

AB - We show that every set in P is strongly testable under a suitable encoding. By " strongly testable " we mean having a (proximity oblivious) tester that makes a constant number of queries and rejects with probability that is proportional to the distance of the tested object from the property. By a " suitable encoding " we mean one that is polynomial-time computable and invertible. This result stands in contrast to the known fact that some sets in P are extremely hard to test, providing another demonstration of the crucial role of representation in the context of property testing. The testing result is proved by showing that any set in P has a strong canonical PCP, where canonical means that (for yes-instances) there exists a single proof that is accepted with probability 1 by the system, whereas all other potential proofs are rejected with probability proportional to their distance from this proof. In fact, we show that UP equals the class of sets having strong canonical PCPs (of logarithmic randomness), whereas the class of sets having strong canonical PCPs with polynomial proof length equals " unambiguous-MA ". Actually, for the testing result, we use a PCP-of-Proximity version of the foregoing notion and an analogous positive result (i.e., strong canonical PCPPs of logarithmic randomness for any set in UP).

UR - http://www.scopus.com/inward/record.url?scp=85069448133&partnerID=8YFLogxK

U2 - https://doi.org/10.4230/LIPIcs.ITCS.2019.30

DO - https://doi.org/10.4230/LIPIcs.ITCS.2019.30

M3 - منشور من مؤتمر

SN - 9783959770958

VL - 124

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

BT - 10th Innovations in Theoretical Computer Science, ITCS 2019

A2 - Blum, Avrim

T2 - 10th Annual Innovations in Theoretical Computer Science conference (ITCS 2019)

Y2 - 10 January 2019 through 12 January 2019

ER -