Algorithms for the Maximum Hamming Distance Problem

  • Ola Angelsmark
  • Johan Thapper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3419)

Abstract

We study the problem of finding two solutions to a constraint satisfaction problem which differ on the assignment of as many variables as possible – the Max Hamming Distance problem for CSPs – a problem which can, among other things, be seen as a domain independent way of quantifying “ignorance.” The first algorithm we present is an \(\mathcal{O}(1.7338^n)\) microstructure based algorithm for Max Hamming Distance 2-SAT, improving the previously best known algorithm for this problem, which has a running time of \(\mathcal{O}(1.8409^n)\). We also give algorithms based on enumeration techniques for solving both Max Hamming Distance l-SAT, and the general Max Hamming Distance (d,l)-CSP, the first non-trivial algorithms for these problems. The main results here are that if we can solve l-SAT in \(\mathcal{O}(a^n)\) and (d,l)-CSP in \(\mathcal{O}(b^n)\), then the corresponding Max Hamming problems can be solved in \(\mathcal{O}((2a)^n)\) and \(\mathcal{O}(b^n(1+b)^n)\), respectively.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Angelsmark, O., Thapper, J.: Microstructure based algorithms for three constraint satisfaction optimisation problems (2004) (unpublished manuscript), available for download at, http://www.ida.liu.se/~olaan/papers/three_algorithms.ps
  2. 2.
    Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear time algorithm for testing the truth of certain quantified Boolean formulas. Information Processing Letters 8(3), 121–123 (1979)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Crescenzi, P., Rossi, G.: On the Hamming distance of constraint satisfaction problems. Theoretical Computer Science 288(1), 85–100 (2002)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Dahllöf, V., Jonsson, P., Wahlström, M.: On counting models for 2sat and 3sat formulae (2003) (unpublished manuscript), available for download at, http://www.ida.liu.se/~magwa/research/merge23sat.ps
  5. 5.
    Eppstein, D.: Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction. In: Proceedings of the 12th Annual Symposium on Discrete Algorithms (SODA 2001), pp. 329–337 (2001)Google Scholar
  6. 6.
    Feder, T., Motwani, R.: Worst-case time bounds for coloring and satisfiability problems. Journal of Algorithms 45(2), 192–201 (2002)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York (1979)MATHGoogle Scholar
  8. 8.
    Hofmeister, T., Schöning, U., Schuler, R., Watanabe, O.: A probabilistic 3-SAT algorithm further improved. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 192–202. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Jégou, P.: Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems. In: Proceedings of the 11th (US) National Conference on Artificial Intelligence (AAAI 1993), Washington, DC, USA, July 1993, pp. 731–736. AAAI, Menlo Park (1993)Google Scholar
  10. 10.
    Kullman, O.: New methods for 3-SAT decision and worst-case analysis. Theoretical Computer Science 223(1-2), 1–72 (1999)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Schöning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. In: 40th Annual Symposium on Foundations of Computer Science (FOCS 1999), pp. 410–414. IEEE Computer Society, Los Alamitos (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Ola Angelsmark
    • 1
  • Johan Thapper
    • 2
  1. 1.Department of Computer and Information ScienceLinköpings UniversitetLinköpingSweden
  2. 2.Department of MathematicsLinköpings UniversitetLinköpingSweden

Personalised recommendations