Abstract:
Abstract. We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were assumed to be either constant or proportional to the p-th power of the magnitude of the input, for p 2 [0; 1). We construct new self-testers with relative error for realvalued multi-linear functions defined over finite rational domains. The existence of such self-testers positively solves an open question in [KMS99]. Moreover, our self-testers are very efficient: they use few queries and simple operations.
Citations
|
287
|
Property testing and its connection to learning and approximation
– Goldreich, Goldwasser, et al.
- 1998
|
|
267
|
Designing programs that check their work
– BLUM, KANNAN
- 1989
|
|
250
|
Self-testing/correcting with applications to numericalproblems
– Blum, Luby, et al.
- 1993
|
|
207
|
Robust characterizations of polynomials with applications to program testing
– Rubinfeld, Sudan
- 1996
|
|
95
|
New directions in testing
– Lipton
- 1991
|
|
94
|
Property testing in bounded degree graphs
– Goldreich, Ron
- 1997
|
|
47
|
Probabilistic Checkable Proofs: A New Characterization of NP
– Arora, Safra
- 1998
|
|
25
|
Designing programs to check their work
– Blum
- 1988
|
|
24
|
Checking approximate computation over the reals
– Ar, Blum, et al.
- 1993
|
|
23
|
On the robustness of functional equations
– Rubinfeld
- 1999
|
|
20
|
Approximate checking of polynomials and functional equations
– Ergün, Kumar, et al.
- 1996
|
|
17
|
Low-degree tests
– Friedl, Hatsagi, et al.
- 1994
|
|
11
|
On the stability of the linear functional equation
– Hyers
- 1941
|
|
10
|
Transparent (holographic) proofs
– Babai
- 1993
|
|
9
|
Hyers–Ulam stability of functional equations in several variables
– Forti
- 1995
|
|
6
|
Approximate homomorphisms
– Hyers, Rassias
- 1992
|
|
5
|
On the behaviour of mappings which do not satisfy Hyers-Ulam stability
– Hyers, P
- 1992
|
|
5
|
Sull'approssimazione delle applicazioni localmente ffi-additive. Atti della Accademia delle Scienze di
– Skof
- 1983
|
|
3
|
Approximate testing with relative error
– Kiwi, Magniez, et al.
- 1999
|
|
