×

Approximate evaluations of characteristic polynomials of Boolean functions. (English) Zbl 1012.94026

The paper studies the approximations of the values of characteristic polynomials of Boolean functions. As a result of arithmetization of Boolean functions, characteristic polynomials are multlinear extensions of Boolean functions. They are conceived as potential tools for circuit testing purposes. In this paper the approximations are used for the “black-box” case, i.e. the internal structure of the tested circuit is not known, but it is only possible to supply inputs and observe outputs. By a characteristic polynomial of the given Boolean function we mean the real-valued polynomial reduced to the \([0,1]^n\) cube obtained from the standard sum of products of \(f\), where the Boolean variables are substituted by real variables, negation of the variable \(x\) by \((1-x)\), AND by product, and OR by summation. The idea of this paper is to approximate the real values of characteristic polynomials using the binary evaluations of the corresponding Boolean functions. The errors, being the result of approximation, are defined in the worst case, average cases and randomized setting. It is shown that the value of a characteristic polynomial is given by a multivariate integral over the unit cube \([0,1]^n\). Thus the Monte Carlo algorithms may be used for the approximate evaluation of a characteristic polynomial in the randomized setting. Let \(k\) be the number of known values of the \(n\)-variable Boolean function. Suppose that with \(k\) Boolean function evaluations the approximation error lower bound is \(e_k\). The relative error \(e_k/e_0\) is the reduction of errors with \(k\) Boolean function evaluations from the initial error without any Boolean values. Let \(k(n,\varepsilon)\) be the smallest number of \(n\) variable Boolean function values needed to obtain a relative error \(\varepsilon\). It is proved that \(k(n,\varepsilon)\) is exponential in \(n\) for each \(\varepsilon\) in the worst and average case settings, which means that the problem of approximate evaluations of characteristic polynomials in the assumed model is intractable. In the randomized settings \(k(n,\varepsilon)\) is polynomial in \(1/\varepsilon\) and the problem is tractable in \(1/\varepsilon\).

MSC:

94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
94C12 Fault detection; testing in circuits and networks
Full Text: DOI

References:

[1] Agrawal, V. D.; Lee, D.; Woźniakowski, H., Numerical computation of characteristic polynomials of Boolean functions and its applications, Numer. Algorithms, 17, 261-278 (1998) · Zbl 0904.94030
[2] Ar, S.; Lipton, R. J.; Rubinfeld, R,; Sudan, M., Reconstructing algebraic functions from mixed data, SIAM J. Comput., 28, 487-496 (1999) · Zbl 0915.68088
[3] S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and hardness of approximation problems, 33rd Annu. Symp. on Foundations of Computer Science 1992 (pp. 14-23).; S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and hardness of approximation problems, 33rd Annu. Symp. on Foundations of Computer Science 1992 (pp. 14-23). · Zbl 0977.68539
[4] S. Arora, M. Safra, Probabilistic checking of proofs: a new characterization of NP, 33rd Annu. Symp. on Foundations of Computer Science1992 (pp. 2-13).; S. Arora, M. Safra, Probabilistic checking of proofs: a new characterization of NP, 33rd Annu. Symp. on Foundations of Computer Science1992 (pp. 2-13). · Zbl 0945.68516
[5] S. Arora, M. Sudan, Improved low-degree testing and its aplications, 29th Annu. ACM Symp. on the Theory of Computing 1997 (pp. 485-495).; S. Arora, M. Sudan, Improved low-degree testing and its aplications, 29th Annu. ACM Symp. on the Theory of Computing 1997 (pp. 485-495). · Zbl 0968.68145
[6] Babai, L.; Fortnow, L., Arithmetizationa new method in structural complexity theory, Comput. Complexity, 1, 1, 41-66 (1991) · Zbl 0774.68040
[7] Bakhvalov, N. S., On approximate calculation of integrals Vestnik MGU, Ser. Math. Mech. Astron. Phys. Chem., 4, 3-18 (1959), (in Russian)
[8] D.A.D. Barrington, R. Beigel, S. Rudich, Representing Boolean functions as polynomials modulo composite numbers, 24th Annu. ACM Symp. on the Theory of Computing1992 (pp. 455-461).; D.A.D. Barrington, R. Beigel, S. Rudich, Representing Boolean functions as polynomials modulo composite numbers, 24th Annu. ACM Symp. on the Theory of Computing1992 (pp. 455-461). · Zbl 0829.68057
[9] S.A. Cook, The complexity of theorem-proving procedures, 3rd Annu. ACM Symp. on the Theory of Computing1971 (pp. 151-158).; S.A. Cook, The complexity of theorem-proving procedures, 3rd Annu. ACM Symp. on the Theory of Computing1971 (pp. 151-158). · Zbl 0253.68020
[10] Friedman, A. D.; Menon, P. R., Fault Detection in Digital Circuits (1971), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ
[11] Fujiwara, H., Logic Testing and Design for Testability (1985), MIT Press: MIT Press Cambridge, MA
[12] Garey, M. R.; Johnson, D. S., Computers and Intractability (1979), Freeman: Freeman New York · Zbl 0411.68039
[13] P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, A. Wigderson, Self-testing/correcting for polynomials and for approximate functions, 23rd Annu. ACM Symp. on the Theory of Computing1991 (pp. 32-42).; P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, A. Wigderson, Self-testing/correcting for polynomials and for approximate functions, 23rd Annu. ACM Symp. on the Theory of Computing1991 (pp. 32-42).
[14] Jain, J.; Bitner, J.; Fussel, D. S.; Abraham, J. A., Probabilistic verification of Boolean functions, Formal Methods System Design, 1, 63-117 (1992)
[15] Lehmann, E. L., Theory of Point Estimation (1983), Wiley: Wiley New York · Zbl 0522.62020
[16] Mathé, P., The optimal error of Monte Carlo integration, J. Complexity, 11, 394-415 (1995) · Zbl 0861.65018
[17] N. Nisan, M. Szegedy, On the degree of Boolean functions as real polynomials,24th Annu. ACM Symp. on the Theory of Computing 1992 (pp. 455-461).; N. Nisan, M. Szegedy, On the degree of Boolean functions as real polynomials,24th Annu. ACM Symp. on the Theory of Computing 1992 (pp. 455-461).
[18] Novak, E., Stochastic properties of quadrature formulas, Numer. Math., 53, 609-620 (1988) · Zbl 0655.65041
[19] R. Paturi, ON the degree of polynomials that approximate symmetric Boolean functions,24th Annu. ACM Symp. on the Theory of Computing 1992 (pp. 468-474).; R. Paturi, ON the degree of polynomials that approximate symmetric Boolean functions,24th Annu. ACM Symp. on the Theory of Computing 1992 (pp. 468-474).
[20] R. Rubinfeld, M. Sudan, Robust characterizations of polynomials with applications to program testing, Siam J. Comput.25 (2) (1996) pp 252-271.; R. Rubinfeld, M. Sudan, Robust characterizations of polynomials with applications to program testing, Siam J. Comput.25 (2) (1996) pp 252-271. · Zbl 0844.68062
[21] A. Shamir, IP=PSPACE, JACM 39 (4) (1992) pp 869-877.; A. Shamir, IP=PSPACE, JACM 39 (4) (1992) pp 869-877. · Zbl 0799.68096
[22] Traub, J. F.; Wasilkowski, G. W.; Woźniakowski, H., Information Based-Complexity (1988), Academic Press: Academic Press New York · Zbl 0674.68039
[23] Wasilkowski, G. W., Information of varying cardinality, J. Complexity, 2, 204-228 (1986) · Zbl 0615.94004
[24] Wasilkowski, G. W., Randomization for continuous problems, J. Complexity, 5, 195-218 (1989) · Zbl 0675.65012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.