{"id":"https://openalex.org/W1493450096","doi":"https://doi.org/10.1007/1-4020-8141-3_8","title":"Reversible Circuit Realizations of Boolean Functions","display_name":"Reversible Circuit Realizations of Boolean Functions","publication_year":2006,"publication_date":"2006-02-21","ids":{"openalex":"https://openalex.org/W1493450096","doi":"https://doi.org/10.1007/1-4020-8141-3_8","mag":"1493450096"},"language":"en","primary_location":{"id":"doi:10.1007/1-4020-8141-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_8.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010757375","display_name":"Alex Brodsky","orcid":"https://orcid.org/0000-0003-2606-3299"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Alex Brodsky","raw_affiliation_strings":["Department of Computer Science, University of Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5010757375"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.06160013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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":1.0,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9965999722480774,"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/T10237","display_name":"Cryptography and Data Security","score":0.9912999868392944,"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/boolean-function","display_name":"Boolean function","score":0.8173391222953796},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.7370235919952393},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.7126631736755371},{"id":"https://openalex.org/keywords/toffoli-gate","display_name":"Toffoli gate","score":0.6350811719894409},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5815922617912292},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.5804458856582642},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.5520079135894775},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5268365740776062},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5212517380714417},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5202221274375916},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5119727849960327},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.5057361125946045},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5020637512207031},{"id":"https://openalex.org/keywords/reversible-computing","display_name":"Reversible computing","score":0.4415300190448761},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.4355345666408539},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3493230938911438},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.32907727360725403},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.2910802662372589},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.28907275199890137},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.22099176049232483},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.18498051166534424},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.17525461316108704},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14568912982940674},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.07363840937614441},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07190492749214172}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.8173391222953796},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.7370235919952393},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.7126631736755371},{"id":"https://openalex.org/C142465778","wikidata":"https://www.wikidata.org/wiki/Q2502619","display_name":"Toffoli gate","level":5,"score":0.6350811719894409},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5815922617912292},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.5804458856582642},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.5520079135894775},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5268365740776062},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5212517380714417},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5202221274375916},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5119727849960327},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.5057361125946045},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5020637512207031},{"id":"https://openalex.org/C20274610","wikidata":"https://www.wikidata.org/wiki/Q185410","display_name":"Reversible computing","level":4,"score":0.4415300190448761},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.4355345666408539},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3493230938911438},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.32907727360725403},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.2910802662372589},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.28907275199890137},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.22099176049232483},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.18498051166534424},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.17525461316108704},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14568912982940674},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.07363840937614441},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07190492749214172},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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.1007/1-4020-8141-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_8.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/1-4020-8141-3_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_8.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1493450096.pdf","grobid_xml":"https://content.openalex.org/works/W1493450096.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1604502333","https://openalex.org/W1714309314","https://openalex.org/W1971498088","https://openalex.org/W1983034427","https://openalex.org/W1995875735","https://openalex.org/W2012206667","https://openalex.org/W2019191011","https://openalex.org/W2022763264","https://openalex.org/W2031451638","https://openalex.org/W2039140951","https://openalex.org/W2041905826","https://openalex.org/W2061073612","https://openalex.org/W2068967633","https://openalex.org/W2069149225","https://openalex.org/W2101088258","https://openalex.org/W2102008187","https://openalex.org/W2104952158","https://openalex.org/W2105259569","https://openalex.org/W2110365994","https://openalex.org/W2136462002","https://openalex.org/W2172146936","https://openalex.org/W2912120411","https://openalex.org/W2912318510","https://openalex.org/W2993383518","https://openalex.org/W3023478445","https://openalex.org/W3102133905","https://openalex.org/W4233798822","https://openalex.org/W4251109627","https://openalex.org/W6637625773","https://openalex.org/W6648982606"],"related_works":["https://openalex.org/W3183260494","https://openalex.org/W2103915620","https://openalex.org/W3204916073","https://openalex.org/W2077017336","https://openalex.org/W2055594799","https://openalex.org/W2070989708","https://openalex.org/W2503131003","https://openalex.org/W2611822924","https://openalex.org/W1487679090","https://openalex.org/W1930088680"],"abstract_inverted_index":{"Reversible":[0],"circuits":[1,43],"are":[2],"a":[3,30,34,66,83,93,106,118,125],"concrete":[4,133],"model":[5],"of":[6,19,41,55,57,78,138,174],"reversible":[7,35,52,85,120],"computation":[8],"with":[9],"applications":[10],"in":[11],"areas":[12],"such":[13,42,141,166],"as":[14,142],"quantum":[15,175],"computing":[16],"and":[17,60,146],"analysis":[18],"cryptographic":[20],"block":[21],"cyphers.":[22],"In":[23],"1980,":[24],"Toffoli":[25],"showed":[26],"how":[27],"to":[28],"realize":[29],"Boolean":[31,58,79,94,112,139],"function":[32,95,113],"by":[33,117],"circuit,":[36],"however":[37],"the":[38,51,111,128,143,154,171],"resulting":[39],"complexity":[40,54],"has":[44,105],"remained":[45],"an":[46,100],"open":[47],"problem.":[48],"We":[49],"investigate":[50],"circuit":[53,86],"families":[56,77,137],"functions":[59,80],"derive":[61,73],"conditions":[62,75],"that":[63,81,91,104],"characterize":[64],"whether":[65],"polynomial":[67],"realization":[68],"is":[69,163],"possible.":[70],"First,":[71],"we":[72,89,123,131],"sufficient":[74],"on":[76],"guarantee":[82],"polynomial-size":[84,107,119,160],"realization.":[87,129],"Namely,":[88],"show":[90],"if":[92],"can":[96,114],"be":[97,115],"embedded":[98],"into":[99],"even":[101],"parity":[102],"permutation":[103],"cycle":[108],"representation,":[109],"then":[110],"realized":[116],"circuit.":[121],"Furthermore,":[122],"provide":[124,132],"construction":[126],"for":[127,135],"Second,":[130],"realizations":[134,167],"several":[136],"functions,":[140,148],"adder,":[144],"incrementor,":[145],"threshold":[147],"which":[149],"do":[150],"not":[151],"necessarily":[152,169],"satisfy":[153],"preceding":[155],"condition,":[156],"but":[157],"still":[158],"have":[159],"realizations;":[161],"this":[162],"important":[164],"because":[165],"will":[168],"form":[170],"building":[172],"blocks":[173],"computers.":[176]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2015,"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"}