{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T07:53:39Z","timestamp":1781078019977,"version":"3.54.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004168","name":"Universit\u00e4t zu L\u00fcbeck","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004168","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[2022,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Computing small kernels for the hitting set problem is a well-studied computational problem where we are given a hypergraph with <jats:italic>n<\/jats:italic>\u00a0vertices and <jats:italic>m<\/jats:italic>\u00a0hyperedges, each of size\u00a0<jats:italic>d<\/jats:italic> for some small constant\u00a0<jats:italic>d<\/jats:italic>, and a parameter\u00a0<jats:italic>k<\/jats:italic>. The task is to compute a new hypergraph, called a <jats:italic>kernel<\/jats:italic>, whose size is polynomial with respect to the parameter\u00a0<jats:italic>k<\/jats:italic> and which has a size-<jats:italic>k<\/jats:italic> hitting set if, and only if, the original hypergraph has one. State-of-the-art algorithms compute kernels of size\u00a0<jats:inline-formula><jats:alternatives><jats:tex-math>$$k^d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msup>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mi>d<\/mml:mi>\n                  <\/mml:msup>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> (which is a polynomial as <jats:italic>d<\/jats:italic> is a constant), and they do so in time <jats:inline-formula><jats:alternatives><jats:tex-math>$$m\\cdot 2^d {\\text {poly}}(d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>m<\/mml:mi>\n                    <mml:mo>\u00b7<\/mml:mo>\n                    <mml:msup>\n                      <mml:mn>2<\/mml:mn>\n                      <mml:mi>d<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mtext>poly<\/mml:mtext>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>d<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> for a small polynomial <jats:inline-formula><jats:alternatives><jats:tex-math>$${\\text {poly}}(d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mtext>poly<\/mml:mtext>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> (which is linear in the hypergraph size for <jats:italic>d<\/jats:italic> fixed). We generalize this task to the <jats:italic>dynamic<\/jats:italic> setting where hyperedges may continuously be added or deleted and one constantly has to keep track of a size-<jats:inline-formula><jats:alternatives><jats:tex-math>$$k^d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msup>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mi>d<\/mml:mi>\n                  <\/mml:msup>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> kernel. This paper presents a <jats:italic>deterministic<\/jats:italic> solution with <jats:italic>worst-case<\/jats:italic> time <jats:inline-formula><jats:alternatives><jats:tex-math>$$3^d {\\text {poly}}(d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mn>3<\/mml:mn>\n                      <mml:mi>d<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mtext>poly<\/mml:mtext>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>d<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> for updating the kernel upon inserts and time\u00a0<jats:inline-formula><jats:alternatives><jats:tex-math>$$5^d {\\text {poly}}(d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mn>5<\/mml:mn>\n                      <mml:mi>d<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mtext>poly<\/mml:mtext>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>d<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> for updates upon deletions. These bounds nearly match the time <jats:inline-formula><jats:alternatives><jats:tex-math>$$2^d {\\text {poly}}(d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mn>2<\/mml:mn>\n                      <mml:mi>d<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mtext>poly<\/mml:mtext>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>d<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> needed by the best static algorithm per hyperedge. Let us stress that for constant\u00a0<jats:italic>d<\/jats:italic> our algorithm maintains a hitting set kernel with <jats:italic>constant, deterministic, worst-case<\/jats:italic> update time that is independent of <jats:italic>n<\/jats:italic>, <jats:italic>m<\/jats:italic>, and the parameter\u00a0<jats:italic>k<\/jats:italic>. As a consequence, we also get a deterministic dynamic algorithm for keeping track of size-<jats:italic>k<\/jats:italic> hitting sets in <jats:italic>d<\/jats:italic>-hypergraphs with update times <jats:italic>O<\/jats:italic>(1) and query times <jats:inline-formula><jats:alternatives><jats:tex-math>$$O(c^k)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>O<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:msup>\n                      <mml:mi>c<\/mml:mi>\n                      <mml:mi>k<\/mml:mi>\n                    <\/mml:msup>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> where <jats:inline-formula><jats:alternatives><jats:tex-math>$$c = d - 1 + O(1\/d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>c<\/mml:mi>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>-<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>+<\/mml:mo>\n                    <mml:mi>O<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>\/<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> equals the best base known for the static setting.<\/jats:p>","DOI":"10.1007\/s00453-022-00986-0","type":"journal-article","created":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T05:03:46Z","timestamp":1655874226000},"page":"3459-3488","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Kernels for Hitting Sets and Set Packing"],"prefix":"10.1007","volume":"84","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4566-8031","authenticated-orcid":false,"given":"Max","family":"Bannach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zacharias","family":"Heinrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R\u00fcdiger","family":"Reischuk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Till","family":"Tantau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,6,22]]},"reference":[{"issue":"7","key":"986_CR1","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1016\/j.jcss.2009.09.002","volume":"76","author":"FN Abu-Khzam","year":"2010","unstructured":"Abu-Khzam, F.N.: A Kernelization Algorithm for d-Hitting Set. Journal of Computer and System Sciences 76(7), 524\u2013531 (2010). https:\/\/doi.org\/10.1016\/j.jcss.2009.09.002","journal-title":"Journal of Computer and System Sciences"},{"key":"986_CR2","doi-asserted-by":"publisher","unstructured":"Chen, Y., Flum, J., Huang, X.: Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. In: Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20\u201324, 2017, Stockholm, Sweden, pp. 19\u201311916 (2017). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2017.19","DOI":"10.4230\/LIPIcs.CSL.2017.19"},{"key":"986_CR3","doi-asserted-by":"publisher","unstructured":"Karp, R.M.: Reducibility Among Combinatorial Problems. In: Proceedings of a Symposium on the Complexity of Computer Computations, Held March 20\u201322, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA, pp. 85\u2013103 (1972). https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"986_CR4","doi-asserted-by":"publisher","unstructured":"Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. Texts in Computer Science. Springer, Berlin Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-1-4471-5559-1","DOI":"10.1007\/978-1-4471-5559-1"},{"key":"986_CR5","doi-asserted-by":"publisher","unstructured":"Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. Springer, Berlin Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-29953-X","DOI":"10.1007\/3-540-29953-X"},{"key":"986_CR6","doi-asserted-by":"publisher","unstructured":"Fafianie, S., Kratsch, S.: A shortcut to (sun)flowers: Kernels in logarithmic space or linear time. In: Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 24\u201328, 2015. Lecture Notes in Computer Science, vol. 9235, pp. 299\u2013310. Springer, Milan (2015). https:\/\/doi.org\/10.1007\/978-3-662-48054-0_25","DOI":"10.1007\/978-3-662-48054-0_25"},{"key":"986_CR7","doi-asserted-by":"publisher","unstructured":"Bannach, M., Skambath, M., Tantau, T.: Kernelizing the hitting set problem in linear sequential and constant parallel time. In: 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020, June 22\u201324, 2020, T\u00f3rshavn, Faroe Islands, pp. 9\u20131916 (2020). https:\/\/doi.org\/10.4230\/LIPIcs.SWAT.2020.9","DOI":"10.4230\/LIPIcs.SWAT.2020.9"},{"key":"986_CR8","doi-asserted-by":"publisher","unstructured":"van Bevern, R., Smirnov, P.V.: Optimal-size problem kernels for d-hitting set in linear time and space. Information Processing Letters 163(105998) (2020). https:\/\/doi.org\/10.1016\/j.ipl.2020.105998","DOI":"10.1016\/j.ipl.2020.105998"},{"key":"986_CR9","unstructured":"Wahlstr\u00f6m, M.: Algorithms, measures and upper bounds for satisfiability and related problems. PhD thesis, Link\u00f6ping University, Sweden (2007)"},{"issue":"1","key":"986_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s00453-008-9199-6","volume":"57","author":"H Fernau","year":"2010","unstructured":"Fernau, H.: A top-down approach to search-trees: Improved algorithmics for 3-hitting set. Algorithmica 57(1), 97\u2013118 (2010). https:\/\/doi.org\/10.1007\/s00453-008-9199-6","journal-title":"Algorithmica"},{"issue":"7\u20139","key":"986_CR11","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.tcs.2009.11.012","volume":"411","author":"FV Fomin","year":"2010","unstructured":"Fomin, F.V., Gaspers, S., Kratsch, D., Liedloff, M., Saurabh, S.: Iterative compression and exact algorithms. Theor. Comput. Sci. 411(7\u20139), 1045\u20131053 (2010). https:\/\/doi.org\/10.1016\/j.tcs.2009.11.012","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"986_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S1570-8667(03)00009-1","volume":"1","author":"R Niedermeier","year":"2003","unstructured":"Niedermeier, R., Rossmanith, P.: An Efficient Fixed-Parameter Algorithm for 3-Hitting Set. Journal of Discrete Algorithms 1(1), 89\u2013102 (2003). https:\/\/doi.org\/10.1016\/S1570-8667(03)00009-1","journal-title":"Journal of Discrete Algorithms"},{"key":"986_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2020.105998","volume":"163","author":"R van Bevern","year":"2020","unstructured":"van Bevern, R., Smirnov, P.V.: Optimal-size problem kernels for d-hitting set in linear time and space. Information Processing Letters 163, 105998 (2020). https:\/\/doi.org\/10.1016\/j.ipl.2020.105998","journal-title":"Information Processing Letters"},{"key":"986_CR14","unstructured":"van Bevern, R., Kirilin, A.M., Skachkov, D.A., Smirnov, P.V., Tsidulko, O.Y.: Serial and parallel kernelization of multiple hitting set parameterized by the dilworth number, implemented on the GPU. CoRR abs\/2109.06042 (2021) 2109.06042"},{"issue":"4","key":"986_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3395037","volume":"16","author":"J Alman","year":"2020","unstructured":"Alman, J., Mnich, M., Vassilevska Williams, V.: Dynamic parameterized problems and algorithms. ACM Trans. Algorithms 16(4), 1\u201346 (2020). https:\/\/doi.org\/10.1145\/3395037","journal-title":"ACM Trans. Algorithms"},{"issue":"3","key":"986_CR16","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.tcs.2005.10.004","volume":"351","author":"P Damaschke","year":"2006","unstructured":"Damaschke, P.: Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction. Theoretical Computer Science 351(3), 337\u2013350 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2005.10.004","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"986_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/2629620","volume":"61","author":"H Dell","year":"2014","unstructured":"Dell, H., van Melkebeek, D.: Satisfiability Allows No Nontrivial Sparsification Unless the Polynomial-Time Hierarchy Collapses. Journal of the ACM 61(4), 23\u201312327 (2014). https:\/\/doi.org\/10.1145\/2629620","journal-title":"Journal of the ACM"},{"issue":"1","key":"986_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s00453-013-9774-3","volume":"70","author":"R van Bevern","year":"2014","unstructured":"van Bevern, R.: Towards Optimal and Expressive Kernelization for $$d$$-Hitting Set. Algorithmica 70(1), 129\u2013147 (2014). https:\/\/doi.org\/10.1007\/s00453-013-9774-3","journal-title":"Algorithmica"},{"issue":"3","key":"986_CR19","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1137\/0222038","volume":"22","author":"JF Buss","year":"1993","unstructured":"Buss, J.F., Goldsmith, J.: Nondeterminism Within P. SIAM Journal on Computing 22(3), 560\u2013572 (1993). https:\/\/doi.org\/10.1137\/0222038","journal-title":"SIAM Journal on Computing"},{"issue":"2","key":"986_CR20","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1137\/S0097539797327209","volume":"31","author":"M Henzinger","year":"2001","unstructured":"Henzinger, M., King, V.: Maintaining Minimum Spanning Forests in Dynamic Graphs. SIAM Journal on Computing 31(2), 364\u2013374 (2001). https:\/\/doi.org\/10.1137\/S0097539797327209","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"986_CR21","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/502090.502095","volume":"48","author":"J Holm","year":"2001","unstructured":"Holm, J., de Lichtenberg, K., Thorup, M.: Poly-Logarithmic Deterministic Fully-Dynamic Algorithms for Connectivity, Minimum Spanning Tree, 2-Edge, and Biconnectivity. Journal of the ACM 48(4), 723\u2013760 (2001). https:\/\/doi.org\/10.1145\/502090.502095","journal-title":"Journal of the ACM"},{"key":"986_CR22","doi-asserted-by":"publisher","unstructured":"Bhattacharya, S., Henzinger, M., Italiano, G.F.: Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching. In: Proceedings of the 26th ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4\u20136, 2015, pp. 785\u2013804 (2015). https:\/\/doi.org\/10.1137\/1.9781611973730.54","DOI":"10.1137\/1.9781611973730.54"},{"issue":"2","key":"986_CR23","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/jcss.1997.1520","volume":"55","author":"S Patnaik","year":"1997","unstructured":"Patnaik, S., Immerman, N.: DynFO: A Parallel, Dynamic Complexity Class. Journal of Computer and System Sciences 55(2), 199\u2013209 (1997). https:\/\/doi.org\/10.1006\/jcss.1997.1520","journal-title":"Journal of Computer and System Sciences"},{"issue":"5","key":"986_CR24","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/3212685","volume":"65","author":"S Datta","year":"2018","unstructured":"Datta, S., Kulkarni, R., Mukherjee, A., Schwentick, T., Zeume, T.: Reachability Is in DynFO. Journal of the ACM 65(5), 33\u201313324 (2018). https:\/\/doi.org\/10.1145\/3212685","journal-title":"Journal of the ACM"},{"key":"986_CR25","doi-asserted-by":"publisher","unstructured":"Iwata, Y., Oka, K.: Fast Dynamic Graph Algorithms for Parameterized Problems. In: Proceedings of the 14th Scandinavian Symposium and Workshop on Algorithm Theory, SWAT 2014, Copenhagen, Denmark, July 2\u20134, 2014, pp. 241\u2013252 (2014). https:\/\/doi.org\/10.1007\/978-3-319-08404-6_21","DOI":"10.1007\/978-3-319-08404-6_21"},{"key":"986_CR26","doi-asserted-by":"publisher","unstructured":"Chen, J., Czerwinski, W., Disser, Y., Feldmann, A.E., Hermelin, D., Nadara, W., Pilipczuk, M., Pilipczuk, M., Sorge, M., Wr\u00f3blewski, B., Zych-Pawlewicz, A.: Efficient fully dynamic elimination forests with applications to detecting long paths and cycles. In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10\u201313, 2021, pp. 796\u2013809. SIAM, Virtual Conference (2021). https:\/\/doi.org\/10.1137\/1.9781611976465.50","DOI":"10.1137\/1.9781611976465.50"},{"key":"986_CR27","doi-asserted-by":"publisher","unstructured":"Downey, R.G., Fellows, M.R., Stege, U.: Parameterized complexity: A framework for systematically confronting computational intractability. In: Graham, R.L., Kratochv\u00edl, J., Nesetril, J., Roberts, F.S. (eds.) Contemporary Trends in Discrete Mathematics: From DIMACS and DIMATIA to the Future, Proceedings of a DIMACS Workshop, Stir\u00edn Castle, Czech Republic, May 19\u201325, 1997. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 49, pp. 49\u201399. DIMACS\/AMS, Stir\u00edn Castle (1997). https:\/\/doi.org\/10.1090\/dimacs\/049\/04","DOI":"10.1090\/dimacs\/049\/04"},{"key":"986_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69672-5","volume-title":"Data Structures and Algorithms 1: Sorting and Searching","author":"K Mehlhorn","year":"1984","unstructured":"Mehlhorn, K.: Data Structures and Algorithms 1: Sorting and Searching. EATCS Monographs on Theoretical Computer Science. Springer, Berlin Heidelberg (1984)"},{"issue":"1","key":"986_CR29","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1112\/jlms\/s1-35.1.85","volume":"1","author":"P Erd\u0151s","year":"1960","unstructured":"Erd\u0151s, P., Rado, R.: Intersection Theorems for Systems of Sets. Journal of the London Mathematical Society 1(1), 85\u201390 (1960)","journal-title":"Journal of the London Mathematical Society"},{"issue":"3","key":"986_CR30","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/s00224-019-09941-z","volume":"64","author":"M Bannach","year":"2020","unstructured":"Bannach, M., Tantau, T.: Computing Hitting Set Kernels By AC$$^0$$-Circuits. Theory Comput. Syst. 64(3), 374\u2013399 (2020). https:\/\/doi.org\/10.1007\/s00224-019-09941-z","journal-title":"Theory Comput. Syst."},{"key":"986_CR31","doi-asserted-by":"publisher","unstructured":"van Bevern, R.: Fixed-Parameter Linear-Time Algorithms for NP-hard Graph and Hypergraph Problems Arising in Industrial Applications. Foundations of Computing, vol. 1. Universit\u00e4tsverlag der TU Berlin, Berlin (2014). https:\/\/doi.org\/10.14279\/depositonce-4131","DOI":"10.14279\/depositonce-4131"},{"key":"986_CR32","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jcss.2017.11.001","volume":"93","author":"MR Fellows","year":"2018","unstructured":"Fellows, M.R., Kulik, A., Rosamond, F.A., Shachnai, H.: Parameterized approximation via fidelity preserving transformations. J. Comput. Syst. Sci. 93, 30\u201340 (2018). https:\/\/doi.org\/10.1016\/j.jcss.2017.11.001","journal-title":"J. Comput. Syst. Sci."},{"key":"986_CR33","doi-asserted-by":"publisher","unstructured":"Lokshtanov, D., Panolan, F., Ramanujan, M.S., Saurabh, S.: Lossy kernelization. In: Hatami, H., McKenzie, P., King, V. (eds.) Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19\u201323, 2017, pp. 224\u2013237. ACM, Montreal (2017). https:\/\/doi.org\/10.1145\/3055399.3055456","DOI":"10.1145\/3055399.3055456"}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-00986-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00453-022-00986-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00453-022-00986-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T12:27:33Z","timestamp":1666700853000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00453-022-00986-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,22]]},"references-count":33,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["986"],"URL":"https:\/\/doi.org\/10.1007\/s00453-022-00986-0","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"value":"0178-4617","type":"print"},{"value":"1432-0541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,22]]},"assertion":[{"value":"30 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}