Advertisement

Faster and Space Efficient Exact Exponential Algorithms: Combinatorial and Algebraic Approaches

  • Dongxiao YuEmail author
  • Yuexuan WangEmail author
  • Qiang-Sheng HuaEmail author
  • Francis C.M. LauEmail author
Reference work entry

Abstract

Exponential algorithms, whose time complexity is O(c n ) for some constant c > 1, are inevitable when exactly solving NP-complete problems unless \(\mathbf{P} = \mathbf{NP}\). This chapter presents recently emerged combinatorial and algebraic techniques for designing exact exponential time algorithms. The discussed techniques can be used either to derive faster exact exponential algorithms or to significantly reduce the space requirements while without increasing the running time. For illustration, exact algorithms arising from the use of these techniques for some optimization and counting problems are given.

Keywords

Travel Salesman Problem Travel Salesman Problem Exact Algorithm Hamiltonian Cycle Steiner Tree Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

This work was supported in part by the National Basic Research Program of China Grant 2011CBA00300, 2011CBA00302, the National Natural Science Foundation of China Grant 61103186, 61073174, 61033001, 61061130540, the Hi-Tech research and Development Program of China Grant 2006AA10Z216, and Hong Kong RGC-GRF grants 714009E and 714311.

Recommended Reading

  1. 1.
    O. Amini, F.V. Fomin, S. Saurabh, Counting subgraphs via homomorphisms, in ICALP, Rhodes (1), 2009, pp. 71–82Google Scholar
  2. 2.
    L. Babai, W.M. Kantor, E.M. Luks, Computational complexity and the classification of finite simple groups, in FOCS, 1983, Tucson, pp. 162–171Google Scholar
  3. 3.
    E.T. Bax, Inclusion and exclusion algorithm for the Hamiltonian path problem. Inf. Process. Lett. 47(4), 203–207 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    E.T. Bax, Algorithms to count paths and cycles. Inf. Process. Lett. 52(5), 249–252 (1994)MathSciNetCrossRefGoogle Scholar
  5. 5.
    E.T. Bax, J. Franklin, A finite-difference sieve to count paths and cycles by length. Inf. Process. Lett. 60(4), 171–176 (1996)MathSciNetCrossRefGoogle Scholar
  6. 6.
    R. Bellman, Bottleneck problems and dynamic programming. Proc. Natl. Acad. Sci. 39, 947–951 (1953)CrossRefzbMATHGoogle Scholar
  7. 7.
    R. Bellman, Dynamic Programming (Princeton University Press, Princeton, 1957)zbMATHGoogle Scholar
  8. 8.
    A. Björklund, Exact covers via determinants, in STACS, Nancy, 2010, pp. 95–106Google Scholar
  9. 9.
    A. Björklund, Determinant sums for undirected Hamiltonicity, in FOCS, Las Vegas, 2010, pp. 23–26Google Scholar
  10. 10.
    A. Björklund, Counting perfect matchings as fast as Ryser, in SODA, 2012, Kyoto, pp. 914–921Google Scholar
  11. 11.
    A. Björklund, T. Husfeldt, Exact algorithms for exact satisfiability and number of perfect matchings. Algorithmica 52(2), 226–249 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Fourier meets möbius: fast subset convolution, in STOC, San Diego, 2007, pp. 67–74Google Scholar
  13. 13.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Computing the tutte polynomial in vertex-exponential time, in FOCS, Philadelphia, 2008, pp. 677–686Google Scholar
  14. 14.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, The traveling salesman problem in bounded degree graphs, in ICALP, Reykjavik, 2008, pp. 198–209Google Scholar
  15. 15.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Counting paths and packings in halves, in ESA, Copenhagen, 2009, pp. 578–586Google Scholar
  16. 16.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Trimmed moebius inversion and graphs of bounded degree. Theory Comput. Syst. 47, 637–654 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Covering and packing in linear space, in ICALP, Bordeaux, (1), 2010, pp. 727–737Google Scholar
  18. 18.
    A. Björklund, T. Husfeldt, P. Kaski, M. Koivisto, Evaluation of permanents in rings and semirings. Inf. Process. Lett. 110(20), 867–870 (2010)CrossRefzbMATHGoogle Scholar
  19. 19.
    A. Bjorklund, T. Husfeldt, Inclusion-exclusion algorithms for counting set partitions, in FOCS, Berkeley, 2006, pp. 575–582Google Scholar
  20. 20.
    A. Bjorklund, T. Husfeldt, M. Koivisto, Set partitioning via inclusion-exclusion. SIAM J. Comput. 39(2), 546–563 (2009)MathSciNetCrossRefGoogle Scholar
  21. 21.
    J.R. Bunch, J.E. Hopcroft, Triangular factorization and inversion by fast matrix multiplication. Math. Comput. 28, 231–236 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    F.R.K. Chung, R.L. Graham, On the cover polynomial of a digraph. J. Comb. Theory B 65(2), 273–290 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    F.R.K. Chung, P. Frankl, R.L. Graham, J.B. Shearer, Some intersection theorems for ordered sets and graphs. J. Comb. Theory A 43, 23–37 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    D. Coppersmith, S. Winograd, Matrix multiplication via arithmetic progressions. J. Symb. Comput. 9, 251–280 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    S.E. Dreyfus, R.A. Wagner, The Steiner problem in graphs. Networks 1, 195–207 (1971/1972)MathSciNetCrossRefGoogle Scholar
  26. 26.
    J. Edmonds, Systems of distinct representatives and linear algebra. J. Res. Nat. Bur. Stand. 71B(4), 241–245 (1967)MathSciNetCrossRefGoogle Scholar
  27. 27.
    F.V. Fomin, D. Kratsch, Exact Exponential Algorithms (Springer, Berlin/Heidelberg, 2010)CrossRefzbMATHGoogle Scholar
  28. 28.
    B. Fuchs, W. Kern, D. Mölle, S. Richter, P. Rossmanith, X. Wang, Dynamic programming for minimum Steiner trees. Theory Comput. Syst. 41(3), 493–500 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    M. Fürer, Faster integer multiplication, in STOC, San Diego, 2007, pp. 57–66Google Scholar
  30. 30.
    M. Held, R.M. Karp, A dynamic programming approach to sequencing problems. J. Soc. Ind. Appl. Math. 10(1), 196–210 (1962)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Q.-S. Hua, D. Yu, Y. Wang, F.C.M. Lau, Exact algorithms for set multicover and multiset multicover problems, in ISAAC, Honolulu, 2009, pp. 34–44Google Scholar
  32. 32.
    Q.-S. Hua, Y. Wang, D. Yu, F.C.M. Lau, Set multi-covering via inclusion-exclusion. Theor. Comput. Sci. 410(38–40), 3882–3892 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Q.-S. Hua, Y. Wang, D. Yu, F.C.M. Lau, Dynamic programming based algorithms for set multicover and multiset multicover problems. Theor. Comput. Sci. 411(26–28), 2467–2474 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    T. Husfeldt, Invitation to algorithmic uses of inclusion-exclusion, in ICALP, Zurich, (2), 2011, pp. 42–59Google Scholar
  35. 35.
    D.B. Johnson, Efficient algorithms for shortest paths in sparse networks. J. ACM 24, 1–13 (1977)CrossRefzbMATHGoogle Scholar
  36. 36.
    R.M. Karp, Dynamic programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49–51 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  37. 37.
    R. Kennes, Computational aspects of the Moebius transform of a graph. IEEE Trans. Syst. Man Cybern. 22, 201–223 (1991)MathSciNetCrossRefGoogle Scholar
  38. 38.
    D.E. Knuth, The art of computer programming, Vol. 3: Seminumerical algorithms, 3rd edn. (Addison-Wesley, Upper Saddle River, 1998)Google Scholar
  39. 39.
    S. Kohn, A. Gottlieb, M. Kohn, A generating function approach to the traveling salesman problem, in In ACM ’77: Proceedings of the 1977 Annual Conference (ACM, New York, 1977), pp. 294–300Google Scholar
  40. 40.
    M. Koivisto, An O (2n) algorithm for graph coloring and other partitioning problems via inclusion-exclusion, in FOCS, Berkeley, 2006, pp. 583–590Google Scholar
  41. 41.
  42. 42.
    D. Lokshtanov, J. Nederlof, Saving space by algebraization, in STOC, Cambridge, 2010, pp. 321–330Google Scholar
  43. 43.
    R. Motwani, P. Raghavan, Randomized Algorithms (Cambridge University Press, Cambridge/New York, 1995)CrossRefzbMATHGoogle Scholar
  44. 44.
    J. Nederlof, Fast polynomial-space algorithms using Möbius inversion: improving on Steiner tree and related problems, in ICALP, Rhodes, (1), 2009, pp. 713–725Google Scholar
  45. 45.
    J. Nederlof, J.M.M. van Rooij, Inclusion/exclusion branching for partial dominating set and set splitting, in IPEC, Chennai, 2010, pp. 204–215Google Scholar
  46. 46.
    S.i. Oum, Computing rank-width exactly. Inf. Process. Lett. 109(13), 745–748 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  47. 47.
    D. Paulusma, J.M.M. van Rooij, On partitioning a graph into two connected subgraphs, in ISAAC, Honolulu, 2009, pp. 1215–1224Google Scholar
  48. 48.
    G.C. Rota, On the foundations of combinatorial theory. I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2, 340–368 (1964)MathSciNetCrossRefzbMATHGoogle Scholar
  49. 49.
    H.J. Ryser, Combinatorial Mathematics. Number 14 in Carus mathematical monographs (Mathematical Association of America, Buffalo, 1963)Google Scholar
  50. 50.
    U. Schöning, Algorithmics in exponential time, in STACS, Stuttgart, 2005, pp. 36–43Google Scholar
  51. 51.
    J.M.M. van Rooij, Polynomial space algorithms for counting dominating sets and the domatic number, in CIAC, Rome, 2010, pp. 73–84Google Scholar
  52. 52.
    J.M.M. van Rooij, H.L. Bodlaender, P. Rossmanith, Dynamic programming on tree decompositions using generalised fast subset convolution, in ESA, Copenhagen, 2009, pp. 566–577Google Scholar
  53. 53.
    J.M.M. van Rooij, J. Nederlof, T.C. van Dijk, Inclusion/exclusion meets measure and conquer: exact algorithms for counting dominating sets, in ESA, Copenhagen, 2009, pp. 554–565Google Scholar
  54. 54.
    V. Vassilevska, R. Williams, Finding, minimizing, and counting weighted subgraphs, in STOC, Bethesda, 2009, pp. 455–464CrossRefGoogle Scholar
  55. 55.
    G.J. Woeginger, Exact algorithms for NP-hard problems: a survey, in Combinatorial Optimization, 2001, Springer-Verlag New York, pp. 185–208Google Scholar
  56. 56.
    G.J. Woeginger, Space and time complexity of exact algorithms: some open problems, in IWPEC, Bergen, 2004, pp. 281–290Google Scholar
  57. 57.
    G.J. Woeginger, Open problems around exact algorithms. Discret. Appl. Math. 156(3), 397–405 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  58. 58.
    F. Yates, The design and analysis of factorial experiments. Technical Communication No. 35, Commonwealth Bureau of Soil Science, Harpenden, UK, 1937Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Department of Computer ScienceThe University of Hong KongHong KongPeople’s Republic of China
  2. 2.Institute for Interdisciplinary Information SciencesTsinghua UniversityBeijingPeople’s Republic of China
  3. 3.Institute for Interdisciplinary Information SciencesTsinghua UniversityBeijingPeople’s Republic of China
  4. 4.Department of Computer ScienceThe University of Hong KongHong KongPeople’s Republic of China

Personalised recommendations