{"id":"https://openalex.org/W1969850363","doi":"https://doi.org/10.1137/0220036","title":"Boolean Functions, Invariance Groups, and Parallel Complexity","display_name":"Boolean Functions, Invariance Groups, and Parallel Complexity","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W1969850363","doi":"https://doi.org/10.1137/0220036","mag":"1969850363"},"language":"en","primary_location":{"id":"doi:10.1137/0220036","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0220036","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/A5096946526","display_name":"Peter Colte","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Peter Colte","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5003125546","display_name":"Evangelos Kranakis","orcid":"https://orcid.org/0000-0002-8959-4428"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Evangelos Kranakis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5096946526"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0262,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.72202532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"20","issue":"3","first_page":"553","last_page":"590"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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.9998000264167786,"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.9986000061035156,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9986000061035156,"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/mathematics","display_name":"Mathematics","score":0.7597869634628296},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7217769026756287},{"id":"https://openalex.org/keywords/permutation-group","display_name":"Permutation group","score":0.6547677516937256},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.5127123594284058},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4891960620880127},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47377848625183105},{"id":"https://openalex.org/keywords/symmetric-group","display_name":"Symmetric group","score":0.42874765396118164},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.425637423992157}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7597869634628296},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7217769026756287},{"id":"https://openalex.org/C92957085","wikidata":"https://www.wikidata.org/wiki/Q1412905","display_name":"Permutation group","level":3,"score":0.6547677516937256},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.5127123594284058},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4891960620880127},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47377848625183105},{"id":"https://openalex.org/C128622974","wikidata":"https://www.wikidata.org/wiki/Q849512","display_name":"Symmetric group","level":2,"score":0.42874765396118164},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.425637423992157},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0220036","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0220036","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":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1504086036","https://openalex.org/W1567271607","https://openalex.org/W1966053044","https://openalex.org/W1967575173","https://openalex.org/W1996686336","https://openalex.org/W2017205387","https://openalex.org/W2035160364","https://openalex.org/W2049571876","https://openalex.org/W2060270693","https://openalex.org/W2063584607","https://openalex.org/W2068422506","https://openalex.org/W2072817517","https://openalex.org/W2076472148","https://openalex.org/W2139569497","https://openalex.org/W2319687906","https://openalex.org/W2320835389","https://openalex.org/W2917893419","https://openalex.org/W4240149841","https://openalex.org/W4301662502"],"related_works":["https://openalex.org/W2952176788","https://openalex.org/W4291747144","https://openalex.org/W131839596","https://openalex.org/W3133665497","https://openalex.org/W209367526","https://openalex.org/W3013480779","https://openalex.org/W4292719633","https://openalex.org/W3101611711","https://openalex.org/W3013156496","https://openalex.org/W4251766710"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,28,79,116,121,141,144,159,163,181,204,220,230,237,305],"invariance":[4,100,182],"groups":[5,54,104,225,313],"${\\bf":[6,123,177],"S}(f)$":[7],"of":[8,30,53,58,78,120,136,143,147,162,165,184,201,206,222,239,271,274,307,312,314],"boolean":[9,96],"functions":[10,97],"$f":[11,84,127],"\\in":[12,85,128],"{\\bf":[13,86,107,129],"B}_n":[14,87,130],"$":[15,109,131,157,257],"(i.e.,":[16],"$f:\\{":[17],"0,1\\}":[18,22],"^n":[19],"\\to":[20],"\\{":[21],"$)":[23],"on":[24,33,219],"n":[25,34,174,202,213],"variables,":[26],"i.e.,":[27],"set":[29,164],"all":[31,166],"permutations":[32],"elements":[35],"which":[36,170],"leave":[37],"f":[38],"invariant.":[39],"After":[40],"building":[41],"intuition":[42],"by":[43,290],"presenting":[44],"several":[45],"examples":[46],"that":[47,92,247,304],"suggest":[48],"relations":[49],"between":[50],"algebraic":[51],"properties":[52],"and":[55,61,175,203,258,278],"computational":[56],"complexity":[57,146],"languages,":[59],"necessary":[60,277],"sufficient":[62,279],"conditions":[63,280],"are":[64,196],"given":[65,117,270],"via":[66],"P\u00f3lya\u2019s":[67],"cycle":[68],"index":[69,188,209,221,252,286,316],"for":[70,82,113,125,281,309],"an":[71,267],"arbitrary":[72],"finite":[73,240],"permutation":[74,224],"group":[75,118,137,183],"to":[76,245,287],"be":[77,158,180,288],"form":[80,122],"$S(f)$,":[81],"some":[83,126],"$.":[88,186,263,321],"It":[89],"is":[90,119,132,149,210,214,226,253,269,302,317],"shown":[91,303],"asymptotically":[93],"\u201calmost":[94],"all\u201d":[95],"have":[98,171],"trivial":[99],"groups.":[101],"For":[102,151],"cyclic":[103],"$G":[105],"\\leqq":[106],"S}_n":[108,178,191,193],"a":[110,199,233,265,272,282,291,310],"logspace":[111],"algorithm":[112],"determining":[114],"whether":[115],"S}(f)$,":[124],"given.":[133],"The":[134,187],"applicability":[135],"theoretic":[138],"techniques":[139],"in":[140,168,212,236,243,254,260,318],"study":[142],"parallel":[145],"languages":[148,207],"demonstrated.":[150],"any":[152,248],"language":[153,249,283],"L":[154,169],"let":[155,176],"$L_n":[156,185],"characteristic":[160],"function":[161,200],"strings":[167],"length":[172],"exactly":[173],"(L)$":[179],"$|":[189],"{{\\bf":[190],":{\\bf":[192],"(L)}":[194],"|$":[195],"considered":[197],"as":[198],"class":[205],"whose":[208],"polynomial":[211,251,285,294,315],"studied.":[215],"Bochert\u2019s":[216],"lower":[217],"bound":[218],"primitive":[223],"used":[227],"together":[228],"with":[229,250,284],"O\u2019Nan-Scott":[231],"theorem,":[232],"deep":[234],"result":[235,273],"classification":[238],"simple":[241],"groups,":[242],"order":[244],"show":[246],"(nonuniform)":[255,261,319],"${\\text{TC}}^0":[256],"hence":[259],"${\\text{NC}}^1":[262,320],"As":[264,298],"corollary,":[266,300],"extension":[268],"Fagin\u2013Klawe-Pippenger\u2013Stockmeyer,":[275],"giving":[276],"computable":[289],"constant":[292],"depth":[293],"size":[295],"circuit":[296],"family.":[297],"another":[299],"it":[301],"problem":[306],"\u201cweight-swapping\u201d":[308],"sequence":[311]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":6}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}