{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:53:48Z","timestamp":1777517628470,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T00:00:00Z","timestamp":1359676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Computability"],"published-print":{"date-parts":[[2013,2]]},"abstract":"<jats:p>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 systematic 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.<\/jats:p>","DOI":"10.3233\/com-13016","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T15:00:09Z","timestamp":1575298809000},"page":"31-49","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["Confluence in Data Reduction: Bridging Graph Transformation and Kernelization"],"prefix":"10.1177","volume":"2","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, TU Berlin Sekr. MAR 5-5, Marchstr. 23, D-10587 Berlin, Germany hartmut.ehrig@tu-berlin.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, TU Berlin Sekr. MAR 5-5, Marchstr. 23, D-10587 Berlin, Germany claudia.ermel@tu-berlin.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"H\u00fcffner","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, TU Berlin Sekr. TEL 5-1, Ernst-Reuter-Platz 7, D-10587 Berlin, Germany falk.hueffner@tu-berlin.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Niedermeier","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, TU Berlin Sekr. TEL 5-1, Ernst-Reuter-Platz 7, D-10587 Berlin, Germany rolf.niedermeier@tu-berlin.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Runge","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, TU Berlin Sekr. MAR 5-5, Marchstr. 23, D-10587 Berlin, Germany olga.runge@tu-berlin.de"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2013,2,1]]},"container-title":["Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-13016","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-13016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:03:08Z","timestamp":1777392188000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-13016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["10.3233\/COM-13016"],"URL":"https:\/\/doi.org\/10.3233\/com-13016","relation":{},"ISSN":["2211-3568","2211-3576"],"issn-type":[{"value":"2211-3568","type":"print"},{"value":"2211-3576","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2]]}}}