{"id":"https://openalex.org/W4413830814","doi":"https://doi.org/10.1145/3762178","title":"Coverability in VASS Revisited: Improving Rackoff\u2019s Bounds to Obtain Conditional Optimality","display_name":"Coverability in VASS Revisited: Improving Rackoff\u2019s Bounds to Obtain Conditional Optimality","publication_year":2025,"publication_date":"2025-08-29","ids":{"openalex":"https://openalex.org/W4413830814","doi":"https://doi.org/10.1145/3762178"},"language":"en","primary_location":{"id":"doi:10.1145/3762178","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762178","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762178","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3762178","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088790846","display_name":"Marvin K\u00fcnnemann","orcid":"https://orcid.org/0000-0003-4813-4852"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marvin K\u00fcnnemann","raw_affiliation_strings":["Karlsruhe Institute of Technology","Karlsruhe Institute of Technology, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004165473","display_name":"Filip Mazowiecki","orcid":"https://orcid.org/0000-0002-4535-6508"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Filip Mazowiecki","raw_affiliation_strings":["University of Warsaw","University of Warsaw, Warszawa, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"University of Warsaw, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049169897","display_name":"Lia Sch\u00fctze","orcid":"https://orcid.org/0000-0003-4002-5491"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lia Sch\u00fctze","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS)","Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS)","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054654967","display_name":"Henry Sinclair-Banks","orcid":"https://orcid.org/0000-0003-1653-4069"},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["GB","PL"],"is_corresponding":false,"raw_author_name":"Henry Sinclair-Banks","raw_affiliation_strings":["Department of Computer Science, University of Warwick","Mathematics, Informatics and Mechanics, University of Warsaw","Mathematics, Informatics and Mechanics, University of Warsaw, Warszawa Poland","Department of Computer Science, University of Warwick, Coventry United Kingdom of Great Britain and Northern Ireland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Warwick","institution_ids":["https://openalex.org/I39555362"]},{"raw_affiliation_string":"Mathematics, Informatics and Mechanics, University of Warsaw","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"Mathematics, Informatics and Mechanics, University of Warsaw, Warszawa Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"Department of Computer Science, University of Warwick, Coventry United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I39555362"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055238529","display_name":"Karol W\u0119grzycki","orcid":"https://orcid.org/0000-0001-9746-5733"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Karol W\u0119grzycki","raw_affiliation_strings":["Max Planck Institute for Informatics"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088790846"],"corresponding_institution_ids":["https://openalex.org/I102335020"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2415621,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"5","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/mathematics","display_name":"Mathematics","score":0.504703164100647},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.47247549891471863},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3804525136947632},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34819138050079346},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34052908420562744},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3252815008163452}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.504703164100647},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.47247549891471863},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3804525136947632},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34819138050079346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34052908420562744},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3252815008163452}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3762178","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762178","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762178","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3762178","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3762178","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3762178","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3473433091","display_name":null,"funder_award_id":"Standard Research Studentship (DTP)","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3514550006","display_name":null,"funder_award_id":"Centre","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4482714312","display_name":"Challenging Problems in Infinite-State Systems","funder_award_id":"950398","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6143245489","display_name":"Finite-state abstractions of infinite-state systems","funder_award_id":"101077902","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6743243744","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7982103229","display_name":"Strukturelle Komplexit\u00e4tstheorie f\u00fcr Big Data  Von Klassifikationstheoremen bis Algorithm Engineering","funder_award_id":"462679611","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413830814.pdf","grobid_xml":"https://content.openalex.org/works/W4413830814.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W104109059","https://openalex.org/W263470693","https://openalex.org/W408676302","https://openalex.org/W1493373428","https://openalex.org/W1532209667","https://openalex.org/W1532358383","https://openalex.org/W1602434374","https://openalex.org/W1967066104","https://openalex.org/W1985572324","https://openalex.org/W1989457091","https://openalex.org/W1994584977","https://openalex.org/W2009147258","https://openalex.org/W2013504313","https://openalex.org/W2017315323","https://openalex.org/W2031575609","https://openalex.org/W2036526834","https://openalex.org/W2036844537","https://openalex.org/W2046095317","https://openalex.org/W2052306562","https://openalex.org/W2055081868","https://openalex.org/W2066238373","https://openalex.org/W2073614038","https://openalex.org/W2099040330","https://openalex.org/W2115082275","https://openalex.org/W2128797960","https://openalex.org/W2130190334","https://openalex.org/W2159341052","https://openalex.org/W2162868766","https://openalex.org/W2164003033","https://openalex.org/W2222821827","https://openalex.org/W2344518945","https://openalex.org/W2761740776","https://openalex.org/W2777662281","https://openalex.org/W2914388468","https://openalex.org/W2914414140","https://openalex.org/W2963025941","https://openalex.org/W2965078897","https://openalex.org/W2965199304","https://openalex.org/W3099076450","https://openalex.org/W3100477869","https://openalex.org/W3102404299","https://openalex.org/W3117677213","https://openalex.org/W3118222663","https://openalex.org/W3145100375","https://openalex.org/W3157357863","https://openalex.org/W3157598257","https://openalex.org/W3193574081","https://openalex.org/W3210720948","https://openalex.org/W4206480932","https://openalex.org/W4255971878","https://openalex.org/W4289800071","https://openalex.org/W4313227209","https://openalex.org/W4315606093","https://openalex.org/W4366504015","https://openalex.org/W4404848043","https://openalex.org/W4412213125","https://openalex.org/W6891717139"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2051487156","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2962838298"],"abstract_inverted_index":{"Seminal":[0],"results":[1],"establish":[2],"that":[3,41,77,88,156,240,252,273],"the":[4,62,67,70,109,114,126,130,168,209,215,218,221,258,279],"coverability":[5,43,82],"problem":[6],"for":[7,129,146,189,264],"Vector":[8],"Addition":[9],"Systems":[10],"with":[11,183,199],"States":[12],"(VASS)":[13],"is":[14,20,47,61,66,151,179,212,247,255,276],"in":[15,83,214,227,241],"EXPSPACE":[16,21],"(Rackoff,":[17],"\u201978)":[18],"and":[19,32,64,192],"-hard":[22],"already":[23],"under":[24,257,278],"unary":[25,72,86],"encodings":[26],"(Lipton,":[27],"\u201976).":[28],"More":[29],"precisely,":[30],"Rosier":[31],"Yen":[33],"later":[34],"utilise":[35],"Rackoff\u2019s":[36],"bounding":[37],"technique":[38,178],"to":[39,134,180,196,234],"show":[40,272],"if":[42],"holds":[44],"then":[45],"there":[46,78,157],"a":[48,140,152,161,175,205],"run":[49],"of":[50,69,81,94,217],"length":[51,95],"at":[52,96],"most":[53],"\\(n^{2^{\\mathcal":[54,142],"{O}(d":[55],"\\log":[56],"(d))}}\\)":[57],",":[58],"where":[59,208],"d":[60,84,268],"dimension":[63,242,267],"n":[65],"size":[68,216],"given":[71],"VASS.":[73,219],"Earlier,":[74],"Lipton":[75],"showed":[76],"exist":[79,160],"instances":[80],"-dimensional":[85],"VASS":[87,182,187],"are":[89],"only":[90],"witnessed":[91],"by":[92,112,250],"runs":[93,226],"least":[97],"\\(n^{2^{\\Omega":[98],"(d)}}\\)":[99],".":[100],"Our":[101,148],"first":[102],"result":[103,150],"closes":[104,125],"this":[105,235,244],"gap.":[106],"We":[107,231,238],"improve":[108],"upper":[110],"bound":[111,211],"removing":[113],"twice-exponentiated":[115],"\\(\\log":[116],"(d)\\)":[117],"factor,":[118],"thus":[119],"matching":[120,153],"Lipton\u2019s":[121],"lower":[122,154],"bound.":[123],"This":[124,137],"corresponding":[127],"gap":[128],"exact":[131],"space":[132],"required":[133,256,277],"decide":[135],"coverability.":[136,147],"also":[138],"yields":[139],"deterministic":[141,162],"{O}(d)}}\\)":[143],"-time":[144,164],"algorithm":[145,225,246],"second":[149],"bound,":[155],"does":[158],"not":[159],"\\(n^{2^{o(d)}}\\)":[163],"algorithm,":[165],"conditioned":[166],"upon":[167],"exponential":[169],"time":[170,254,275],"hypothesis.":[171,261,282],"When":[172],"analysing":[173],"coverability,":[174],"standard":[176],"proof":[177],"consider":[181],"bounded":[184],"counters.":[185],"Bounded":[186],"make":[188],"an":[190],"interesting":[191],"popular":[193],"model":[194],"due":[195],"strong":[197],"connections":[198],"timed":[200],"automata.":[201],"Withal,":[202],"we":[203,271],"study":[204],"natural":[206],"setting":[207],"counter":[210],"linear":[213],"Here":[220],"trivial":[222,245],"exhaustive":[223],"search":[224],"\\(\\mathcal":[228],"{O}(n^{d+1})\\)":[229],"time.":[230],"give":[232],"evidence":[233],"being":[236],"near-optimal.":[237],"prove":[239],"one":[243],"conditionally":[248],"optimal,":[249],"showing":[251],"\\(n^{2-o(1)}\\)":[253],"k":[259],"-cycle":[260],"In":[262],"general,":[263],"any":[265],"fixed":[266],"\u2265":[269],"4,":[270],"\\(n^{d-2-o(1)}\\)":[274],"3-uniform":[280],"hyperclique":[281]},"counts_by_year":[],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}