{"id":"https://openalex.org/W4246764629","doi":"https://doi.org/10.1142/s0129054106004145","title":"B\u00dcCHI COMPLEMENTATION MADE TIGHTER","display_name":"B\u00dcCHI COMPLEMENTATION MADE TIGHTER","publication_year":2006,"publication_date":"2006-08-01","ids":{"openalex":"https://openalex.org/W4246764629","doi":"https://doi.org/10.1142/s0129054106004145"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054106004145","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004145","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/A5111578201","display_name":"Ehud Friedgut","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"EHUD FRIEDGUT","raw_affiliation_strings":["Hebrew University, Institute of Mathematics, Jerusalem 91904, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hebrew University, Institute of Mathematics, Jerusalem 91904, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"ORNA KUPFERMAN","raw_affiliation_strings":["Hebrew University, School of Engineering and Computer Science, Jerusalem 91904, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hebrew University, School of Engineering and Computer Science, Jerusalem 91904, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000059818","display_name":"Moshe Y. Vardi","orcid":"https://orcid.org/0000-0002-0661-5773"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MOSHE Y. VARDI","raw_affiliation_strings":["Rice University, Department of Computer Science, Houston, TX 77251-1892, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University, Department of Computer Science, Houston, TX 77251-1892, U.S.A","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9377,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.87044124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"17","issue":"04","first_page":"851","last_page":"867"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9984999895095825,"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":0.9984999895095825,"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/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.7214864492416382},{"id":"https://openalex.org/keywords/complementation","display_name":"Complementation","score":0.7069330811500549},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5593894720077515},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5171172618865967},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4881475865840912},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.4649478495121002},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4461720883846283},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33461493253707886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19957980513572693}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.7214864492416382},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.7069330811500549},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5593894720077515},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5171172618865967},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4881475865840912},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.4649478495121002},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4461720883846283},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33461493253707886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19957980513572693},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054106004145","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004145","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":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7200000286102295}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1576751546","https://openalex.org/W1976773489","https://openalex.org/W1990609140","https://openalex.org/W1991409518","https://openalex.org/W1996207810","https://openalex.org/W2059045337","https://openalex.org/W2097565928","https://openalex.org/W2115309705","https://openalex.org/W2806619258","https://openalex.org/W2914000465","https://openalex.org/W4250884204"],"related_works":["https://openalex.org/W1518010816","https://openalex.org/W2060032524","https://openalex.org/W1988549452","https://openalex.org/W2898732469","https://openalex.org/W1555347172","https://openalex.org/W1629505938","https://openalex.org/W2002340571","https://openalex.org/W2155075753","https://openalex.org/W2269169662","https://openalex.org/W1531835879"],"abstract_inverted_index":{"The":[0,40,186],"complementation":[1,37,74,117,194,208,247],"problem":[2,93,277],"for":[3,67,107,249],"nondeterministic":[4,250],"word":[5],"automata":[6,28,60,229,252],"has":[7],"numerous":[8],"applications":[9],"in":[10,136,145,149,163,191,206,223,264,310],"formal":[11],"verification.":[12],"In":[13,196,240],"particular,":[14,197],"the":[15,48,68,80,92,133,146,150,155,159,198,202,207,226,234,260,276,279,284,299,302],"language-containment":[16],"problem,":[17],"to":[18,34,111],"which":[19,32,64,180,214],"many":[20],"verification":[21],"problems":[22],"is":[23,45,51,83,94,167,181,217,222,286],"reduced,":[24],"involves":[25,38,174],"complementation.":[26],"For":[27,58],"on":[29,61,158,201,230],"finite":[30,231],"words,":[31,63,232],"correspond":[33],"safety":[35],"properties,":[36,72],"determinization.":[39],"2":[41,113],"n":[42,168,184,219,271],"blow-up":[43,135],"that":[44,259],"caused":[46],"by":[47,53],"subset":[49,81],"construction":[50,82,106,209,248,262,303],"justified":[52],"a":[54,87,104,112,124,291],"tight":[55],"lower":[56,126,172,237],"bound.":[57,127],"B\u00fcchi":[59,108,251],"infinite":[62],"are":[65,76],"required":[66],"modeling":[69],"of":[70,90,132,161,204,210,228,294,301,304],"liveness":[71],"optimal":[73],"constructions":[75],"quite":[77],"complicated,":[78],"as":[79],"not":[84],"sufficient.":[85],"From":[86,290],"theoretical":[88],"point":[89,293],"view,":[91,295],"considered":[95],"solved":[96],"since":[97],"1988,":[98],"when":[99],"Safra":[100],"came":[101,121],"up":[102,122,282],"with":[103,123,225,267],"determinization":[105],"automata,":[109],"leading":[110],"O(n":[114],"log":[115],"n)":[116],"construction,":[118],"and":[119,138,212,236,253,306,308],"Michel":[120],"matching":[125],"A":[128],"careful":[129],"analysis,":[130],"however,":[131],"exact":[134,280],"Safra's":[137,164],"Michel's":[139,171],"bounds":[140,238],"reveals":[141],"an":[142,176,245,265],"exponential":[143,187],"gap":[144,188,285],"constants":[147],"hiding":[148],"O(":[151],")":[152],"notations:":[153],"while":[154],"upper":[156,199,235],"bound":[157,173,200],"number":[160,203],"states":[162,205],"complementary":[165],"automaton":[166,266],"2n":[169],",":[170],"only":[175],"n!":[177],"blow":[178,281],"up,":[179],"roughly":[182],"(n/e)":[183],".":[185,220],"exists":[189],"also":[190],"more":[192],"recent":[193],"constructions.":[195],"Kupferman":[211,305],"Vardi,":[213,307],"avoids":[215],"determinization,":[216],"(6n)":[218],"This":[221],"contrast":[224],"case":[227],"where":[233],"coincides.":[239],"this":[241,274],"work":[242],"we":[243],"describe":[244],"improved":[246],"analyze":[254],"its":[255],"complexity.":[256],"We":[257],"show":[258],"new":[261],"results":[263,309],"at":[268],"most":[269],"(0.96n)":[270],"states.":[272],"While":[273],"leaves":[275],"about":[278],"open,":[283],"now":[287],"exponentially":[288],"smaller.":[289],"practical":[292],"our":[296],"solution":[297],"enjoys":[298],"simplicity":[300],"much":[311],"smaller":[312],"automata.":[313]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}