{"id":"https://openalex.org/W7164054444","doi":"https://doi.org/10.1145/3798129.3800747","title":"Path Cover, Hamiltonicity, and Independence Number: An FPT Perspective","display_name":"Path Cover, Hamiltonicity, and Independence Number: An FPT Perspective","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W7164054444","doi":"https://doi.org/10.1145/3798129.3800747"},"language":null,"primary_location":{"id":"doi:10.1145/3798129.3800747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800747","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3798129.3800747","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138202258","display_name":"Fedor V. Fomin","orcid":"https://orcid.org/0000-0003-1955-4612"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Fedor V. Fomin","raw_affiliation_strings":["University of Bergen, Bergen, Norway"],"raw_orcid":"https://orcid.org/0000-0003-1955-4612","affiliations":[{"raw_affiliation_string":"University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138208137","display_name":"Petr A. Golovach","orcid":"https://orcid.org/0000-0002-2619-2990"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Petr A. Golovach","raw_affiliation_strings":["University of Bergen, Bergen, Norway"],"raw_orcid":"https://orcid.org/0000-0002-2619-2990","affiliations":[{"raw_affiliation_string":"University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027289651","display_name":"Nikola Jedli\u010dkov\u00e1","orcid":"https://orcid.org/0000-0001-9518-6386"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Nikola Jedli\u010dkov\u00e1","raw_affiliation_strings":["Charles University, Prague, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0001-9518-6386","affiliations":[{"raw_affiliation_string":"Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066646775","display_name":"Jan Kratochv\u0131\u0301l","orcid":"https://orcid.org/0000-0002-2620-6133"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Kratochv\u00edl","raw_affiliation_strings":["Charles University, Prague, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-2620-6133","affiliations":[{"raw_affiliation_string":"Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021164153","display_name":"Danil Sagunov","orcid":"https://orcid.org/0000-0003-3327-9768"},"institutions":[{"id":"https://openalex.org/I172901346","display_name":"St Petersburg University","ror":"https://ror.org/023znxa73","country_code":"RU","type":"education","lineage":["https://openalex.org/I172901346"]},{"id":"https://openalex.org/I2800906181","display_name":"St. Petersburg Department of Steklov Institute of Mathematics","ror":"https://ror.org/030h9s280","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2800906181","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Danil Sagunov","raw_affiliation_strings":["St. Petersburg Department of V.A.Steklov Mathematical Institute of the Russian Academy of Sciences, St. Petersburg, Russian Federation","St. Petersburg State University, St. Petersburg, Russian Federation"],"raw_orcid":"https://orcid.org/0000-0003-3327-9768","affiliations":[{"raw_affiliation_string":"St. Petersburg Department of V.A.Steklov Mathematical Institute of the Russian Academy of Sciences, St. Petersburg, Russian Federation","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I2800906181"]},{"raw_affiliation_string":"St. Petersburg State University, St. Petersburg, Russian Federation","institution_ids":["https://openalex.org/I172901346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5138275187","display_name":"Kirill Simonov","orcid":"https://orcid.org/0000-0001-9436-7310"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Kirill Simonov","raw_affiliation_strings":["University of Bergen, Bergen, Norway"],"raw_orcid":"https://orcid.org/0000-0001-9436-7310","affiliations":[{"raw_affiliation_string":"University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.96786271,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"276","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0949999988079071,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0949999988079071,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.05820000171661377,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.05790000036358833,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6133000254631042},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.517300009727478},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.47380000352859497},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.3147999942302704},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.31279999017715454},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.27309998869895935}],"concepts":[{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6133000254631042},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.47380000352859497},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46970000863075256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39959999918937683},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34709998965263367},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29120001196861267},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28999999165534973},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27410000562667847},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3798129.3800747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800747","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3798129.3800747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800747","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6657652238","display_name":null,"funder_award_id":"101199930","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W131845759","https://openalex.org/W1484040084","https://openalex.org/W1572898177","https://openalex.org/W1575411448","https://openalex.org/W1852383912","https://openalex.org/W1965012931","https://openalex.org/W1967350548","https://openalex.org/W1968952709","https://openalex.org/W1969592750","https://openalex.org/W1969919767","https://openalex.org/W1978041641","https://openalex.org/W1981468140","https://openalex.org/W1988500978","https://openalex.org/W1992976178","https://openalex.org/W2008444606","https://openalex.org/W2013194273","https://openalex.org/W2018575973","https://openalex.org/W2019624146","https://openalex.org/W2028363955","https://openalex.org/W2029448190","https://openalex.org/W2052982152","https://openalex.org/W2053623386","https://openalex.org/W2059273723","https://openalex.org/W2059372025","https://openalex.org/W2069905179","https://openalex.org/W2071598117","https://openalex.org/W2076025721","https://openalex.org/W2087818742","https://openalex.org/W2089158353","https://openalex.org/W2089894925","https://openalex.org/W2101464558","https://openalex.org/W2120141762","https://openalex.org/W2127678406","https://openalex.org/W2132624129","https://openalex.org/W2152809035","https://openalex.org/W2161806016","https://openalex.org/W2166115470","https://openalex.org/W2180988813","https://openalex.org/W2254574817","https://openalex.org/W2296148711","https://openalex.org/W2471129545","https://openalex.org/W2800485060","https://openalex.org/W2900958825","https://openalex.org/W2908098494","https://openalex.org/W2952190520","https://openalex.org/W2952307946","https://openalex.org/W2963264341","https://openalex.org/W2964052962","https://openalex.org/W2964266750","https://openalex.org/W3003628548","https://openalex.org/W3035318934","https://openalex.org/W3135579236","https://openalex.org/W3139078859","https://openalex.org/W4200477517","https://openalex.org/W4205112410","https://openalex.org/W4210959657","https://openalex.org/W4220653067","https://openalex.org/W4232298842","https://openalex.org/W4241342922","https://openalex.org/W4254807835","https://openalex.org/W4288055121","https://openalex.org/W4316652456","https://openalex.org/W4388554541","https://openalex.org/W4399888761","https://openalex.org/W4403902428","https://openalex.org/W4414321043","https://openalex.org/W7110874618"],"related_works":[],"abstract_inverted_index":{"The":[0,29,63,265,296,477],"classic":[1],"theorem":[2,18,23,30,68,91,152,305],"of":[3,40,57,65,80,109,149,185,204,237,244,255,267,287,298,302,316,341,375,405,417],"Gallai":[4],"and":[5,21,71,166,179,230,272,308,387],"Milgram":[6],"(1960)":[7],"generalizes":[8],"several":[9,311],"fundamental":[10],"results":[11],"in":[12,26,61,136,174,227,320,377,419,432,451,460],"Graph":[13],"Theory,":[14],"such":[15,256,440],"as":[16,441,484],"Dilworth\u2019s":[17],"on":[19,24,310,436],"posets":[20],"K\u0151nig\u2019s":[22],"matchings":[25],"bipartite":[27],"graphs.":[28],"asserts":[31],"that":[32,76,193,210,393,479],"for":[33,153,161,220,261,330,350,356,487],"every":[34],"graph":[35,122,164],"G,":[36,238],"the":[37,54,66,89,106,145,150,253,262,294,303,317,365,402,406,409,414,433,485],"vertex":[38,107,444],"set":[39,60,108,203,276],"G":[41,81,123,165,186,333],"can":[42,133,454,481],"be":[43,125,134,455],"partitioned":[44],"into":[45],"at":[46,83,213,246,361],"most":[47,84,214,247,362,429,447],"\u03b1(G)":[48,52,85,100,130,215,248,423,468],"vertex-disjoint":[49,86,131],"paths,":[50,101],"where":[51,96],"is":[53,69,92,157,195,306,323,340,469,490],"maximum":[55,274],"size":[56,205,245],"an":[58,158,162,167,201,257,324],"independent":[59,202,275,342],"G.":[62],"proof":[64,297],"Gallai-Milgram":[67,90],"constructive":[70],"yields":[72],"a":[73,78,121,181,190,196,233,241,269,273,335,372,425],"polynomial-time":[74,348],"algorithm":[75,159,225,258,283,322,349],"computes":[77,232],"covering":[79],"by":[82,127,143,328,401],"paths.":[87,218],"While":[88],"tight\u2014there":[93],"are":[94,277,397],"graphs":[95,357],"one":[97,286],"really":[98],"needs":[99],"not":[102,112],"fewer,":[103],"to":[104,115,344,371],"cover":[105,183,199,236,243,271],"G\u2014it":[110],"was":[111,353],"known":[113],"prior":[114,430],"our":[116,224,282,299,321,345],"work":[117,431],"whether":[118,332],"deciding":[119,331,351],"if":[120],"could":[124],"covered":[126],"fewer":[128],"than":[129],"paths":[132],"done":[135],"polynomial":[137,228,461],"time.":[138],"We":[139,251,391],"resolve":[140],"this":[141],"question":[142],"proving":[144],"following":[146,263],"algorithmic":[147,300,313,366],"extension":[148,301],"Gallai\u2013Milgram":[151,304],"undirected":[154,378],"graphs:":[155],"There":[156],"that,":[160],"n-vertex":[163],"integer":[168],"parameter":[169],"k":[170,217,221],"\u2265":[171],"1,":[172],"runs":[173,226],"time":[175],"22O(k4logk)":[176],"\u00b7":[177],"nO(1)":[178],"outputs":[180],"path":[182,198,235,242,270],"P":[184,194,211],"together":[187],"with":[188,358],"either":[189,231,284],"correct":[191],"conclusion":[192],"minimum-size":[197,234],"or":[200,239,289,443,458,462],"|P|":[206],"+":[207],"k,":[208],"certifying":[209],"contains":[212,334],"\u2212":[216,249],"Thus,":[219],"\u2208":[222],"O((loglogn)1/4\u2212\u03b5)":[223],"time,":[229,465],"finds":[240],"k.":[250],"find":[252],"existence":[254],"quite":[259],"surprising":[260],"reason.":[264],"problems":[266,376,396],"computing":[268,467],"both":[278],"notoriously":[279,470],"hard,":[280],"yet":[281],"solves":[285],"them":[288],"provides":[290],"meaningful":[291],"information":[292],"about":[293],"other.":[295],"non-trivial":[307],"builds":[309],"novel":[312],"ideas.":[314],"One":[315],"key":[318],"subroutines":[319],"FPT":[325,398,464],"algorithm,":[326],"parameterized":[327,400,420,452],"\u03b1(G),":[329],"Hamiltonian":[336,381],"path.":[337],"This":[338],"result":[339],"interest\u2014prior":[343],"work,":[346],"no":[347],"Hamiltonicity":[352],"known,":[354],"even":[355,463],"independence":[359,403],"number":[360,404],"three.":[363],"Moreover,":[364],"techniques":[367],"we":[368],"develop":[369],"apply":[370],"wide":[373],"array":[374],"graphs,":[379],"including":[380],"Cycle,":[382],"Path":[383],"Cover,":[384],"Largest":[385],"Linkage,":[386],"Topological":[388],"Minor":[389],"Containment.":[390],"show":[392],"all":[394],"these":[395],"when":[399],"graph.":[407],"Notably,":[408],"independence-number":[410],"parameterization":[411,489],"departs":[412],"from":[413,472],"typical":[415],"direction":[416],"research":[418],"complexity.":[421],"First,":[422],"measures":[424],"graph\u2019s":[426],"density,":[427],"whereas":[428,466],"area":[434],"focuses":[435],"parameters":[437,449],"describing":[438],"sparsity,":[439],"treewidth":[442],"cover.":[445],"Second,":[446],"structural":[448],"studied":[450],"complexity":[453],"computed":[456],"exactly":[457],"well-approximated":[459],"difficult":[471],"almost":[473],"any":[474],"computational":[475],"perspective.":[476],"fact":[478],"it":[480],"nevertheless":[482],"serve":[483],"basis":[486],"efficient":[488],"particularly":[491],"striking.":[492]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-06-10T00:00:00"}