Zhegalkin Polynomial of a Multiary Sole Sufficient Operator
— Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are not limited to the binarity case. In this paper, we formulate conditions imposed on the Zhegalkin polynomial coefficients that are necessary a...
Uložené v:
| Vydané v: | Automatic control and computer sciences Ročník 58; číslo 7; s. 808 - 826 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Moscow
Pleiades Publishing
01.12.2024
Springer Nature B.V |
| Predmet: | |
| ISSN: | 0146-4116, 1558-108X |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | —
Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are not limited to the binarity case. In this paper, we formulate conditions imposed on the Zhegalkin polynomial coefficients that are necessary and sufficient for the polynomial to correspond to a sole sufficient operator. The polynomial representation of constant-preserving Boolean functions is considered. It is shown that the properties of monotonicity and linearity do not need to be specifically considered when describing a sole sufficient operator. The concept of a dual remainder polynomial is introduced; the value of it allows one to determine the self-duality of a Boolean function. It is proven that a Boolean function preserving 0 and 1 or preserving neither 0 nor 1 is self-dual if and only if the dual remainder of the corresponding Zhegalkin polynomial is 0 for any sets of values of the function variables. The system of leading coefficients is obtained based on this fact. The solution of the system makes it possible to formulate a criterion for the self-duality of a Boolean function represented by a Zhegalkin polynomial, which imposes necessary and sufficient conditions on the polynomial coefficients. Thus, it is shown that Zhegalkin polynomials are a rather convenient tool for studying precomplete classes of Boolean functions. |
|---|---|
| AbstractList | Abstract—Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are not limited to the binarity case. In this paper, we formulate conditions imposed on the Zhegalkin polynomial coefficients that are necessary and sufficient for the polynomial to correspond to a sole sufficient operator. The polynomial representation of constant-preserving Boolean functions is considered. It is shown that the properties of monotonicity and linearity do not need to be specifically considered when describing a sole sufficient operator. The concept of a dual remainder polynomial is introduced; the value of it allows one to determine the self-duality of a Boolean function. It is proven that a Boolean function preserving 0 and 1 or preserving neither 0 nor 1 is self-dual if and only if the dual remainder of the corresponding Zhegalkin polynomial is 0 for any sets of values of the function variables. The system of leading coefficients is obtained based on this fact. The solution of the system makes it possible to formulate a criterion for the self-duality of a Boolean function represented by a Zhegalkin polynomial, which imposes necessary and sufficient conditions on the polynomial coefficients. Thus, it is shown that Zhegalkin polynomials are a rather convenient tool for studying precomplete classes of Boolean functions. — Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are not limited to the binarity case. In this paper, we formulate conditions imposed on the Zhegalkin polynomial coefficients that are necessary and sufficient for the polynomial to correspond to a sole sufficient operator. The polynomial representation of constant-preserving Boolean functions is considered. It is shown that the properties of monotonicity and linearity do not need to be specifically considered when describing a sole sufficient operator. The concept of a dual remainder polynomial is introduced; the value of it allows one to determine the self-duality of a Boolean function. It is proven that a Boolean function preserving 0 and 1 or preserving neither 0 nor 1 is self-dual if and only if the dual remainder of the corresponding Zhegalkin polynomial is 0 for any sets of values of the function variables. The system of leading coefficients is obtained based on this fact. The solution of the system makes it possible to formulate a criterion for the self-duality of a Boolean function represented by a Zhegalkin polynomial, which imposes necessary and sufficient conditions on the polynomial coefficients. Thus, it is shown that Zhegalkin polynomials are a rather convenient tool for studying precomplete classes of Boolean functions. |
| Author | Bystrov, L. Y. Kuzmin, E. V. |
| Author_xml | – sequence: 1 givenname: L. Y. orcidid: 0000-0002-0610-5466 surname: Bystrov fullname: Bystrov, L. Y. email: bystrovl0306@mail.ru organization: Demidov Yaroslavl State University (YSU) – sequence: 2 givenname: E. V. orcidid: 0000-0003-0500-306X surname: Kuzmin fullname: Kuzmin, E. V. email: kuzmin@uniyar.ac.ru organization: Demidov Yaroslavl State University (YSU) |
| BookMark | eNplkEtLw0AUhQepYFv9Ae4GXEfvnVcirqT4gkqFKIibMEluamqciZNk0X9vagUXbs5dfB_3wJmxifOOGDtFOJcI8iIFVEYhGqFiABHrAzZFrZMIIXmdsOkORzt-xGZdtwEYWWKm7Ortnda2-agdf_LN1vnP2jbcV9zyx6Hpaxu2PPUN8XSoqrqoyfV81VKwvQ_H7LCyTUcnv3fOXm5vnhf30XJ197C4XkYtatNHMSIUhdFCWyG0AJDWUKnB5LmwMs4pLi4Bx0yqUijAHEhTIU1FpZKFUXLOzvZ_2-C_Bur6bOOH4MbKTAqtEoXxjyX2VteG2q0p_FkI2W6k7N9I8ht60lo0 |
| ContentType | Journal Article |
| Copyright | Allerton Press, Inc. 2024 ISSN 0146-4116, Automatic Control and Computer Sciences, 2024, Vol. 58, No. 7, pp. 808–826. © Allerton Press, Inc., 2024.Russian Text © The Author(s), 2023, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2023, Vol. 30, No. 2, pp. 106–127. Allerton Press, Inc. 2024. |
| Copyright_xml | – notice: Allerton Press, Inc. 2024 ISSN 0146-4116, Automatic Control and Computer Sciences, 2024, Vol. 58, No. 7, pp. 808–826. © Allerton Press, Inc., 2024.Russian Text © The Author(s), 2023, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2023, Vol. 30, No. 2, pp. 106–127. – notice: Allerton Press, Inc. 2024. |
| DBID | 8FE 8FG ABJCF AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| DOI | 10.3103/S0146411624700275 |
| DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
| DatabaseTitle | Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1558-108X |
| EndPage | 826 |
| ExternalDocumentID | 10_3103_S0146411624700275 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C -~X .86 .VR 06D 0R~ 0VY 1N0 23N 2J2 2JN 2JY 2KG 2KM 2LR 2VQ 2~H 30V 4.4 408 40D 40E 5GY 5VS 6NX 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABDZT ABECU ABFTD ABFTV ABHQN ABJNI ABJOX ABKCH ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACCUX ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADRFC ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AEOHA AEPYU AETLH AEVLU AEXYK AFBBN AFFNX AFGCZ AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AI. AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ AXYYD B-. BA0 BDATZ BGNMA CAG COF CS3 DDRTE DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 H13 HF~ HG6 HLICF HMJXF HRMNR HZ~ IJ- IKXTQ IWAJR I~X I~Z J-C JBSCW JZLTJ KOV LLZTM M4Y MA- NPVJJ NQJWS NU0 O9- O93 O9J P9O PF0 PT4 QOS R89 R9I RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TN5 TSG TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW VH1 W48 WK8 XU3 YLTOR Z7R Z83 Z88 ZMTXR ~A9 8FE 8FG AAPKM ABDBE ABFSG ABJCF ABRTQ ACSTC AEZWR AFDZB AFHIU AFKRA AFOHR AHPBZ AHWEU AIXLP ARAPS ATHPR AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M7S P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| ID | FETCH-LOGICAL-p156t-7110cc6525a2252003a6ed506bb2a37be7c901e7c8fd2401b0e5ec36fed43c643 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001421219900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0146-4116 |
| IngestDate | Tue Dec 02 07:51:43 EST 2025 Fri Feb 21 02:47:45 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 7 |
| Keywords | dual remainder polynomial constant-preserving Boolean functions self-dual Boolean functions Zhegalkin polynomial leading coefficient sole sufficient operator Sheffer function precomplete classes |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-p156t-7110cc6525a2252003a6ed506bb2a37be7c901e7c8fd2401b0e5ec36fed43c643 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0002-0610-5466 0000-0003-0500-306X |
| PQID | 3254841764 |
| PQPubID | 2043879 |
| PageCount | 19 |
| ParticipantIDs | proquest_journals_3254841764 springer_journals_10_3103_S0146411624700275 |
| PublicationCentury | 2000 |
| PublicationDate | 20241200 20241201 |
| PublicationDateYYYYMMDD | 2024-12-01 |
| PublicationDate_xml | – month: 12 year: 2024 text: 20241200 |
| PublicationDecade | 2020 |
| PublicationPlace | Moscow |
| PublicationPlace_xml | – name: Moscow – name: New York |
| PublicationTitle | Automatic control and computer sciences |
| PublicationTitleAbbrev | Aut. Control Comp. Sci |
| PublicationYear | 2024 |
| Publisher | Pleiades Publishing Springer Nature B.V |
| Publisher_xml | – name: Pleiades Publishing – name: Springer Nature B.V |
| SSID | ssj0055886 |
| Score | 2.2942984 |
| Snippet | —
Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are... Abstract—Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability... |
| SourceID | proquest springer |
| SourceType | Aggregation Database Publisher |
| StartPage | 808 |
| SubjectTerms | Boolean Boolean functions Codes Computer Science Control Structures and Microprogramming Operators (mathematics) Polynomials Variables |
| SummonAdditionalLinks | – databaseName: ProQuest Central dbid: BENPR link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagZYCBN6JQkAc2ZDWJH3HEgAC1YioVBaliqWzHERVVUpoWqf-ec5qoPCQWlgyJbEW-8913vvN9CF1EPIl4BBIwXpQQpiUjUiecWCloAPA2jGVSkE2E3a4cDKJeeeCWl2WVlU0sDHWcGXdG3qIQyUjmh4JdT96JY41y2dWSQmMd1V2nMtDz-m2723usbDHnsuB6dB1SCPN9scxrOm6tlitrEu5dwEIXnPFvGPNHWrTwNp2d__7nLtoucSa-WSrGHlqz6T7a-tJ98ABdvbxa8A9voxT3svHC3U-GEVmCFS6u5arpAvezscX9edFnAtwTfpjYIi9_iJ477ae7e1JyKZAJRGgzEoKbN0bwgCvYwa4iTQkbc09oHSgaahsaQAbwlEkMTt7XnuXWUJHYmFEDsOUI1dIstccIK98wraigMXVmNtAwjfQVDRS3MMhroGa1MsNyQ-TD1bI00GW1tqvPEIo4oQx_CeXk78lO0WYAKGNZX9JEtdl0bs_QhvmYjfLpeakNn8kfuqI priority: 102 providerName: ProQuest |
| Title | Zhegalkin Polynomial of a Multiary Sole Sufficient Operator |
| URI | https://link.springer.com/article/10.3103/S0146411624700275 https://www.proquest.com/docview/3254841764 |
| Volume | 58 |
| WOSCitedRecordID | wos001421219900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1558-108X dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: P5Z dateStart: 20230201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1558-108X dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: K7- dateStart: 20230201 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1558-108X dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: M7S dateStart: 20230201 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1558-108X dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: BENPR dateStart: 20230201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: Springer Nature - Connect here FIRST to enable access customDbUrl: eissn: 1558-108X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: RSV dateStart: 20070201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5s60EPVqtitYY9eJNgks1uNnhSaRGEWqxK6aVskg0WS1L6EPrvnd0m-LzoZS-ZDGGy8_iYF8BZyNKQhfgHYidMbT8Svi2ilNlKcOpheBskIjXLJoJuVwwGYa_o456X1e5lStJYaoMrHXqhy5C477rc8wMNplgFakwPm9EQvf9cml_GhFnvqKltTb5OZf7O4ktY-S0TahxMp_6vT9uFnSKeJFfrC7AHGyprQL3c1UAK1W3A9qfBg_twOXxR6Bpexxnp5ZOVbk1GJnlKJDEduXK2Iv18okh_aUZMoGci91NlUvIH8NRpP97c2sUaBXuK4GxhB-jh45gzj0lUXl2MJrlKmMOjyJM0iFQQY1CAp0gT9O9u5CimYspTlfg0xojlEKpZnqkjINKN_UhSThOqLawXIRvhSupJpvAlpwmtUp6jQhfmI4oYVPhuwP0mnJfy-3iMKEQLcfRDiMd_oj6BLQ_jjXWlSQuqi9lSncJm_LYYz2cW1K7b3d6DBZW7wLZ0gWcfzx4bWubyvAODpLiZ |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3JSsRAEC3cQD24i8uofdCTNE56SwcREReU0VFQQbyMnU4HRZmMsyjzU36j1ZkJbuDNg5ccEroIqdf1qlLVVQDrkUwjGaEGbDlKqYi1oDpOJXVacYbubZjoNB82EVar-uYmuhiAt-IsjC-rLGxibqiTzPp_5FscIxktglCJ3cYz9VOjfHa1GKHRg0XFdV8xZGvtnBygfjcYOzq82j-m_akCtIGxSpuGSHjWKsmkQSz72iyjXCLLKo6Z4WHsQosciVedJkh3QVx20lmuUpcIbpHAUe4gDAuuld9RlZAWll9KnU-W9P1YqAgC1cui-kleW76ISvl7TIQ-FJRfPNpvSdic244m_9tXmYKJvhdN9nqwn4YBV5-B8U-9FWdh-_beIfs9PtTJRfbU9aevcUWWEkPyQ8em2SWX2ZMjl528iwaSLzlvuLzqYA6u_-Tt52GontXdAhATWBEbrnjCPYmwGMXowHBmpMNF5UUoFZqo9bd7q_ahhkXYLHT58RgDLQ-C2g8QLP0ubA1Gj6_OTmunJ9XKMowx9Kd6lTQlGGo3O24FRuxL-6HVXM1xSODur1X8DmK8FXY |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB60iujBalWsVt2DNwlNso9s8CRqUZRarErxEjbJBoslLX0I_ffO5oHPi3jJJZthmezsfB_zAjj2eeJzH_9AZPuJxULJLBkm3NJSUBfhrRfLJBs24bXbstfzO8Wc00mZ7V6GJPOaBtOlKZ02R3HSzDimTZsmJUkwxxEu8wyx4ouwxJDImJyu--5TeRVzLrNRj2a1ZZbnYc3fRXyBmN-iopmzaVX_vc0NWC9wJjnLD8YmLOi0BtVyhgMpTLoGa58aEm7B6fOLRpfx2k9JZziYm5JlFDJMiCJZpa4az0l3ONCkO8taT-BWyN1IZ6H6bXhsXT6cX1nFeAVrhKRtanno-aNIcJcrNGqTpKaEjrktwtBV1Au1FyFYwKdMYvT7TmhrriMqEh0zGiGS2YFKOkz1LhDlRCxUVNCYmpvXDVGMdBR1Fdf4kV2HRqnboLCRSUCRm0rmeILV4aTU5cdrZCdGicEPJe79afURrHQuWsHtdftmH1ZdhCR5MkoDKtPxTB_AcvQ27U_Gh9nJeQe0mL__ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Zhegalkin+Polynomial+of+a+Multiary+Sole+Sufficient+Operator&rft.jtitle=Automatic+control+and+computer+sciences&rft.au=Bystrov%2C+L.+Y.&rft.au=Kuzmin%2C+E.+V.&rft.date=2024-12-01&rft.pub=Pleiades+Publishing&rft.issn=0146-4116&rft.eissn=1558-108X&rft.volume=58&rft.issue=7&rft.spage=808&rft.epage=826&rft_id=info:doi/10.3103%2FS0146411624700275&rft.externalDocID=10_3103_S0146411624700275 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0146-4116&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0146-4116&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0146-4116&client=summon |