{"id":"https://openalex.org/W3129024859","doi":"https://doi.org/10.4230/lipics.csl.2021.9","title":"A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation.","display_name":"A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation.","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3129024859","doi":"https://doi.org/10.4230/lipics.csl.2021.9","mag":"3129024859"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2021/13443/pdf/LIPIcs-CSL-2021-9.pdf/","pdf_url":null,"source":{"id":"https://openalex.org/S4306417978","display_name":"Computer Science Logic","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107599316","display_name":"Andr\u00e9 Arnold","orcid":null},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Arnold","raw_affiliation_strings":["Universit\u00e9 de Bordeaux, Bordeaux, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Bordeaux, Bordeaux, France","institution_ids":["https://openalex.org/I15057530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050366879","display_name":"Damian Niwi\u0144ski","orcid":null},"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":"Damian Niwi\u0144ski","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085631393","display_name":"Pawe\u0142 Parys","orcid":"https://orcid.org/0000-0001-7247-1408"},"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":"Pawe\u0142 Parys","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.258,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.790997,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9923,"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.9923,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9745,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9676,"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/arity","display_name":"Arity","score":0.6658777},{"id":"https://openalex.org/keywords/alternation","display_name":"Alternation (linguistics)","score":0.4212528},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.41782373}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6698294},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.6658777},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.64515615},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.56683475},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5314592},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5033218},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.44145525},{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.4212528},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.41782373},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.41410917},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2021/13443/pdf/LIPIcs-CSL-2021-9.pdf/","pdf_url":null,"source":{"id":"https://openalex.org/S4306417978","display_name":"Computer Science Logic","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3183157744","https://openalex.org/W3162920816","https://openalex.org/W3155938658","https://openalex.org/W3139496137","https://openalex.org/W3039953586","https://openalex.org/W3038409031","https://openalex.org/W2953059252","https://openalex.org/W2949942456","https://openalex.org/W2949260085","https://openalex.org/W2904152387","https://openalex.org/W2801173338","https://openalex.org/W2788714110","https://openalex.org/W2738162363","https://openalex.org/W2611242280","https://openalex.org/W2578305700","https://openalex.org/W2284257175","https://openalex.org/W2170054126","https://openalex.org/W2123734400","https://openalex.org/W2049661027","https://openalex.org/W2029029634"],"abstract_inverted_index":{"We":[0,132],"consider":[1],"nested":[2],"fixed-point":[3],"expressions":[4],"like":[5],"\u03bc":[6,10],"z.":[7],"\u03bd":[8],"y.":[9],"x.":[11],"f(x,y,z)":[12],"evaluated":[13],"over":[14,45],"a":[15,24,38,55,85,95,117,129,135],"finite":[16],"lattice,":[17],"and":[18,74],"ask":[19],"how":[20],"many":[21],"queries":[22,99,143],"to":[23,29],"function":[25,40],"f":[26,41],"are":[27],"needed":[28],"find":[30],"the":[31,46,51,71,75,82,126,140,146],"value.":[32],"The":[33,105],"previous":[34],"upper":[35],"bounds":[36],"for":[37,88,139],"monotone":[39],"of":[42,50,58,98,111,119,128,142],"arity":[43],"d":[44],"lattice":[47],"{0,1}\u207f":[48],"were":[49],"order":[52],"n^{\ud835\udcaa(d)},":[53],"whereas":[54],"lower":[56,137],"bound":[57,138],"\u03a9(n\u00b2/(lg":[59],"n))":[60],"is":[61,100,107],"known":[62],"in":[63,81,148],"case":[64],"when":[65],"at":[66],"least":[67,72],"one":[68],"alternation":[69],"between":[70],"(\u03bc)":[73],"greatest":[76],"(\u03bd)":[77],"fixed":[78],"point":[79],"occurs":[80],"expression.":[83],"Following":[84],"recent":[86],"development":[87],"parity":[89],"games,":[90],"we":[91],"show":[92,134],"here":[93],"that":[94],"quasi-polynomial":[96,136],"number":[97,118,141],"sufficient,":[101],"namely":[102],"n^{lg(d/lg":[103],"n)+\ud835\udcaa(1)}.":[104],"algorithm":[106],"an":[108],"abstract":[109],"version":[110],"several":[112],"algorithms":[113,147],"proposed":[114],"recently":[115],"by":[116,145],"authors,":[120],"which":[121],"involve":[122],"(implicitly":[123],"or":[124],"explicitly)":[125],"structure":[127],"universal":[130],"tree.":[131],"then":[133],"used":[144],"consideration.":[149]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3129024859","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4}],"updated_date":"2025-01-22T19:05:09.471655","created_date":"2021-02-15"}