Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

DOI10.3233/COM-13016zbMath1311.68184OpenAlexW2610196513MaRDI QIDQ5891215

Olga Runge, Rolf Niedermeier, Falk Hüffner, Hartmut Ehrig, Claudia Ermel

Publication date: 10 October 2013

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-13016

zbMATH Keywords

formal methodsconfluenceproblem kernelcritical pair analysisparameterized algorithmics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) General topics in the theory of algorithms (68W01)

Related Items (1)

Known Algorithms for Edge Clique Cover are Probably Optimal

This page was built for publication: Confluence in Data Reduction: Bridging Graph Transformation and Kernelization