{"id":"https://openalex.org/W1983764301","doi":"https://doi.org/10.1145/2629488","title":"Ranking Functions for Linear-Constraint Loops","display_name":"Ranking Functions for Linear-Constraint Loops","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W1983764301","doi":"https://doi.org/10.1145/2629488","mag":"1983764301"},"language":"en","primary_location":{"id":"doi:10.1145/2629488","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2629488","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1208.4041","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019616888","display_name":"Amir M. Ben-Amram","orcid":null},"institutions":[{"id":"https://openalex.org/I4210141777","display_name":"Academic College of Tel Aviv-Yafo","ror":"https://ror.org/04cg6c004","country_code":"IL","type":"education","lineage":["https://openalex.org/I4210141777"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Amir M. Ben-Amram","raw_affiliation_strings":["The Academic College of Tel-Aviv Yaffo"],"affiliations":[{"raw_affiliation_string":"The Academic College of Tel-Aviv Yaffo","institution_ids":["https://openalex.org/I4210141777"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014510097","display_name":"Samir Genaim","orcid":"https://orcid.org/0000-0002-7176-1881"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Samir Genaim","raw_affiliation_strings":["Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019616888"],"corresponding_institution_ids":["https://openalex.org/I4210141777"],"apc_list":null,"apc_paid":null,"fwci":8.4542,"has_fulltext":true,"cited_by_count":67,"citation_normalized_percentile":{"value":0.98046015,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"61","issue":"4","first_page":"1","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9954000115394592,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9954000115394592,"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/T10142","display_name":"Formal Methods in Verification","score":0.9925000071525574,"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/T11106","display_name":"Data Management and Algorithms","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/p","display_name":"P","score":0.9175163507461548},{"id":"https://openalex.org/keywords/lexicographical-order","display_name":"Lexicographical order","score":0.8663425445556641},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7606520652770996},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.58009934425354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5441163778305054},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49020320177078247},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.441061407327652},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.407917857170105},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3771481215953827},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3069407641887665}],"concepts":[{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.9175163507461548},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.8663425445556641},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7606520652770996},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.58009934425354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5441163778305054},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49020320177078247},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.441061407327652},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.407917857170105},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3771481215953827},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3069407641887665},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2629488","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2629488","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1208.4041","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1208.4041","pdf_url":"https://arxiv.org/pdf/1208.4041","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1208.4041","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1208.4041","pdf_url":"https://arxiv.org/pdf/1208.4041","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1891651799","display_name":null,"funder_award_id":"TIN2008-05624, TIN2012-38137","funder_id":"https://openalex.org/F4320321764","funder_display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte"},{"id":"https://openalex.org/G7335489826","display_name":null,"funder_award_id":"FP7-ICT-610582 ENVISAGE","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320321764","display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","ror":"https://ror.org/03nc27g21"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1983764301.pdf"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W188927585","https://openalex.org/W189633613","https://openalex.org/W1505135855","https://openalex.org/W1505537169","https://openalex.org/W1521232193","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1541144457","https://openalex.org/W1542502949","https://openalex.org/W1559350320","https://openalex.org/W1561261246","https://openalex.org/W1566372122","https://openalex.org/W1575647584","https://openalex.org/W1579524364","https://openalex.org/W1585194019","https://openalex.org/W1589106570","https://openalex.org/W1593745409","https://openalex.org/W1608799719","https://openalex.org/W1867057885","https://openalex.org/W1872877151","https://openalex.org/W1888810575","https://openalex.org/W1946377831","https://openalex.org/W1963547452","https://openalex.org/W1970141743","https://openalex.org/W1971872488","https://openalex.org/W1989462119","https://openalex.org/W1993129359","https://openalex.org/W1996245589","https://openalex.org/W2003383232","https://openalex.org/W2015643666","https://openalex.org/W2017112612","https://openalex.org/W2029579251","https://openalex.org/W2039525895","https://openalex.org/W2051739235","https://openalex.org/W2062873592","https://openalex.org/W2070546615","https://openalex.org/W2074367725","https://openalex.org/W2089005875","https://openalex.org/W2094997043","https://openalex.org/W2095555925","https://openalex.org/W2095761776","https://openalex.org/W2096096565","https://openalex.org/W2097774457","https://openalex.org/W2103985627","https://openalex.org/W2111366004","https://openalex.org/W2120533159","https://openalex.org/W2121365859","https://openalex.org/W2130413583","https://openalex.org/W2136333450","https://openalex.org/W2161217905","https://openalex.org/W2230306527","https://openalex.org/W2293708017","https://openalex.org/W2294495175","https://openalex.org/W2401610261","https://openalex.org/W2561675875","https://openalex.org/W3099014322","https://openalex.org/W3101466097","https://openalex.org/W3102757572","https://openalex.org/W3158747708","https://openalex.org/W4232668957","https://openalex.org/W4255529553"],"related_works":["https://openalex.org/W4285787285","https://openalex.org/W4321439950","https://openalex.org/W155661048","https://openalex.org/W2617189160","https://openalex.org/W4288581691","https://openalex.org/W2912654482","https://openalex.org/W2962995303","https://openalex.org/W3105437476","https://openalex.org/W2951140680","https://openalex.org/W1828234149"],"abstract_inverted_index":{"In":[0],"this":[1,32],"article,":[2],"we":[3,94],"study":[4],"the":[5,8,49,53,71,79,119,123,129],"complexity":[6,80],"of":[7,21,36,100,102],"problems:":[9],"given":[10],"a":[11,18,25],"loop,":[12],"described":[13],"by":[14],"linear":[15,26,112],"constraints":[16],"over":[17,52,70],"finite":[19],"set":[20],"variables,":[22],"is":[23,58,148],"there":[24],"or":[27,76],"lexicographical-linear":[28,114,136],"ranking":[29,115,137],"function":[30],"for":[31,74,110,118,134,145],"loop?":[33],"While":[34],"existence":[35],"such":[37,146],"functions":[38,138,147],"implies":[39],"termination,":[40],"these":[41],"problems":[42,62,90],"are":[43,63,91],"not":[44,82],"equivalent":[45],"to":[46],"termination.":[47],"When":[48],"variables":[50],"range":[51,69],"rationals":[54],"(or":[55],"reals),":[56],"it":[57,152],"known":[59],"that":[60,88],"both":[61,89,117],"PTIME":[64,103,125,154],"decidable.":[65],"However,":[66,93],"when":[67],"they":[68],"integers,":[72],"whether":[73],"single-path":[75],"multipath":[77],"loops,":[78],"has":[81,153],"yet":[83,151],"been":[84],"determined.":[85],"We":[86,105],"show":[87],"coNP-complete.":[92],"point":[95],"out":[96],"some":[97],"special":[98,124],"cases":[99],"importance":[101],"complexity.":[104,155],"also":[106],"present":[107],"complete":[108],"algorithms":[109],"synthesizing":[111,135],"and":[113,122],"functions,":[116],"general":[120],"case":[121],"cases.":[126],"Moreover,":[127],"in":[128],"rational":[130],"setting,":[131],"our":[132,143],"algorithm":[133],"extends":[139],"existing":[140],"ones,":[141],"because":[142],"definition":[144],"more":[149],"general,":[150]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":4}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}