{"id":"https://openalex.org/W2092016058","doi":"https://doi.org/10.1137/0211033","title":"$\\Omega (n\\log n)$ Lower Bounds on Length of Boolean Formulas","display_name":"$\\Omega (n\\log n)$ Lower Bounds on Length of Boolean Formulas","publication_year":1982,"publication_date":"1982-08-01","ids":{"openalex":"https://openalex.org/W2092016058","doi":"https://doi.org/10.1137/0211033","mag":"2092016058"},"language":"en","primary_location":{"id":"doi:10.1137/0211033","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0211033","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/A5103508736","display_name":"Michael J. Fischer","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael J. Fischer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104063086","display_name":"Albert R. Meyer","orcid":"https://orcid.org/0009-0002-8900-0850"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Albert R. Meyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109349120","display_name":"Michael S. Paterson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael S. Paterson","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103508736"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8134,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.91383788,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"3","first_page":"416","last_page":"427"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9994000196456909,"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/T11130","display_name":"Coding theory and cryptography","score":0.9994000196456909,"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/T12404","display_name":"Mathematical Approximation and Integration","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T11797","display_name":"graph theory and CDMA systems","score":0.9800999760627747,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7936702966690063},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7512197494506836},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7247822284698486},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.6336898803710938},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5857235193252563},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.5715374946594238},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.553610622882843},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5342404246330261},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.48333069682121277},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.446870893239975},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.4193664789199829},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.2515285015106201},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08348211646080017}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7936702966690063},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7512197494506836},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7247822284698486},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.6336898803710938},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5857235193252563},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.5715374946594238},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.553610622882843},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5342404246330261},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.48333069682121277},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.446870893239975},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.4193664789199829},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.2515285015106201},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08348211646080017},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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.1137/0211033","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0211033","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1965834028","https://openalex.org/W2003041310","https://openalex.org/W2016003148","https://openalex.org/W2053157570","https://openalex.org/W2057609208","https://openalex.org/W2088141885","https://openalex.org/W2157832327","https://openalex.org/W2989713547","https://openalex.org/W4256472718"],"related_works":["https://openalex.org/W4302306341","https://openalex.org/W3127082728","https://openalex.org/W2003722472","https://openalex.org/W2379318067","https://openalex.org/W2106622045","https://openalex.org/W2136871609","https://openalex.org/W2067936666","https://openalex.org/W1991921929","https://openalex.org/W2036604690","https://openalex.org/W2374311587"],"abstract_inverted_index":{"A":[0],"property":[1],"of":[2,5,25,42,63],"Boolean":[3,29],"functions":[4,71],"n":[6],"variables":[7],"is":[8,97],"described":[9],"and":[10,76],"shown":[11],"to":[12,57,68,77,80],"imply":[13],"lower":[14,54],"bounds":[15,55],"as":[16,18],"large":[17,74],"$\\Omega":[19],"(n\\log":[20],"n)$":[21],"on":[22],"the":[23,35,39,78,90,95],"number":[24],"literals":[26],"in":[27,66],"any":[28,32],"formula":[30],"for":[31,85],"function":[33,84],"with":[34,72],"property.":[36],"Formulas":[37],"over":[38],"full":[40],"basis":[41],"binary":[43],"operations":[44],"$(":[45],"\\wedge":[46],",":[47],"\\oplus":[48],",{\\text{":[49],"etc.}})$":[50],"are":[51],"considered.":[52],"The":[53],"apply":[56],"all":[58,69],"but":[59],"a":[60],"vanishing":[61],"fraction":[62],"symmetric":[64],"functions,":[65],"particular,":[67],"threshold":[70,75],"sufficiently":[73],"\u201ccongruent":[79],"zero":[81],"modulo":[82],"k\u201d":[83],"$k":[86,92],">":[87],"2$.":[88],"In":[89],"case":[91],"=":[93],"4$,":[94],"bound":[96],"optimal.":[98]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}