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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Automatic control and computer sciences Ročník 58; číslo 7; s. 808 - 826
Hlavní autori: Bystrov, L. Y., Kuzmin, E. V.
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