Show simple item record

dc.contributor.authorDevadas, Sheela
dc.contributor.authorRubinfeld, Ronitt
dc.contributor.authorDevadas, Srinivas
dc.date.accessioned2016-07-15T22:56:51Z
dc.date.available2016-07-15T22:56:51Z
dc.date.issued2015-06
dc.identifier.issn1432-4350
dc.identifier.issn1433-0490
dc.identifier.urihttp://hdl.handle.net/1721.1/103636
dc.description.abstractWe 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 space. We show that our self-testing algorithm for the univariate case can be directly generalized to vector space domains. The number of queries made by our algorithms is independent of domain size.en_US
dc.description.sponsorshipNational Science Foundation (U.S.) (grants CCF-1217423, CCF-1065125, and CCF-1420692)en_US
dc.description.sponsorshipIsrael Science Foundation (grant 1536/14)en_US
dc.publisherSpringer USen_US
dc.relation.isversionofhttp://dx.doi.org/10.1007/s00224-015-9639-zen_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alikeen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/en_US
dc.sourceSpringer USen_US
dc.titleA Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctnessen_US
dc.typeArticleen_US
dc.identifier.citationDevadas, Sheela, and Ronitt Rubinfeld. “A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness.” Theory of Computing Systems 59.1 (2016): 99–111.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratoryen_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Mathematicsen_US
dc.contributor.mitauthorDevadas, Srinivasen_US
dc.contributor.mitauthorRubinfeld, Ronitten_US
dc.relation.journalTheory of Computing Systemsen_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/JournalArticleen_US
eprint.statushttp://purl.org/eprint/status/PeerRevieweden_US
dc.date.updated2016-06-30T12:07:28Z
dc.language.rfc3066en
dc.rights.holderSpringer Science+Business Media New York
dspace.orderedauthorsDevadas, Sheela; Rubinfeld, Ronitten_US
dspace.embargo.termsNen
dc.identifier.orcidhttps://orcid.org/0000-0001-8253-7714
dc.identifier.orcidhttps://orcid.org/0000-0002-4353-7639
mit.licenseOPEN_ACCESS_POLICYen_US
mit.metadata.statusComplete


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record