Testing linear-invariant non-linear properties: A short report
Name
Sudan_Testing linear.pdf
Size
187.62 KB
Format
Adobe PDF
Checksum (MD5)
16570a170f85cabf34eb40a55a01ba8e
Author(s)
Bhattacharyya, Arnab
Chen, Victor
Sudan, Madhu
Xie, Ning
Date Issued
October 2010
Journal
Property Testing
Publisher
Springer Berlin / Heidelberg
Citation
Bhattacharyya, Arnab et al. “Testing Linear-Invariant Non-linear Properties: A Short Report.” Property Testing. Springer Berlin / Heidelberg, 2011. 260-268.
Version
Author's final manuscript
Abstract
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad “features” of properties that make them testable? Kaufman and Sudan (STOC 2008) proposed the study of the relationship between the invariances satisfied by a property and its testability. Particularly, they studied properties that were invariant under linear transformations of the domain and gave a characterization of testability in certain settings. However, the properties that they examined were also linear. This led us to investigate linear-invariant properties that are not necessarily linear. Here we describe some of the resulting works which consider natural linear-invariant properties, specifically properties that are described by forbidden patterns of values that a function can take, and show testability under various settings.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike 3.0
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-642-16367-8_18
