{"id":"https://openalex.org/W197157737","doi":"https://doi.org/10.1051/ita/1993270402831","title":"On the positive and the inversion complexity of Boolean functions","display_name":"On the positive and the inversion complexity of Boolean functions","publication_year":1993,"publication_date":"1993-01-01","ids":{"openalex":"https://openalex.org/W197157737","doi":"https://doi.org/10.1051/ita/1993270402831","mag":"197157737"},"language":"en","primary_location":{"id":"doi:10.1051/ita/1993270402831","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1993270402831","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1993/04/ita1993270402831.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/1993/04/ita1993270402831.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017961306","display_name":"Valdas Di\u010di\u016bnas","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"V. Di\u010di\u016bnas","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017961306"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5212,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.58432651,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":"4","first_page":"283","last_page":"293"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9976999759674072,"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.9976999759674072,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9947999715805054,"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/T11130","display_name":"Coding theory and cryptography","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6567887663841248},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5736545920372009},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5372616648674011},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4615519046783447},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.4270693063735962},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.39935702085494995},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3382389545440674},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.32474377751350403},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.14534610509872437},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07128682732582092},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.06397989392280579}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6567887663841248},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5736545920372009},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5372616648674011},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4615519046783447},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.4270693063735962},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.39935702085494995},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3382389545440674},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32474377751350403},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14534610509872437},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07128682732582092},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.06397989392280579},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1051/ita/1993270402831","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1993270402831","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1993/04/ita1993270402831.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:edpsciences.org:dkey/10.1051/ita/1993270402831","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400744","display_name":"Springer Link (Chiba Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8488066","host_organization_name":"Chiba Institute of Technology","host_organization_lineage":["https://openalex.org/I8488066"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1051/ita/1993270402831","raw_type":"Text"},{"id":"pmh:oai:numdam.org:ITA_1993__27_4_283_0","is_oa":false,"landing_page_url":"https://www.numdam.org/item/ITA_1993__27_4_283_0/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1051/ita/1993270402831","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1993270402831","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1993/04/ita1993270402831.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W197157737.pdf","grobid_xml":"https://content.openalex.org/works/W197157737.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W1545207161","https://openalex.org/W1967516941","https://openalex.org/W2119024968"],"related_works":["https://openalex.org/W2059922809","https://openalex.org/W2387527986","https://openalex.org/W2479250593","https://openalex.org/W4283261428","https://openalex.org/W2131148043","https://openalex.org/W2092783274","https://openalex.org/W4318829426","https://openalex.org/W4391025849","https://openalex.org/W4384940451","https://openalex.org/W2389908864"],"abstract_inverted_index":{"We":[0,121],"study":[1],"unbounded":[2],"fan-in":[3],"circuits":[4,32,135,176],"over":[5],"the":[6,19,64,79,82,89,108],"bases":[7,141],"P":[8,142],"=":[9,15,148],"M\\J":[10],"{-i":[11,144],"f\\feM)":[12],"and":[13,30,39,88,105,115,118],"M'":[14,147],"M\\j{-\\":[16],"}":[17,153],"with":[18],"inputs":[20],"x":[21,22,27,157,162],",":[23,164],".":[24,25,159,160],".,":[26,161],"n":[28,49,163,196],"(positive":[29],"exmonotone":[31,45,96,190,245],"respectively).":[33],"It":[34,100],"was":[35],"proved":[36],"by":[37,70],"Santha":[38,114,181,260],"Wilson":[40,116,183,262],"[5]":[41,117,184,263],"that":[42],"any":[43,95],"depth-d":[44],"circuit":[46,85,97,189,231,244],"computing":[47,86,98],"PARITY":[48,195],"requires":[50],"at":[51],"least":[52],"Q(dn":[53,200],"lid":[54],")":[55,202],"ngations.":[56,203],"Using":[57],"similar":[58],"arguments":[59,207],"we":[60],"establish":[61],"relations":[62,212],"between":[63],"chain":[65],"complexity":[66],"ch":[67],"()":[68],"(defined":[69],"Wegener":[71,119,225,266],"in":[72,94],"[6])":[73],"of":[74,81,92,111],"a":[75],"Boolean":[76],"function":[77],"f":[78,87,99,222,235,247],"size":[80],"optimal":[83,233],"positive":[84],"minimal":[90],"number":[91],"ngations":[93,241],"allows":[101],"us":[102],"to":[103],"unify":[104],"slightly":[106],"improve":[107],"lower":[109],"bounds":[110,127],"Markov":[112,258],"[3],":[113,259],"[6],":[120],"also":[122],"give":[123],"almost":[124],"matching":[125],"upper":[126],"for":[128],"symmetrie":[129],"functions.":[130],"Rsum.":[131],"-Nous":[132],"tudions":[133],"les":[134,140,155,254,277],"degr":[136],"entrant":[137],"born":[138],"sur":[139,154],"-M[J":[143],"f:feM}":[145],"et":[146,182,236,251,261,264],"Af":[149],"U":[150],"{":[151],"~i":[152],"entres":[156],"lt":[158],"o":[165],"M":[166],"est":[167],"l'ensemble":[168],"des":[169,206,211,271],"fonctions":[170,278],"boolennes":[171],"monotones":[172],"(que":[173],"nous":[174,209],"appelons":[175],"positifs":[177],"e":[178],"exmonotones":[179],"respectivement).":[180],"ont":[185],"prouv":[186],"que":[187],"tout":[188,243],"de":[191,240,257,265],"profondeur":[192],"d":[193],"calculant":[194,234,246],"ncessitait":[197],"au":[198],"moins":[199],"lld":[201],"En":[204],"utilisant":[205],"semblables,":[208],"tablissons":[210],"entre":[213],"la":[214,228],"complexit":[215],"en":[216,226],"chaine":[217],"ch(f)":[218],"d'une":[219],"fonction":[220],"boolenne":[221],"{dfinie":[223],"par":[224],"[6]),":[227],"taille":[229],"d'un":[230],"positif":[232],"le":[237],"nombre":[238],"minimum":[239],"dans":[242],"Ceci":[248],"permet":[249],"d'unifier":[250],"d'amliorer":[252],"sensiblement":[253],"bornes":[255,272],"infrieures":[256],"[6].":[267],"Nous":[268],"donnons":[269],"aussi":[270],"suprieures":[273],"presque":[274],"exactes":[275],"pour":[276],"symtriques.":[279]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}