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...
Główni autorzy: | , , |
---|---|
Kolejni autorzy: | |
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 |