A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness
We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of self-testing to homomorphisms on a multidimensional vector spac...
Main Authors: | Devadas, Sheela (Author), Rubinfeld, Ronitt (Contributor), Devadas, Srinivas (Contributor) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Department of Mathematics (Contributor) |
Format: | Article |
Language: | English |
Published: |
Springer US,
2016-07-15T22:56:51Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Local Reconstructors and Tolerant Testers for Connectivity and Diameter
by: Campagna, Andrea, et al.
Published: (2014) -
Secure and Robust Error Correction for Physical Unclonable Functions
by: Yu, Meng-Day (Mandel), et al.
Published: (2010) -
Monotone probability distributions over the Boolean cube can be learned with sublinear samples
by: Rubinfeld, Ronitt, et al.
Published: (2021) -
Testing non-uniform k-wise independent distributions over product spaces (extended abstract)
by: Rubinfeld, Ronitt, et al.
Published: (2012) -
A noise bifurcation architecture for linear additive physical functions
by: Yu, Meng-Day, et al.
Published: (2015)