{"id":"https://openalex.org/W2765457434","doi":"https://doi.org/10.1145/3127585","title":"Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half","display_name":"Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half","publication_year":2017,"publication_date":"2017-10-25","ids":{"openalex":"https://openalex.org/W2765457434","doi":"https://doi.org/10.1145/3127585","mag":"2765457434"},"language":"en","primary_location":{"id":"doi:10.1145/3127585","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127585","pdf_url":null,"source":{"id":"https://openalex.org/S137348503","display_name":"ACM Transactions on Algorithms","issn_l":"1549-6325","issn":["1549-6325","1549-6333"],"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":"ACM Transactions on Algorithms","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/A5003984705","display_name":"Hsien\u2010Kuei Hwang","orcid":"https://orcid.org/0000-0002-9410-6476"},"institutions":[{"id":"https://openalex.org/I84653119","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784","country_code":"TW","type":"facility","lineage":["https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Hsien-Kuei Hwang","raw_affiliation_strings":["Academia Sinica, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-9410-6476","affiliations":[{"raw_affiliation_string":"Academia Sinica, Taipei, Taiwan","institution_ids":["https://openalex.org/I84653119"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022615833","display_name":"Svante Janson","orcid":"https://orcid.org/0000-0002-9680-2790"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Svante Janson","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015787840","display_name":"Tsung\u2010Hsi Tsai","orcid":null},"institutions":[{"id":"https://openalex.org/I84653119","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784","country_code":"TW","type":"facility","lineage":["https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Tsung-Hsi Tsai","raw_affiliation_strings":["Academia Sinica, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Academia Sinica, Taipei, Taiwan","institution_ids":["https://openalex.org/I84653119"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003984705"],"corresponding_institution_ids":["https://openalex.org/I84653119"],"apc_list":null,"apc_paid":null,"fwci":0.8314,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.81155037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"13","issue":"4","first_page":"1","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9988999962806702,"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/divide-and-conquer-algorithms","display_name":"Divide and conquer algorithms","score":0.8488380312919617},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.757466197013855},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.701452910900116},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.6745954155921936},{"id":"https://openalex.org/keywords/generating-function","display_name":"Generating function","score":0.6120904684066772},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5980997085571289},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5919706225395203},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5398305058479309},{"id":"https://openalex.org/keywords/recurrence-relation","display_name":"Recurrence relation","score":0.4623023569583893},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42974603176116943},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.419585257768631},{"id":"https://openalex.org/keywords/linearity","display_name":"Linearity","score":0.4131559729576111},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.32093459367752075},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19637611508369446}],"concepts":[{"id":"https://openalex.org/C71559656","wikidata":"https://www.wikidata.org/wiki/Q671298","display_name":"Divide and conquer algorithms","level":2,"score":0.8488380312919617},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.757466197013855},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.701452910900116},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.6745954155921936},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.6120904684066772},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5980997085571289},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5919706225395203},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5398305058479309},{"id":"https://openalex.org/C201292218","wikidata":"https://www.wikidata.org/wiki/Q740970","display_name":"Recurrence relation","level":2,"score":0.4623023569583893},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42974603176116943},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.419585257768631},{"id":"https://openalex.org/C77170095","wikidata":"https://www.wikidata.org/wiki/Q1753188","display_name":"Linearity","level":2,"score":0.4131559729576111},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.32093459367752075},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19637611508369446},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/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/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3127585","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127585","pdf_url":null,"source":{"id":"https://openalex.org/S137348503","display_name":"ACM Transactions on Algorithms","issn_l":"1549-6325","issn":["1549-6325","1549-6333"],"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":"ACM Transactions on Algorithms","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":79,"referenced_works":["https://openalex.org/W23674635","https://openalex.org/W31312026","https://openalex.org/W37203355","https://openalex.org/W72617331","https://openalex.org/W78377100","https://openalex.org/W199511118","https://openalex.org/W1483591803","https://openalex.org/W1485727272","https://openalex.org/W1489341787","https://openalex.org/W1535772777","https://openalex.org/W1554451661","https://openalex.org/W1572519760","https://openalex.org/W1584026429","https://openalex.org/W1595749660","https://openalex.org/W1598281669","https://openalex.org/W1655990431","https://openalex.org/W1770054816","https://openalex.org/W1966637680","https://openalex.org/W1975849168","https://openalex.org/W1977523642","https://openalex.org/W1982970845","https://openalex.org/W1983360325","https://openalex.org/W1983805560","https://openalex.org/W1985461988","https://openalex.org/W1986428580","https://openalex.org/W1987516675","https://openalex.org/W1990992047","https://openalex.org/W2002086210","https://openalex.org/W2003497093","https://openalex.org/W2004688869","https://openalex.org/W2004836868","https://openalex.org/W2020085260","https://openalex.org/W2024229565","https://openalex.org/W2027655284","https://openalex.org/W2028840720","https://openalex.org/W2031891626","https://openalex.org/W2032924886","https://openalex.org/W2043484933","https://openalex.org/W2051971152","https://openalex.org/W2054777142","https://openalex.org/W2055674322","https://openalex.org/W2058432138","https://openalex.org/W2061499074","https://openalex.org/W2063028341","https://openalex.org/W2069852500","https://openalex.org/W2081515148","https://openalex.org/W2081911349","https://openalex.org/W2082133472","https://openalex.org/W2083770519","https://openalex.org/W2084336096","https://openalex.org/W2087183702","https://openalex.org/W2089610771","https://openalex.org/W2090041152","https://openalex.org/W2091636694","https://openalex.org/W2092519674","https://openalex.org/W2092577037","https://openalex.org/W2108058191","https://openalex.org/W2109509083","https://openalex.org/W2120206010","https://openalex.org/W2125533006","https://openalex.org/W2150043537","https://openalex.org/W2156150292","https://openalex.org/W2165061849","https://openalex.org/W2168066076","https://openalex.org/W2171097166","https://openalex.org/W2324016176","https://openalex.org/W2563437659","https://openalex.org/W2624611589","https://openalex.org/W2752885492","https://openalex.org/W2897299467","https://openalex.org/W2911302472","https://openalex.org/W2913954881","https://openalex.org/W3041834803","https://openalex.org/W3106396583","https://openalex.org/W4210391712","https://openalex.org/W4238159413","https://openalex.org/W4254977685","https://openalex.org/W4298838381","https://openalex.org/W6892281561"],"related_works":["https://openalex.org/W2551082991","https://openalex.org/W2071588082","https://openalex.org/W203290572","https://openalex.org/W2189105445","https://openalex.org/W2963411948","https://openalex.org/W1536046884","https://openalex.org/W2266902532","https://openalex.org/W2418411990","https://openalex.org/W4318426929","https://openalex.org/W2953049497"],"abstract_inverted_index":{"Divide-and-conquer":[0],"recurrences":[1],"of":[2,44,118,146,164,177],"the":[3,42,62,67,71,127,151,174],"form":[4,101],"f":[5,10,15,35,74],"(":[6,16,22,25,31,75,87,97,114],"n":[7,23,26,32,76,79,83,88,98,115],")":[8,13,19,24,33,77,84,89,116],"=":[9,78],"(\u230a":[11],"n/2\u230b":[12],"+":[14,20],"\u2308":[17],"n/2\u2309":[18],"g":[21,30,96],"\u2a7e":[27],"2),":[28],"with":[29],"and":[34,47,54,153,169],"(1)":[36],"given,":[37],"appear":[38],"very":[39],"frequently":[40],"in":[41,159],"analysis":[43],"computer":[45],"algorithms":[46],"related":[48],"areas.":[49],"While":[50],"most":[51],"previous":[52],"methods":[53],"results":[55,138,178],"focus":[56],"on":[57,95],"simpler":[58],"crude":[59],"approximation":[60],"to":[61,143,173,182],"solution,":[63],"we":[64],"show":[65,135],"that":[66],"solution":[68],"always":[69],"satisfies":[70],"simple":[72,168],"identity":[73,106],"P":[80,131],"(log":[81],"2":[82],"\u2212":[85],"Q":[86,113],"under":[90],"an":[91,105,109],"optimum":[92],"(iff)":[93],"condition":[94],").":[99],"This":[100],"is":[102,117,166],"not":[103],"only":[104],"but":[107,171],"also":[108],"asymptotic":[110],"expansion":[111],"because":[112],"a":[119],"smaller":[120],"order":[121],"than":[122],"linearity.":[123],"Explicit":[124],"forms":[125],"for":[126,179],"continuous":[128],"periodic":[129],"function":[130],"are":[132],"provided.":[133],"We":[134],"how":[136,154],"our":[137,184],"can":[139,156],"be":[140,157],"easily":[141],"applied":[142],"many":[144],"dozens":[145],"concrete":[147],"examples":[148,181],"collected":[149],"from":[150],"literature":[152],"they":[155],"extended":[158],"various":[160],"directions.":[161],"Our":[162],"method":[163],"proof":[165],"surprisingly":[167],"elementary":[170],"leads":[172],"strongest":[175],"types":[176],"all":[180],"which":[183],"theory":[185],"applies.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}