{"id":"https://openalex.org/W2616617106","doi":"https://doi.org/10.1142/s0129054117500137","title":"Worst Case Branching and Other Measures of Nondeterminism","display_name":"Worst Case Branching and Other Measures of Nondeterminism","publication_year":2017,"publication_date":"2017-04-01","ids":{"openalex":"https://openalex.org/W2616617106","doi":"https://doi.org/10.1142/s0129054117500137","mag":"2616617106"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054117500137","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054117500137","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5012711207","display_name":"Alexandros Palioudakis","orcid":null},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Alexandros Palioudakis","raw_affiliation_strings":["Department of Computer Science, Yonsei University, 50 Yonsei-Ro, Seodaemum-Gu Seoul 120\u2013749, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Yonsei University, 50 Yonsei-Ro, Seodaemum-Gu Seoul 120\u2013749, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009151151","display_name":"Kai Salomaa","orcid":"https://orcid.org/0000-0003-4582-7477"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kai Salomaa","raw_affiliation_strings":["School of Computing, Queen\u2019s University, Kingston, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University, Kingston, Ontario, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041804050","display_name":"Selim G. Akl","orcid":"https://orcid.org/0000-0002-5742-9356"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Selim G. Akl","raw_affiliation_strings":["School of Computing, Queen\u2019s University, Kingston, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University, Kingston, Ontario, Canada","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012711207"],"corresponding_institution_ids":["https://openalex.org/I193775966"],"apc_list":null,"apc_paid":null,"fwci":0.4542,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.64190796,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"28","issue":"03","first_page":"195","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9980999827384949,"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/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.9003093242645264},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6701370477676392},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6303213834762573},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6019777059555054},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5702757239341736},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.5492128133773804},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5107407569885254},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.49814820289611816},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49695780873298645},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.4882552921772003},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4091525673866272},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.40505293011665344},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2625560760498047},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2311250865459442},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.12153694033622742},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09968498349189758}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.9003093242645264},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6701370477676392},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6303213834762573},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6019777059555054},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5702757239341736},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.5492128133773804},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5107407569885254},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.49814820289611816},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49695780873298645},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.4882552921772003},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4091525673866272},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.40505293011665344},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2625560760498047},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2311250865459442},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.12153694033622742},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09968498349189758},{"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},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054117500137","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054117500137","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W375648413","https://openalex.org/W1975246937","https://openalex.org/W1978033038","https://openalex.org/W2000290048","https://openalex.org/W2057747677","https://openalex.org/W2066768040","https://openalex.org/W2079577017","https://openalex.org/W2082934005","https://openalex.org/W2093294649","https://openalex.org/W2154178113","https://openalex.org/W2165700161"],"related_works":["https://openalex.org/W2079791993","https://openalex.org/W4289710043","https://openalex.org/W2966086059","https://openalex.org/W2888378172","https://openalex.org/W1554633336","https://openalex.org/W2740150023","https://openalex.org/W2060032524","https://openalex.org/W1988549452","https://openalex.org/W1982464584","https://openalex.org/W137890744"],"abstract_inverted_index":{"Many":[0],"nondeterminism":[1],"measures":[2],"for":[3,88,105],"finite":[4,19,114],"automata":[5],"have":[6],"been":[7],"studied":[8],"in":[9,42,54,75,94],"the":[10,22,45,49,63,70,76,89,106,120],"literature.":[11],"The":[12,35],"tree":[13,98],"width":[14],"of":[15,24,26,32,37,44,48,51,58,72,91,96,109,122],"an":[16,38,92,111],"NFA":[17,39,93,112,124],"(nondeterministic":[18],"automaton)":[20],"counts":[21],"number":[23],"leaves":[25],"computation":[27,77],"trees":[28],"as":[29],"a":[30,102,129],"function":[31],"input":[33],"length.":[34,60],"trace":[36,90,121],"is":[40,62,126],"defined":[41],"terms":[43,95],"largest":[46],"product":[47,71],"degrees":[50],"nondeterministic":[52,73],"choices":[53,74],"computations":[55],"on":[56,69],"inputs":[57],"given":[59],"Branching":[61],"corresponding":[64],"best":[65],"case":[66],"measure":[67],"based":[68],"that":[78,119],"minimizes":[79],"this":[80],"value.":[81],"We":[82,100],"establish":[83],"upper":[84],"and":[85],"lower":[86],"bounds":[87],"its":[97],"width.":[99],"give":[101],"tight":[103],"bound":[104],"size":[107],"blow-up":[108],"determinizing":[110],"with":[113],"trace.":[115],"Also":[116],"we":[117],"show":[118],"any":[123],"either":[125],"bounded":[127],"by":[128],"constant":[130],"or":[131],"grows":[132],"exponentially.":[133]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}