Approximate testing with error relative to input size

Journal of Computer and System Sciences

Volumn 66, Issue 2, 2003, Pages 371-392

  Kiwi, Marcos ^a   Magniez, Frédéric ^b   Santha, Miklos ^b  

^a UNIVERSITY OF CHILE   (Chile)

^b CNRS   (France)

Author keywords

Approximation error; Program verification; Robustness and stability of functional equations; Self testing programs

Indexed keywords

COMPUTATIONAL METHODS; ERROR ANALYSIS; FUNCTIONS; NUMERICAL ANALYSIS; POLYNOMIALS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS); THEOREM PROVING;

APPROXIMATION ERROR; PROGRAM VERIFICATION; ROBUSTNESS AND STABILITY OF FUNCTIONAL EQUATIONS; SELF-TESTING PROGRAMS;

APPROXIMATION THEORY;

EID: 23844515833     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/S0022-0000(03)00004-7     Document Type: Article

References (27)

1. M. Albert, J. Baker, Functions with bounded nth difference, Ann. Polonici Math. 43 (1983) 93-103.
2. S. Ar, M. Blum, B. Codenotti, P. Gemmell, Checking approximate computations over the reals, in: Proceedings of the 25th STOC, 1993, pp. 786-795.
3. S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and intractability of approximation problems, in: Proceedings of the 33rd FOCS, 1992, pp. 14-23.
4. D. Beaver, J. Feigenbaum, Hiding instances in multioracle queries, in: Proceedings of the Seventh STACS, Lecture Notes in Computer Science, Vol. 415, 1990, pp. 37-48.
5. M. Blum, Designing programs to check their work, Technical Report TR-88-009, ICSI, 1988.
6. M. Blum, S. Kannan, Designing programs that check their work, in: Proceedings of the 21st STOC, 1989, pp. 86-97.
7. M. Blum, M. Luby, R. Rubinfeld, Self-testing/correcting with applications to numerical problems, J. Comput. Systems Sci. 47 (1993) 549-595.
8. M. Blum, H. Wasserman, Program result-checking: a theory of testing meets a test of theory, in: Proceedings of the 35th FOCS, 1994, pp. 382-392.
9. D. Coppersmith, Manuscript, See discussion in [6], December 1989.
10. n - 1) and its applications, Ann. Polonici Math. 22 (1969) 189-198.
11. F. Ergün, S. Ravi Kumar, R. Rubinfeld, Approximate checking of polynomials and functional equations, in: Proceedings of the 37th FOCS, 1996, pp. 592-601.
12. G.L. Forti, Hyers-Ulam stability of functional equations in several variables, Aeq. Math. 50 (1995) 143-190.
13. Z. Gajda, Local stability of the functional equation characterizing polynomial functions, Ann. Polonici Math. 42 (1990) 119-137.
14. O. Goldreich, S. Goldwasser, D. Ron, Property testing and its connection to learning and approximation, in: Proceedings of the 37th FOCS, 1996, pp. 339-348.
15. P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, A. Wigderson, Self-testing/correcting for polynomials and for approximate functions, in: Proceedings of the 23rd STOC, 1991, pp. 32-42.
16. D.H. Hyers, On the stability of the linear functional equation, Proc. Nat. Acad. Sci. USA 27 (1941) 222-224.
17. D.H. Hyers, T.M. Rassias, Approximate homomorphisms, Aeq. Math. 44 (1992) 125- 153.
18. D.H. Hyers, P. Šemrl, On the behaviour of mappings which do not satisfy Hyers-Ulam stability, Proc. Amer. Math. Soc. 114 (4) (1992) 989-993.
19. D.E. Knuth, The Art of Computer Programming (3rd Edition), Vol. 2, Seminumerical Algorithms, AddisonWesley, Reading, MA, 1998.
20. R. Lipton, New Directions in Testing, Vol. 2. Series in Discrete Mathematics and Theoretical Computer Science, ACM/AMS, New York, 1991, pp. 191-202.
21. F. Magniez, Multi-linearity self-testing with relative error, in: Proceedings of the 17th STACS, Lecture Notes in Computer Science, Vol. 1770, 2000, pp. 302-313.
22. T.M. Rassias, On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (2) (1978) 297-300.
23. R. Rubinfeld, A mathematical theory of self-checking, self- testing and self-correcting programs, Ph.D. Thesis, University of California, Berkeley, 1990.
24. R. Rubinfeld, On the robustness of functional equations, SIAM J. Comput. 28 (6) (1999) 1972-1997.
25. R. Rubinfeld, M. Sudan, Testing polynomial functions efficiently and over rational domains, in: Proceedings of the Third SODA, 1992, pp. 23-32.
26. R. Rubinfeld, M. Sudan, Robust characterizations of polynomials with applications to program testing, SIAM J. Comput. 25 (2) (1996) 252-271.
27. F. Skof, Sull'approssimazione delle applicazioni localmente δ-additive, Atti Acad. Sci. Torino 117 (1983) 377-389 (in Italian).