{"id":"https://openalex.org/W2108741984","doi":"https://doi.org/10.1137/0220041","title":"Lower Bounds for Algebraic Computation Trees of Functions with Finite Domains","display_name":"Lower Bounds for Algebraic Computation Trees of Functions with Finite Domains","publication_year":1991,"publication_date":"1991-08-01","ids":{"openalex":"https://openalex.org/W2108741984","doi":"https://doi.org/10.1137/0220041","mag":"2108741984"},"language":"en","primary_location":{"id":"doi:10.1137/0220041","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0220041","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5076560802","display_name":"Andrew Chi-Chih Yao","orcid":"https://orcid.org/0000-0002-3648-5594"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrew Chi-Chih Yao","raw_affiliation_strings":["Princeton Univ., Princeton , NJ"],"affiliations":[{"raw_affiliation_string":"Princeton Univ., Princeton , NJ","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076560802"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":1.3272,"has_fulltext":false,"cited_by_count":63,"citation_normalized_percentile":{"value":0.79565217,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"20","issue":"4","first_page":"655","last_page":"668"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9976000189781189,"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.9955999851226807,"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/mathematics","display_name":"Mathematics","score":0.8078269958496094},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7349420189857483},{"id":"https://openalex.org/keywords/betti-number","display_name":"Betti number","score":0.544575035572052},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5212831497192383},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5093590021133423},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.474097341299057},{"id":"https://openalex.org/keywords/convex-hull","display_name":"Convex hull","score":0.46919605135917664},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.45776915550231934},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.45006927847862244},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.38860511779785156},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09988656640052795}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8078269958496094},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7349420189857483},{"id":"https://openalex.org/C129621563","wikidata":"https://www.wikidata.org/wiki/Q429593","display_name":"Betti number","level":2,"score":0.544575035572052},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5212831497192383},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5093590021133423},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.474097341299057},{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.46919605135917664},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.45776915550231934},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.45006927847862244},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.38860511779785156},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09988656640052795},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0220041","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0220041","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W55192036","https://openalex.org/W1964869106","https://openalex.org/W1971842242","https://openalex.org/W1991581432","https://openalex.org/W1994398507","https://openalex.org/W1995309500","https://openalex.org/W1998932824","https://openalex.org/W2018714551","https://openalex.org/W2022009440","https://openalex.org/W2034144081","https://openalex.org/W2044850435","https://openalex.org/W2052394037","https://openalex.org/W2055359591","https://openalex.org/W2503612797","https://openalex.org/W2920901117"],"related_works":["https://openalex.org/W2095493290","https://openalex.org/W2971813531","https://openalex.org/W4226419853","https://openalex.org/W2963974879","https://openalex.org/W2588877683","https://openalex.org/W4286888636","https://openalex.org/W2087869914","https://openalex.org/W2035886694","https://openalex.org/W3209198297","https://openalex.org/W3175677173"],"abstract_inverted_index":{"Let":[0],"$W":[1],"\\subseteq":[2],"R^n":[3,59],"$":[4,60],"be":[5,100],"scale-invariant":[6],"and":[7,27,35,140],"rationally":[8],"dispersed,":[9],"i.e.,":[10],"$\\tilde":[11,56],"x":[12,18,57],"\\in":[13,19,58],"W$":[14,20],"implies":[15],"$\\lambda":[16,24],"\\tilde":[17],"for":[21,107,133,157],"all":[22],"real":[23],">":[25],"0$;":[26],"the":[28,44,49,84,108,154,162],"rationale":[29],"are":[30,92],"dense":[31],"in":[32,43],"both":[33],"W":[34,68,90],"$R^n":[36],"-":[37,77],"W$.":[38],"It":[39],"is":[40,64,83],"shown":[41],"that,":[42],"algebraic":[45,166],"computation":[46],"tree":[47],"model,":[48],"problem":[50],"of":[51,67,86,89,94,111,143,153,165],"deciding":[52],"whether":[53],"an":[54],"input":[55],"with":[61],"integer":[62],"coordinates":[63],"a":[65,144,150],"member":[66],"has":[69],"complexity":[70],"$\\Omega":[71],"(\\log":[72],"_2":[73],"\\hat":[74],"\\beta":[75,81],"(W)":[76],"2n)$,":[78],"where":[79],"$\\hat":[80],"(W)$":[82],"number":[85],"connected":[87],"components":[88],"that":[91],"not":[93],"measure":[95],"0.":[96],"This":[97],"theorem":[98],"can":[99],"used":[101],"to":[102,130],"prove":[103],"tight":[104],"lower":[105,131],"bounds":[106,132,160],"integral-constrained":[109],"form":[110],"many":[112],"basic":[113],"problems,":[114],"such":[115,135],"as":[116,136],"Element":[117],"Distinctness,":[118],"Set":[119],"Disjointness,":[120],"Finding":[121],"Convex":[122],"Hull,":[123],"etc.":[124],"Through":[125],"further":[126],"transformations,":[127],"it":[128],"leads":[129],"problems":[134],"Integer":[137],"Max":[138],"Gap":[139],"Closest":[141],"Pair":[142],"simple":[145],"polygon.":[146],"The":[147],"proof":[148],"involves":[149],"nontrivial":[151],"extension":[152],"Milnor\u2013Thorn":[155],"techniques":[156],"finding":[158],"upper":[159],"on":[161],"Betti":[163],"numbers":[164],"varieties.":[167]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}