{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T07:36:25Z","timestamp":1783150585967,"version":"3.54.6"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norges Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["314528"],"award-info":[{"award-number":["314528"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100021136","name":"IIT Hyderabad","doi-asserted-by":"crossref","award":["SG\/IITH\/F224\/2020-21\/SG-79"],"award-info":[{"award-number":["SG\/IITH\/F224\/2020-21\/SG-79"]}],"id":[{"id":"10.13039\/100021136","id-type":"DOI","asserted-by":"crossref"}]},{"name":"European Research Council","award":["819416"],"award-info":[{"award-number":["819416"]}]},{"DOI":"10.13039\/501100001409","name":"Department of Science and Technology, Ministry of Science and Technology","doi-asserted-by":"publisher","award":["DST\/SJF\/MSA-01\/2017-18"],"award-info":[{"award-number":["DST\/SJF\/MSA-01\/2017-18"]}],"id":[{"id":"10.13039\/501100001409","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001409","name":"Department of Science and Technology, Ministry of Science and Technology","doi-asserted-by":"publisher","award":["314528"],"award-info":[{"award-number":["314528"]}],"id":[{"id":"10.13039\/501100001409","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems. The input to the <jats:sc>Weighted Diverse Bases<\/jats:sc> problem consists of a matroid <jats:inline-formula><jats:alternatives><jats:tex-math>$$M$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>M<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, a weight function <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\omega :E(M)\\rightarrow \\mathbb {N} $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03c9<\/mml:mi>\n                    <mml:mo>:<\/mml:mo>\n                    <mml:mi>E<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>M<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>N<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, and integers <jats:inline-formula><jats:alternatives><jats:tex-math>$$k\\ge 1, d\\ge 1$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The task is to decide if there is a collection of <jats:inline-formula><jats:alternatives><jats:tex-math>$$k$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>k<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:italic>bases<\/jats:italic><jats:inline-formula><jats:alternatives><jats:tex-math>$$B_{1}, \\dotsc , B_{k}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mi>B<\/mml:mi>\n                      <mml:mn>1<\/mml:mn>\n                    <\/mml:msub>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mo>\u22ef<\/mml:mo>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>B<\/mml:mi>\n                      <mml:mi>k<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> of <jats:inline-formula><jats:alternatives><jats:tex-math>$$M$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>M<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> such that the weight of the symmetric difference of any pair of these bases is at least <jats:inline-formula><jats:alternatives><jats:tex-math>$$d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>d<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The input to the <jats:sc>Weighted Diverse Common Independent Sets<\/jats:sc> problem consists of two matroids <jats:inline-formula><jats:alternatives><jats:tex-math>$$M_{1},M_{2}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mi>M<\/mml:mi>\n                      <mml:mn>1<\/mml:mn>\n                    <\/mml:msub>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>M<\/mml:mi>\n                      <mml:mn>2<\/mml:mn>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> defined on the same ground set <jats:inline-formula><jats:alternatives><jats:tex-math>$$E$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>E<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, a weight function <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\omega :E\\rightarrow \\mathbb {N} $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03c9<\/mml:mi>\n                    <mml:mo>:<\/mml:mo>\n                    <mml:mi>E<\/mml:mi>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>N<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, and integers <jats:inline-formula><jats:alternatives><jats:tex-math>$$k\\ge 1, d\\ge 1$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The task is to decide if there is a collection of <jats:inline-formula><jats:alternatives><jats:tex-math>$$k$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>k<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:italic>common independent sets<\/jats:italic><jats:inline-formula><jats:alternatives><jats:tex-math>$$I_{1}, \\dotsc , I_{k}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mi>I<\/mml:mi>\n                      <mml:mn>1<\/mml:mn>\n                    <\/mml:msub>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mo>\u22ef<\/mml:mo>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>I<\/mml:mi>\n                      <mml:mi>k<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> of <jats:inline-formula><jats:alternatives><jats:tex-math>$$M_{1}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>M<\/mml:mi>\n                    <mml:mn>1<\/mml:mn>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:tex-math>$$M_{2}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>M<\/mml:mi>\n                    <mml:mn>2<\/mml:mn>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> such that the weight of the symmetric difference of any pair of these sets is at least <jats:inline-formula><jats:alternatives><jats:tex-math>$$d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>d<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The input to the <jats:sc>Diverse Perfect Matchings<\/jats:sc> problem consists of a graph <jats:inline-formula><jats:alternatives><jats:tex-math>$$G$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>G<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> and integers <jats:inline-formula><jats:alternatives><jats:tex-math>$$k\\ge 1, d\\ge 1$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>k<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mi>d<\/mml:mi>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. The task is to decide if <jats:inline-formula><jats:alternatives><jats:tex-math>$$G$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>G<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> contains <jats:inline-formula><jats:alternatives><jats:tex-math>$$k$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>k<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:italic>perfect matchings<\/jats:italic><jats:inline-formula><jats:alternatives><jats:tex-math>$$M_{1},\\dotsc ,M_{k}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mi>M<\/mml:mi>\n                      <mml:mn>1<\/mml:mn>\n                    <\/mml:msub>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mo>\u22ef<\/mml:mo>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>M<\/mml:mi>\n                      <mml:mi>k<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> such that the symmetric difference of any two of these matchings is at least <jats:inline-formula><jats:alternatives><jats:tex-math>$$d$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>d<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. We show that none of these problems can be solved in polynomial time unless <jats:inline-formula><jats:alternatives><jats:tex-math>$${{\\,\\mathrm{\\textsf{P}}\\,}} ={{\\,\\mathrm{\\textsf{NP}}\\,}} $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mrow>\n                      <mml:mspace\/>\n                      <mml:mi>P<\/mml:mi>\n                      <mml:mspace\/>\n                    <\/mml:mrow>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:mrow>\n                      <mml:mspace\/>\n                      <mml:mi>NP<\/mml:mi>\n                      <mml:mspace\/>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. We derive fixed-parameter tractable (<jats:inline-formula><jats:alternatives><jats:tex-math>$${{\\,\\mathrm{\\textsf{FPT}}\\,}}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mspace\/>\n                    <mml:mi>FPT<\/mml:mi>\n                    <mml:mspace\/>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>) algorithms for all three problems with <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:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>k<\/mml:mi>\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> as the parameter, and present a <jats:inline-formula><jats:alternatives><jats:tex-math>$$poly(k,d)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>p<\/mml:mi>\n                    <mml:mi>o<\/mml:mi>\n                    <mml:mi>l<\/mml:mi>\n                    <mml:mi>y<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>k<\/mml:mi>\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>-sized kernel for <jats:sc>Weighted Diverse Bases<\/jats:sc>.\n<\/jats:p>","DOI":"10.1007\/s10107-023-01959-z","type":"journal-article","created":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T11:02:02Z","timestamp":1681556522000},"page":"415-447","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Diverse collections in matroids and graphs"],"prefix":"10.1007","volume":"204","author":[{"given":"Fedor V.","family":"Fomin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2619-2990","authenticated-orcid":false,"given":"Petr A.","family":"Golovach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fahad","family":"Panolan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Geevarghese","family":"Philip","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saket","family":"Saurabh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,4,15]]},"reference":[{"key":"1959_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103644","volume":"303","author":"J Baste","year":"2022","unstructured":"Baste, J., Fellows, M.R., Jaffke, L., Masar\u00edk, T., de Oliveira Oliveira, M., Philip, G., Rosamond, F.A.: Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory. Artif. Intell. 303, 103644 (2022). https:\/\/doi.org\/10.1016\/j.artint.2021.103644","journal-title":"Artif. Intell."},{"issue":"12","key":"1959_CR2","doi-asserted-by":"publisher","first-page":"254","DOI":"10.3390\/a12120254","volume":"12","author":"J Baste","year":"2019","unstructured":"Baste, J., Jaffke, L., Masa\u0159\u00edk, T., Philip, G., Rote, G.: FPT algorithms for diverse collections of hitting sets. Algorithms 12(12), 254 (2019)","journal-title":"Algorithms"},{"issue":"1","key":"1959_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10107-020-01497-y","volume":"188","author":"K B\u00e9rczi","year":"2021","unstructured":"B\u00e9rczi, K., Schwarcz, T.: Complexity of packing common bases in matroids. Math. Program. 188(1), 1\u201318 (2021). https:\/\/doi.org\/10.1007\/s10107-020-01497-y","journal-title":"Math. Program."},{"issue":"4","key":"1959_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2022.113297","volume":"346","author":"K B\u00e9rczi","year":"2023","unstructured":"B\u00e9rczi, K., Cs\u00e1ji, G., Kir\u00e1ly, T.: On the complexity of packing rainbow spanning trees. Discrete Math. 346(4), 113297 (2023)","journal-title":"Discrete Math."},{"issue":"1","key":"1959_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01294456","volume":"15","author":"CJ Colbourn","year":"1995","unstructured":"Colbourn, C.J., Provan, J.S., Vertigan, D.: The complexity of computing the Tutte polynomial on transversal matroids. Combinatorica 15(1), 1\u201310 (1995). https:\/\/doi.org\/10.1007\/BF01294456","journal-title":"Combinatorica"},{"key":"1959_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21275-3","volume-title":"Parameterized Algorithms","author":"M Cygan","year":"2015","unstructured":"Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms, 1st edn. Springer Publishing Company, Incorporated (2015)","edition":"1"},{"key":"1959_CR7","doi-asserted-by":"publisher","unstructured":"Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. Texts in Computer Science. Springer (2013). https:\/\/doi.org\/10.1007\/978-1-4471-5559-1","DOI":"10.1007\/978-1-4471-5559-1"},{"key":"1959_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.6028\/jres.069B.005","volume":"69","author":"J Edmonds","year":"1965","unstructured":"Edmonds, J.: Lehman\u2019s switching game and a theorem of Tutte and Nash-Williams. J. Res. Nat. Bur. Standards Sect. B 69, 73\u201377 (1965)","journal-title":"J. Res. Nat. Bur. Standards Sect. B"},{"key":"1959_CR9","unstructured":"Edmonds, J.: Submodular functions, matroids, and certain polyhedra. In: Combinatorial Structures and their Applications (Proc. Calgary Internat. Conf., Calgary, Alta., 1969), pp. 69\u201387. Gordon and Breach, New York (1970)"},{"issue":"1","key":"1959_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01584082","volume":"1","author":"J Edmonds","year":"1971","unstructured":"Edmonds, J.: Matroids and the greedy algorithm. Math. Program. 1(1), 127\u2013136 (1971). https:\/\/doi.org\/10.1007\/BF01584082","journal-title":"Math. Program."},{"key":"1959_CR11","unstructured":"Fellows, M.R.: The diverse X paradigm (2018). Manuscript"},{"key":"1959_CR12","doi-asserted-by":"publisher","unstructured":"Fomin, F.V., Golovach, P.A., Jaffke, L., Philip, G., Sagunov, D.: Diverse pairs of matchings. In: Y.\u00a0Cao, S.\u00a0Cheng, M.\u00a0Li (eds.) 31st International Symposium on Algorithms and Computation, ISAAC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference), LIPIcs, vol. 181, pp. 26:1\u201326:12. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPIcs.ISAAC.2020.26","DOI":"10.4230\/LIPIcs.ISAAC.2020.26"},{"key":"1959_CR13","doi-asserted-by":"publisher","unstructured":"Fomin, F.V., Golovach, P.A., Panolan, F., Philip, G., Saurabh, S.: Diverse Collections in Matroids and Graphs. In: M.\u00a0Bl\u00e4ser, B.\u00a0Monmege (eds.) 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), Leibniz International Proceedings in Informatics (LIPIcs), vol. 187, pp. 31:1\u201331:14. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2021). https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2021.31. https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2021\/13676","DOI":"10.4230\/LIPIcs.STACS.2021.31"},{"key":"1959_CR14","doi-asserted-by":"publisher","unstructured":"Fomin, F.V., Lokshtanov, D., Saurabh, S., Zehavi, M.: Kernelization: Theory of Parameterized Preprocessing. Cambridge University Press (2019). https:\/\/doi.org\/10.1017\/9781107415157","DOI":"10.1017\/9781107415157"},{"issue":"4","key":"1959_CR15","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0196-6774(81)90032-8","volume":"2","author":"A Frank","year":"1981","unstructured":"Frank, A.: A weighted matroid intersection algorithm. J. Algorithms 2(4), 328\u2013336 (1981). https:\/\/doi.org\/10.1016\/0196-6774(81)90032-8","journal-title":"J. Algorithms"},{"key":"1959_CR16","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, W. H (1979)"},{"issue":"3","key":"1959_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1017\/S0963548305007327","volume":"15","author":"O Gim\u00e9nez","year":"2006","unstructured":"Gim\u00e9nez, O., Noy, M.: On the complexity of computing the Tutte polynomial of bicircular matroids. Combin. Probab. Comput. 15(3), 385\u2013395 (2006). https:\/\/doi.org\/10.1017\/S0963548305007327","journal-title":"Combin. Probab. Comput."},{"key":"1959_CR18","unstructured":"Hanaka, T., Kobayashi, Y., Kurita, K., Otachi, Y.: Finding diverse trees, paths, and more (2020). Preprint on arXiv at arxiv:2009.03687"},{"issue":"4","key":"1959_CR19","doi-asserted-by":"publisher","first-page":"1792","DOI":"10.1137\/100815232","volume":"25","author":"NJA Harvey","year":"2011","unstructured":"Harvey, N.J.A., Kir\u00e1ly, T., Lau, L.C.: On disjoint common bases in two matroids. SIAM J. Discret. Math. 25(4), 1792\u20131803 (2011). https:\/\/doi.org\/10.1137\/100815232","journal-title":"SIAM J. Discret. Math."},{"issue":"4","key":"1959_CR20","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1137\/0210055","volume":"10","author":"I Holyer","year":"1981","unstructured":"Holyer, I.: The NP-completeness of edge-coloring. SIAM J. Comput. 10(4), 718\u2013720 (1981)","journal-title":"SIAM J. Comput."},{"key":"1959_CR21","unstructured":"H\u00f6rsch, F., Kaiser, T., Kriesell, M.: Rainbow bases in matroids (2022). arxiv:2206.10322"},{"key":"1959_CR22","unstructured":"Oxley, J.G.: Matroid theory. Oxford University Press (1992)"},{"key":"1959_CR23","unstructured":"Schrijver, A.: Combinatorial optimization: polyhedra and efficiency, vol.\u00a024. Springer Science & Business Media (2003)"},{"issue":"4","key":"1959_CR24","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/322217.322225","volume":"27","author":"JT Schwartz","year":"1980","unstructured":"Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomial identities. J. ACM 27(4), 701\u2013717 (1980). https:\/\/doi.org\/10.1145\/322217.322225","journal-title":"J. ACM"},{"issue":"2","key":"1959_CR25","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0304-3975(79)90044-6","volume":"8","author":"LG Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of computing the permanent. Theor. Comput. Sci. 8(2), 189\u2013201 (1979)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"1959_CR26","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1006\/jctb.1998.1860","volume":"74","author":"D Vertigan","year":"1998","unstructured":"Vertigan, D.: Bicycle dimension and special points of the Tutte polynomial. J. Combin. Theory Ser. B 74(2), 378\u2013396 (1998). https:\/\/doi.org\/10.1006\/jctb.1998.1860","journal-title":"J. Combin. Theory Ser. B"},{"key":"1959_CR27","doi-asserted-by":"publisher","unstructured":"Wahlstr\u00f6m, M.: Abusing the Tutte matrix: An algebraic instance compression for the $$K$$-set-cycle problem. In: N.\u00a0Portier, T.\u00a0Wilke (eds.) 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany, LIPIcs, vol.\u00a020, pp. 341\u2013352. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2013). https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2013.341","DOI":"10.4230\/LIPIcs.STACS.2013.341"},{"key":"1959_CR28","doi-asserted-by":"crossref","unstructured":"Zippel, R.: Probabilistic algorithms for sparse polynomials. In: Proceedings of the International Symposiumon on Symbolic and Algebraic Computation, EUROSAM \u201979, p. 216-226. Springer-Verlag, Berlin, Heidelberg (1979)","DOI":"10.1007\/3-540-09519-5_73"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-023-01959-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10107-023-01959-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-023-01959-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T21:31:57Z","timestamp":1708032717000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10107-023-01959-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,15]]},"references-count":28,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["1959"],"URL":"https:\/\/doi.org\/10.1007\/s10107-023-01959-z","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,15]]},"assertion":[{"value":"15 January 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}