{"id":"https://openalex.org/W2055350589","doi":"https://doi.org/10.1137/s0895480191218496","title":"Explicit Constructions of Depth-2 Majority Circuits for Comparison and Addition","display_name":"Explicit Constructions of Depth-2 Majority Circuits for Comparison and Addition","publication_year":1994,"publication_date":"1994-02-01","ids":{"openalex":"https://openalex.org/W2055350589","doi":"https://doi.org/10.1137/s0895480191218496","mag":"2055350589"},"language":"en","primary_location":{"id":"doi:10.1137/s0895480191218496","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0895480191218496","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","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/A5083469386","display_name":"Noga Alon","orcid":"https://orcid.org/0000-0003-1332-4883"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Noga Alon","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043861677","display_name":"Jehoshua Bruck","orcid":"https://orcid.org/0000-0001-8474-0812"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jehoshua Bruck","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083469386"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5415,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.96682539,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"1","first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994999766349792,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994999766349792,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9987000226974487,"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.998199999332428,"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/mathematics","display_name":"Mathematics","score":0.8162800073623657},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.7512614727020264},{"id":"https://openalex.org/keywords/sign","display_name":"Sign (mathematics)","score":0.5997546315193176},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5978128910064697},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5907273292541504},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5709717869758606},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5560636520385742},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.5266756415367126},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.5158697366714478},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.4731912612915039},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.46982693672180176},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.45695236325263977},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.44015103578567505},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.42179441452026367},{"id":"https://openalex.org/keywords/symmetric-function","display_name":"Symmetric function","score":0.41742849349975586},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08218979835510254}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8162800073623657},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7512614727020264},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.5997546315193176},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5978128910064697},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5907273292541504},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5709717869758606},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5560636520385742},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.5266756415367126},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.5158697366714478},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.4731912612915039},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.46982693672180176},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.45695236325263977},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.44015103578567505},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.42179441452026367},{"id":"https://openalex.org/C3746008","wikidata":"https://www.wikidata.org/wiki/Q981351","display_name":"Symmetric function","level":2,"score":0.41742849349975586},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08218979835510254},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0895480191218496","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0895480191218496","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","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":17,"referenced_works":["https://openalex.org/W1489774662","https://openalex.org/W1517585663","https://openalex.org/W1898653522","https://openalex.org/W1986804393","https://openalex.org/W1990284858","https://openalex.org/W1995563572","https://openalex.org/W2007671490","https://openalex.org/W2014593388","https://openalex.org/W2068149596","https://openalex.org/W2088543905","https://openalex.org/W2097575812","https://openalex.org/W2117508909","https://openalex.org/W2134490689","https://openalex.org/W2163137752","https://openalex.org/W2905110430","https://openalex.org/W2917103459","https://openalex.org/W4206794571"],"related_works":["https://openalex.org/W2487593933","https://openalex.org/W2064472354","https://openalex.org/W1967292023","https://openalex.org/W2061512596","https://openalex.org/W2486254595","https://openalex.org/W2296737955","https://openalex.org/W3204916073","https://openalex.org/W3006210518","https://openalex.org/W2009700110","https://openalex.org/W2055350589"],"abstract_inverted_index":{"All":[0],"Boolean":[1,15,33,67],"variables":[2,16,28],"here":[3],"range":[4],"over":[5],"the":[6,27,38,66,106,109,112,142,150,161,168,177],"two-element":[7],"set":[8],"$\\{":[9],"-":[10,60,80],"1,1":[11],"\\}$.":[12],"Given":[13],"n":[14],"$x_1":[17],",":[18],"\\ldots":[19],",x_n":[20],"$,":[21,48],"a":[22,32,180,184,190,195],"nonmonotone":[23,132],"MAJORITY":[24,133,155],"gate":[25],"(in":[26],"$x_i":[29],"$)":[30],"is":[31,37,55,65,78,97,176],"function":[34,64,68,96],"whose":[35,76,92],"value":[36,77,193],"sign":[39,93],"of":[40,69,108,111,122,141,154,163,170,179,183],"$\\Sigma":[41],"_{i":[42],"=":[43],"1}^n":[44],"\\varepsilon":[45,52],"_i":[46,53],"x_i":[47],"where":[49],"each":[50],"$":[51,54,59,79],"either":[56],"1":[57],"or":[58],"1$.":[61],"The":[62],"COMPARISON":[63],"two":[70,113,164],"n-bits":[71],"integers":[72],"X":[73,115],"and":[74,83,116,144,167,198],"Y":[75],"1$":[81],"if":[82,85],"only":[84,131],"$X\\geqq":[86],"Y$.":[87],"An":[88],"explicit":[89,120,152],"sparse":[90,185],"polynomial":[91],"computes":[94],"this":[95],"constructed.":[98],"Similar":[99],"polynomials":[100],"are":[101,137],"constructed":[102],"for":[103,157,194,203],"computing":[104,126],"all":[105,204],"bits":[107],"summation":[110],"numbers":[114,166],"Y.":[117],"This":[118],"supplies":[119],"constructions":[121,136,153],"depth-2":[123],"polynomial-size":[124],"circuits":[125,156],"these":[127],"functions,":[128],"which":[129],"use":[130],"gates.":[134],"These":[135],"optimal":[138],"in":[139],"terms":[140],"depth":[143],"can":[145],"be":[146],"used":[147],"to":[148],"obtain":[149],"best-known":[151],"other":[158,205],"functions":[159],"like":[160],"product":[162],"n-bit":[165],"maximum":[169],"nn-bit":[171],"numbers.":[172],"A":[173],"crucial":[174],"ingredient":[175],"construction":[178],"discrete":[181],"version":[182],"\u201cdelta":[186],"polynomial\u201d\u2014one":[187],"that":[188],"has":[189],"large":[191],"absolute":[192,201],"single":[196],"assignment":[197],"extremely":[199],"small":[200],"values":[202],"assignments.":[206]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}