Testing Boolean Function Isomorphism

  • Noga Alon
  • Eric Blais
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6302)

Abstract

Two boolean functions f, g : {0,1}n →{0,1} are isomorphic if they are identical up to relabeling of the input variables. We consider the problem of testing whether two functions are isomorphic or far from being isomorphic with as few queries as possible.

In the setting where one of the functions is known in advance, we show that the non-adaptive query complexity of the isomorphism testing problem is \(\tilde{\Theta}(n)\). In fact, we show that the lower bound of Ω(n) queries for testing isomorphism to g holds for almost all functions g.

In the setting where both functions are unknown to the testing algorithm, we show that the query complexity of the isomorphism testing problem is \(\tilde{\Theta}(2^{n/2})\). The bound in this result holds for both adaptive and non-adaptive testing algorithms.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alon, N., Fischer, E., Krivelevich, M., Szegedy, M.: Efficient testing of large graphs. Combinatorica 20(4), 451–476 (2000)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Alon, N., Spencer, J.H.: The Probabilistic Method, 3rd edn. Wiley, Chichester (2008)MATHGoogle Scholar
  3. 3.
    Blais, E., O’Donnell, R.: Lower bounds for testing function isomorphism. In: Conference on Computational Complexity (2010)Google Scholar
  4. 4.
    Chakraborty, S., García-Soriano, D., Matsliah, A.: Nearly tight bounds for testing function isomorphism. Manuscript (2010)Google Scholar
  5. 5.
    Chockler, H., Gutfreund, D.: A lower bound for testing juntas. Information Processing Letters 90(6), 301–305 (2004)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Diakonikolas, I., Lee, H.K., Matulef, K., Onak, K., Rubinfeld, R., Servedio, R.A., Wan, A.: Testing for concise representations. In: Proc. 48th Symposium on Foundations of Computer Science, pp. 549–558 (2007)Google Scholar
  7. 7.
    Dodis, Y., Goldreich, O., Lehman, E., Raskhodnikova, S., Ron, D., Samorodnitsky, A.: Improved testing algorithms for monotonicity. In: Hochbaum, D.S., Jansen, K., Rolim, J.D.P., Sinclair, A. (eds.) RANDOM 1999 and APPROX 1999. LNCS, vol. 1671, pp. 97–108. Springer, Heidelberg (1999)Google Scholar
  8. 8.
    Fischer, E.: The art of uninformed decisions: a primer to property testing. Bull. Eur. Assoc. for Theoretical Comp. Sci. 75, 97–126 (2001)MATHGoogle Scholar
  9. 9.
    Fischer, E.: The difficulty of testing for isomorphism against a graph that is given in advance. SIAM J. on Comp. 34(5), 1147–1158 (2005)MATHCrossRefGoogle Scholar
  10. 10.
    Fischer, E., Kindler, G., Ron, D., Safra, S., Samorodnitsky, A.: Testing juntas. J. Comput. Syst. Sci. 68(4), 753–787 (2004)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Fischer, E., Lehman, E., Newman, I., Raskhodnikova, S., Rubinfeld, R., Samorodnitsky, A.: Monotonicity testing over general poset domains. In: STOC 2002: Proceedings of the Thiry-Fourth Annual ACM Symposium on Theory of Computing, pp. 474–483 (2002)Google Scholar
  12. 12.
    Fischer, E., Matsliah, A.: Testing graph isomorphism. SIAM J. Comput. 38(1), 207–225 (2008)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Goldreich, O., Goldwasser, S., Lehman, E., Ron, D., Samorodnitsky, A.: Testing monotonicity. Combinatorica 20(3), 301–337 (2000)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Goldreich, O., Goldwasser, S., Ron, D.: Property testing and its connection to learning and approximation. J. ACM 45(4), 653–750 (1998)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Hajnal, A., Szemerédi, E.: Proof of a conjecture of Paul Erdős. In: Erdős, P., Rényi, A., Sós, V.T. (eds.) Combinatorial Theory and its Applications, pp. 601–623 (1969)Google Scholar
  16. 16.
    Matulef, K., O’Donnell, R., Rubinfeld, R., Servedio, R.A.: Testing halfspaces. In: SODA 2009: Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms, pp. 256–264 (2009)Google Scholar
  17. 17.
    Matulef, K., O’Donnell, R., Rubinfeld, R., Servedio, R.A.: Testing ± 1-weight halfspace. In: Dinur, I., Jansen, K., Naor, J., Rolim, J. (eds.) RANDOM ’09. LNCS, vol. 5687, pp. 646–657. Springer, Heidelberg (2009)Google Scholar
  18. 18.
    Ron, D.: Property testing: a learning theory perspective. Foundations and Trends in Machine Learning 1(3), 307–402 (2008)CrossRefGoogle Scholar
  19. 19.
    Ron, D.: Algorithmic and analysis techniques in property testing. Foundations and Trends in Theoretical Computer Science 5(2), 73–205 (2009)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Rubinfeld, R., Sudan, M.: Robust characterizations of polynomials with applications to program testing. SIAM J. Comput. 25(2), 252–271 (1996)MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Yao, A.C.-C.: Probabilistic computations: Toward a unified measure of complexity. In: Proceedings of the 28th IEEE Symposium on Foundations of Computer Science, pp. 222–227 (1977)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Noga Alon
    • 1
  • Eric Blais
    • 2
  1. 1.Schools of Mathematics and Computer Science, Sackler Faculty of Exact SciencesTel Aviv UniversityTel AvivIsrael
  2. 2.School of Computer ScienceCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations