{"id":"https://openalex.org/W7164043743","doi":"https://doi.org/10.1145/3798129.3800927","title":"Fine-Grained Bounds for Courcelle\u2019s Theorem","display_name":"Fine-Grained Bounds for Courcelle\u2019s Theorem","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W7164043743","doi":"https://doi.org/10.1145/3798129.3800927"},"language":null,"primary_location":{"id":"doi:10.1145/3798129.3800927","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800927","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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3798129.3800927","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038531405","display_name":"Daniel Lokshtanov","orcid":"https://orcid.org/0000-0002-3166-9212"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Lokshtanov","raw_affiliation_strings":["University of California Santa Barbara, Department of Computer Science, Santa Barbara, USA"],"raw_orcid":"https://orcid.org/0000-0002-3166-9212","affiliations":[{"raw_affiliation_string":"University of California Santa Barbara, Department of Computer Science, Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060986039","display_name":"Fahad Panolan","orcid":"https://orcid.org/0000-0001-6213-8687"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fahad Panolan","raw_affiliation_strings":["University of Leeds, School of Computer Science, Leeds, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6213-8687","affiliations":[{"raw_affiliation_string":"University of Leeds, School of Computer Science, Leeds, United Kingdom","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138232605","display_name":"Saket Saurabh","orcid":"https://orcid.org/0000-0001-7847-6402"},"institutions":[{"id":"https://openalex.org/I59611059","display_name":"Institute of Mathematical Sciences","ror":"https://ror.org/05078rg59","country_code":"IN","type":"facility","lineage":["https://openalex.org/I59611059"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Saket Saurabh","raw_affiliation_strings":["Institute of Mathematical Sciences, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0001-7847-6402","affiliations":[{"raw_affiliation_string":"Institute of Mathematical Sciences, Chennai, India","institution_ids":["https://openalex.org/I59611059"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101269310","display_name":"Jie Xue","orcid":"https://orcid.org/0000-0002-5056-6526"},"institutions":[{"id":"https://openalex.org/I258800397","display_name":"New York University Shanghai","ror":"https://ror.org/02vpsdb40","country_code":"CN","type":"education","lineage":["https://openalex.org/I258800397","https://openalex.org/I57206974"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Xue","raw_affiliation_strings":["New York University Shanghai, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-7015-1988","affiliations":[{"raw_affiliation_string":"New York University Shanghai, Shanghai, China","institution_ids":["https://openalex.org/I258800397"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082025487","display_name":"Meirav Zehavi","orcid":"https://orcid.org/0000-0002-3636-5322"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Meirav Zehavi","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beersheba, Israel"],"raw_orcid":"https://orcid.org/0000-0002-3636-5322","affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beersheba, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2254","last_page":"2265"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10884","display_name":"Holomorphic and Operator Theory","score":0.10329999774694443,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T10884","display_name":"Holomorphic and Operator Theory","score":0.10329999774694443,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11822","display_name":"Analytic and geometric function theory","score":0.09560000151395798,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10229","display_name":"Geometric Analysis and Curvature Flows","score":0.08590000122785568,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.7239000201225281},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5630999803543091},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.44279998540878296},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42089998722076416},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4066999852657318},{"id":"https://openalex.org/keywords/tower","display_name":"Tower","score":0.39980000257492065},{"id":"https://openalex.org/keywords/exponential-polynomial","display_name":"Exponential polynomial","score":0.3905999958515167},{"id":"https://openalex.org/keywords/exponential-growth","display_name":"Exponential growth","score":0.3847000002861023},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.383899986743927}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8963000178337097},{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.7239000201225281},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5738999843597412},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5630999803543091},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5382999777793884},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.44279998540878296},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42089998722076416},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4066999852657318},{"id":"https://openalex.org/C2777831296","wikidata":"https://www.wikidata.org/wiki/Q12518","display_name":"Tower","level":2,"score":0.39980000257492065},{"id":"https://openalex.org/C85384003","wikidata":"https://www.wikidata.org/wiki/Q5421525","display_name":"Exponential polynomial","level":3,"score":0.3905999958515167},{"id":"https://openalex.org/C75235859","wikidata":"https://www.wikidata.org/wiki/Q582659","display_name":"Exponential growth","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.383899986743927},{"id":"https://openalex.org/C71017364","wikidata":"https://www.wikidata.org/wiki/Q5421532","display_name":"Exponential time hypothesis","level":3,"score":0.3765000104904175},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.35740000009536743},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.35249999165534973},{"id":"https://openalex.org/C49016629","wikidata":"https://www.wikidata.org/wiki/Q3075235","display_name":"Double exponential function","level":3,"score":0.35010001063346863},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.31790000200271606},{"id":"https://openalex.org/C70501317","wikidata":"https://www.wikidata.org/wiki/Q462095","display_name":"Tree decomposition","level":5,"score":0.3158000111579895},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C2779844894","wikidata":"https://www.wikidata.org/wiki/Q5421516","display_name":"Exponential dichotomy","level":3,"score":0.2750000059604645},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.25290000438690186},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3798129.3800927","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800927","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.3800927","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800927","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/G5355697469","display_name":null,"funder_award_id":"819416","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":22,"referenced_works":["https://openalex.org/W1983860528","https://openalex.org/W1996472240","https://openalex.org/W2028357390","https://openalex.org/W2042861896","https://openalex.org/W2066585576","https://openalex.org/W2132914818","https://openalex.org/W2142055019","https://openalex.org/W2216410579","https://openalex.org/W2313886575","https://openalex.org/W2776132419","https://openalex.org/W2800485060","https://openalex.org/W2803460775","https://openalex.org/W2950987206","https://openalex.org/W2952680644","https://openalex.org/W2964157411","https://openalex.org/W3172217870","https://openalex.org/W4230551286","https://openalex.org/W4316652445","https://openalex.org/W4399889290","https://openalex.org/W4404431431","https://openalex.org/W6929298676","https://openalex.org/W6966497141"],"related_works":[],"abstract_inverted_index":{"Courcelle\u2019s":[0,138,149],"theorem":[1,150],"states":[2],"that":[3,8,39],"there":[4,93,108],"exists":[5],"an":[6],"algorithm":[7],"takes":[9],"as":[10,51],"input":[11,63],"a":[12,21,44,52,96,111,114,118,129,145],"graph":[13],"G":[14,28],"of":[15,46,55,58,61,69,84,87,137,148,164,169],"treewidth":[16,157],"at":[17],"most":[18],"t":[19,159],"and":[20,25,71,102,117,160,172],"MSO":[22],"formula":[23,64],"\u03c6,":[24],"determines":[26],"whether":[27],"satisfies":[29],"\u03c6":[30,165],"in":[31,133,176],"time":[32,135],"f(\u03c6,t)":[33],"\u00b7":[34],"n.":[35],"It":[36],"is":[37,90,94,109],"folklore":[38],"the":[40,56,62,76,81,85,88,134,156,161,167],"function":[41,54],"f":[42],"contains":[43],"tower":[45,89],"exponentials":[47],"whose":[48],"height":[49,86],"depends":[50],"linear":[53,82],"number":[57,168],"quantifier":[59,162,178],"alternations":[60],"\u03c6.":[65],"A":[66],"classic":[67],"reduction":[68],"Frick":[70],"Grohe":[72],"shows":[73],"that,":[74],"assuming":[75],"Exponential":[77],"Time":[78],"Hypothesis":[79],"(ETH),":[80],"growth":[83],"unavoidable.":[91],"Nevertheless,":[92],"still":[95],"huge":[97],"gap":[98],"between":[99,113],"existing":[100],"upper":[101],"lower":[103],"bounds":[104],"\u2013":[105],"after":[106],"all,":[107],"quite":[110],"difference":[112],"single":[115],"exponential":[116,120],"double":[119],"running":[121],"time.":[122],"In":[123,140],"addition,":[124],"this":[125,141],"only":[126],"gives":[127],"us":[128],"very":[130],"coarse":[131],"understanding":[132],"complexity":[136],"theorem.":[139],"paper,":[142],"we":[143],"prove":[144],"fine-grained":[146],"version":[147],"with":[151],"nearly":[152],"ETH-tight":[153],"dependence":[154],"on":[155],"parameter":[158],"structure":[163],"(specifically,":[166],"first":[170],"order":[171,174],"second":[173],"variables":[175],"each":[177],"alternation":[179],"block).":[180]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-06-10T00:00:00"}