Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

  • Hartmut Ehrig
  • Claudia Ermel
  • Falk Hüffner
  • Rolf Niedermeier
  • Olga Runge
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7318)

Abstract

Kernelization is a core tool of parameterized algorithmics for coping with computationally intractable problems. A kernelization reduces in polynomial time an input instance to an equivalent instance whose size is bounded by a function only depending on some problem-specific parameter k; this new instance is called problem kernel. Typically, problem kernels are achieved by performing efficient data reduction rules. So far, there was little study in the literature concerning the mutual interaction of data reduction rules, in particular whether data reduction rules for a specific problem always lead to the same reduced instance, no matter in which order the rules are applied. This corresponds to the concept of confluence from the theory of rewriting systems. We argue that it is valuable to study whether a kernelization is confluent, using the NP-hard graph problems (Edge) Clique Cover and Partial Clique Cover as running examples. We apply the concept of critical pair analysis from graph transformation theory, supported by the AGG software tool. These results support the main goal of our work, namely, to establish a fruitful link between (parameterized) algorithmics and graph transformation theory, two so far unrelated fields.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    AGG: Attributed Graph Grammar Tool. TU Berlin (2011), http://tfs.cs.tu-berlin.de/agg
  2. 2.
    Bodlaender, H.L.: Kernelization: New Upper and Lower Bound Techniques. In: Chen, J., Fomin, F.V. (eds.) IWPEC 2009. LNCS, vol. 5917, pp. 17–37. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Böhm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. Journal of Computer and System Sciences 34, 377–408 (1987)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M., Wahlström, M.: Clique cover and graph separation: New incompressibility results. Tech. Rep. arXiv:1111.0570v1 [cs.DS], arXiv (2011)Google Scholar
  5. 5.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer (1999)Google Scholar
  6. 6.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer (2006)Google Scholar
  7. 7.
    Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism and Distribution, vol. 3. World Scientific (1999)Google Scholar
  8. 8.
    Ehrig, H., Pfender, M., Schneider, H.: Graph grammars: an algebraic approach. In: Proc. IEEE Symposium on Switching and Automata Theory, pp. 167–180. IEEE (1973)Google Scholar
  9. 9.
    Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer (2006)Google Scholar
  10. 10.
    Gramm, J., Guo, J., Hüffner, F., Niedermeier, R.: Data reduction and exact algorithms for clique cover. ACM Journal of Experimental Algorithmics 13, 2.2:1–2.2:15 (2008)Google Scholar
  11. 11.
    Guo, J., Niedermeier, R.: Invitation to data reduction and problem kernelization. ACM SIGACT News 38(1), 31–45 (2007)CrossRefGoogle Scholar
  12. 12.
    Gyárfás, A.: A simple lower bound on edge coverings by cliques. Discrete Mathematics 85(1), 103–104 (1990)MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    Huet, G.: Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM 27(4), 797–821 (1980)MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Kneis, J., Mölle, D., Richter, S., Rossmanith, P.: A bound on the pathwidth of sparse graphs with applications to exact algorithms. SIAM Journal on Discrete Mathematics 23(1), 407–427 (2009)MATHCrossRefGoogle Scholar
  15. 15.
    van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science. MIT Press (1990)Google Scholar
  16. 16.
    McConnell, R.M.: Linear-time recognition of circular-arc graphs. Algorithmica 37(2), 93–147 (2003)MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Newman, M.H.A.: On theories with a combinatorial definition of equivalence. Annals of Mathematics 43(2), 223–242 (1942)MathSciNetMATHCrossRefGoogle Scholar
  18. 18.
    Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and Its Applications, vol. 31. Oxford University Press (2006)Google Scholar
  19. 19.
    Plump, D.: Confluence of Graph Transformation Revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 280–308. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. 20.
    Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol. 1. World Scientific (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Claudia Ermel
    • 1
  • Falk Hüffner
    • 1
  • Rolf Niedermeier
    • 1
  • Olga Runge
    • 1
  1. 1.Institut für Softwaretechnik und Theoretische InformatikTechnische Universität BerlinBerlinGermany

Personalised recommendations