{"id":"https://openalex.org/W2903016260","doi":"https://doi.org/10.1145/3282433","title":"Read-Once Branching Programs for Tree Evaluation Problems","display_name":"Read-Once Branching Programs for Tree Evaluation Problems","publication_year":2018,"publication_date":"2018-11-27","ids":{"openalex":"https://openalex.org/W2903016260","doi":"https://doi.org/10.1145/3282433","mag":"2903016260"},"language":"en","primary_location":{"id":"doi:10.1145/3282433","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282433","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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 Computation Theory","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/A5062918669","display_name":"Kazuo Iwama","orcid":"https://orcid.org/0000-0002-5339-0669"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kazuo Iwama","raw_affiliation_strings":["RIMS, Kyoto University, Kitashirakawa-Oiwakecho, Sakyo-ku, Kyoto, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RIMS, Kyoto University, Kitashirakawa-Oiwakecho, Sakyo-ku, Kyoto, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064046708","display_name":"Atsuki Nagao","orcid":"https://orcid.org/0000-0002-1370-5240"},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Atsuki Nagao","raw_affiliation_strings":["The University of Electro-Communications, Chofu, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Electro-Communications, Chofu, Tokyo, Japan","institution_ids":["https://openalex.org/I20529979"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062918669"],"corresponding_institution_ids":["https://openalex.org/I22299242"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.27068307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"11","issue":"1","first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.9710000157356262,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.9710000157356262,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9370999932289124,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.7623094916343689},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7350228428840637},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5554571151733398},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5537965893745422},{"id":"https://openalex.org/keywords/binary-tree","display_name":"Binary tree","score":0.5423882603645325},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5214207172393799},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5145673155784607},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4864920973777771},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4405458867549896},{"id":"https://openalex.org/keywords/root","display_name":"Root (linguistics)","score":0.4324966073036194},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.42307135462760925},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3829028308391571},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28831368684768677},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13626614212989807},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.07585540413856506},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06397143006324768}],"concepts":[{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.7623094916343689},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7350228428840637},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5554571151733398},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5537965893745422},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.5423882603645325},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5214207172393799},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5145673155784607},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4864920973777771},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4405458867549896},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.4324966073036194},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.42307135462760925},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3829028308391571},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28831368684768677},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13626614212989807},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.07585540413856506},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06397143006324768},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"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/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3282433","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282433","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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 Computation Theory","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1528304975","https://openalex.org/W2034156948","https://openalex.org/W2050347452","https://openalex.org/W2054498950","https://openalex.org/W2061739322","https://openalex.org/W2070913436","https://openalex.org/W2107000858","https://openalex.org/W2118961951","https://openalex.org/W2134098997","https://openalex.org/W2157649851","https://openalex.org/W2162199822","https://openalex.org/W2395033936","https://openalex.org/W2497366721","https://openalex.org/W2911480877"],"related_works":["https://openalex.org/W2462424100","https://openalex.org/W2014836299","https://openalex.org/W2034871982","https://openalex.org/W2148974013","https://openalex.org/W2130873474","https://openalex.org/W2034850439","https://openalex.org/W1974919125","https://openalex.org/W2022364537","https://openalex.org/W2141653867","https://openalex.org/W2132585559"],"abstract_inverted_index":{"Toward":[0],"the":[1,17,98,111,127,130,201,207,211,243,246,252,256,259],"ultimate":[2],"goal":[3],"of":[4,45,81,100,113,129,203,242,248,258],"separating":[5],"L":[6,186],"and":[7,14,28,68,97,107,213],"P":[8,148],",":[9,48,109,119,149,179,187],"Cook,":[10],"McKenzie,":[11],"Wehr,":[12],"Braverman,":[13],"Santhanam":[15],"introduced":[16,195],"Tree":[18],"Evaluation":[19],"Problem":[20],"(":[21,34,117,162,170],"TEP":[22],").":[23,121],"For":[24],"fixed":[25],"integers":[26],"h":[27,33,47,161,171,222],"k":[29,35,61,66,77,163,168,221],">":[30],"0,":[31],"FT":[32,160],")":[36,164,172,223],"is":[37,54,86,115,124,145,183,255],"given":[38],"as":[39],"a":[40,57,73,94,106,118,140,196,228],"complete,":[41],"rooted":[42],"binary":[43],"tree":[44],"height":[46],"in":[49,75,139,147,185],"which":[50,236],"each":[51,69],"root":[52,131],"node":[53,71,84,132],"associated":[55],"with":[56,72],"function":[58,95,137,177],"from":[59],"[":[60,65,76],"]":[62],"2":[63],"to":[64,125,239],"],":[67],"leaf":[70],"number":[74],"].":[78],"The":[79,143,192],"value":[80,112,128],"an":[82],"internal":[83],"v":[85,114],"defined":[87],"naturally;":[88],"that":[89,155,215,254],"is,":[90],"if":[91,151],"it":[92],"has":[93],"f":[96,116],"values":[99],"its":[101],"two":[102],"child":[103],"nodes":[104,249],"are":[105],"b":[108,120],"then":[110,180],"Our":[122],"task":[123],"compute":[126],"by":[133,251],"sequentially":[134],"executing":[135],"this":[136,181],"evaluation":[138],"bottom-up":[141],"fashion.":[142],"problem":[144,182],"obviously":[146],"and,":[150],"we":[152],"could":[153],"prove":[154],"any":[156,175,216],"branching":[157,234],"program":[158],"solving":[159,210],"needs":[165,219],"at":[166],"least":[167],"r":[169,178],"states":[173],"for":[174,209,232],"unbounded":[176],"not":[184],"thus":[188],"achieving":[189],"our":[190],"goal.":[191],"mentioned":[193],"authors":[194],"restriction":[197,244],"called":[198],"thrifty":[199,217,260],"against":[200,206],"structure":[202],"BP\u2019s":[204],"(i,e.,":[205],"algorithm":[208],"problem)":[212],"proved":[214],"BP":[218,253],"\u03a9(":[220],"states.":[224],"This":[225],"article":[226],"proves":[227],"similar":[229],"lower":[230],"bound":[231],"read-once":[233],"programs,":[235],"allows":[237],"us":[238],"get":[240],"rid":[241],"on":[245],"order":[247],"read":[250],"nature":[257],"restriction.":[261]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}