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...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Devadas, Sheela, Rubinfeld, Ronitt, Devadas, Srinivas
Kolejni autorzy: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Artykuł
Język:English
Wydane: Springer US 2016
Dostęp online:http://hdl.handle.net/1721.1/103636
https://orcid.org/0000-0001-8253-7714
https://orcid.org/0000-0002-4353-7639