A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I
The paper presents a new method for the recognition of the different types of total and partial symmetry in Boolean functions based on the numeric set-theoretical differentiation. The proposed algorithm is based on the theorem on the recognition of different types of partial symmetry. This algorithm...
Gespeichert in:
| Veröffentlicht in: | Управляющие системы и машины |
|---|---|
| Datum: | 2019 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2019
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/161656 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I / B.Ye. Rytsar // Управляющие системы и машины. — 2019. — № 4. — С. 3-13. — Бібліогр.: 22 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862727868370386944 |
|---|---|
| author | Rytsar, B.Ye. |
| author_facet | Rytsar, B.Ye. |
| citation_txt | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I / B.Ye. Rytsar // Управляющие системы и машины. — 2019. — № 4. — С. 3-13. — Бібліогр.: 22 назв. — англ. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| description | The paper presents a new method for the recognition of the different types of total and partial symmetry in Boolean functions based on the numeric set-theoretical differentiation. The proposed algorithm is based on the theorem on the recognition of different types of partial symmetry. This algorithm, compared to the known, has a relatively less computational complexity of realization due to a comparatively smaller number of operations and procedures necessary for the accomplishment of the given task. This is proved by the presented examples for the recognition of the proposed method of the different types of symmetry in complete and incomplete of Boolean functions, including given in the SOP format, taken for comparison reasons from publications of the well-known authors.
Мета статті — розробити простий для реалізації метод розпізнавання різних типів повних і частинних симетрій як у повних, так і частково заданих булових функціях. Методи. У статті запропоновано новий метод розпізнавання різних типів повних і частинних симетрій, таких як полісиметрія, проста симетрія та антисиметрія, як у повністю, так і частинно заданих функціях на основі числового теоретико-множинного логікового диференціювання. Алгоритм методу ґрунтується на теоремі про розпізнавання різних типів частинних симетрій, який, порівняно з відомими, має відносно меншу обчислювальну складність за рахунок порівняно меншої кількості операцій і процедур, потрібних для виконання поставленої задачі. Результат. Справедливість доведеної теореми засвідчують приклади розпізнавання різних типів повних і частинних симетрій як у повністю заданих функціях (частина I), так і частково заданих функціях (частина II), у тому числі заданих у ДНФ, які з метою порівняння ефективності запропонованого алгоритму запозичено з публікацій відомих авторів.
Цель статьи — разработать простой в реализации метод распознавания разных типов полных и частичных симметрий, как в полных, так и частично заданных булевых функциях. Методы. В статье предложен новый метод распознавания разных типов полных и частичных симметрий, таких как полисимметрия, простая симметрия и антисимметрия, как в полностью, так и частично заданных функциях на основе численного теоретико-множественного логического дифференцирования. Алгоритм метода основан на теореме распознавания разных типов частичных симметрий, который, в сравнении с известными, имеет относительно меньшую вычислительную сложность благодаря сравнительно меньшему количеству операций и процедур, необходимых для выполнения поставленной задачи. Результат. Справедливость доказанной теоремы показывают примеры распознавания разных типов полных и частичных симметрий как в полностью заданных функциях (часть I), так и частично заданных функциях (часть II), в том числе заданных в ДНФ, которые с целью сравнения эффективности предложенного алгоритма взяты из публикаций известных авторов.
|
| first_indexed | 2025-12-07T19:05:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-161656 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | English |
| last_indexed | 2025-12-07T19:05:37Z |
| publishDate | 2019 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Rytsar, B.Ye. 2019-12-17T21:51:24Z 2019-12-17T21:51:24Z 2019 A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I / B.Ye. Rytsar // Управляющие системы и машины. — 2019. — № 4. — С. 3-13. — Бібліогр.: 22 назв. — англ. 0130-5395 DOI: https://doi.org/10.15407/csc.2019.04.003 https://nasplib.isofts.kiev.ua/handle/123456789/161656 519.713 The paper presents a new method for the recognition of the different types of total and partial symmetry in Boolean functions based on the numeric set-theoretical differentiation. The proposed algorithm is based on the theorem on the recognition of different types of partial symmetry. This algorithm, compared to the known, has a relatively less computational complexity of realization due to a comparatively smaller number of operations and procedures necessary for the accomplishment of the given task. This is proved by the presented examples for the recognition of the proposed method of the different types of symmetry in complete and incomplete of Boolean functions, including given in the SOP format, taken for comparison reasons from publications of the well-known authors. Мета статті — розробити простий для реалізації метод розпізнавання різних типів повних і частинних симетрій як у повних, так і частково заданих булових функціях. Методи. У статті запропоновано новий метод розпізнавання різних типів повних і частинних симетрій, таких як полісиметрія, проста симетрія та антисиметрія, як у повністю, так і частинно заданих функціях на основі числового теоретико-множинного логікового диференціювання. Алгоритм методу ґрунтується на теоремі про розпізнавання різних типів частинних симетрій, який, порівняно з відомими, має відносно меншу обчислювальну складність за рахунок порівняно меншої кількості операцій і процедур, потрібних для виконання поставленої задачі. Результат. Справедливість доведеної теореми засвідчують приклади розпізнавання різних типів повних і частинних симетрій як у повністю заданих функціях (частина I), так і частково заданих функціях (частина II), у тому числі заданих у ДНФ, які з метою порівняння ефективності запропонованого алгоритму запозичено з публікацій відомих авторів. Цель статьи — разработать простой в реализации метод распознавания разных типов полных и частичных симметрий, как в полных, так и частично заданных булевых функциях. Методы. В статье предложен новый метод распознавания разных типов полных и частичных симметрий, таких как полисимметрия, простая симметрия и антисимметрия, как в полностью, так и частично заданных функциях на основе численного теоретико-множественного логического дифференцирования. Алгоритм метода основан на теореме распознавания разных типов частичных симметрий, который, в сравнении с известными, имеет относительно меньшую вычислительную сложность благодаря сравнительно меньшему количеству операций и процедур, необходимых для выполнения поставленной задачи. Результат. Справедливость доказанной теоремы показывают примеры распознавания разных типов полных и частичных симметрий как в полностью заданных функциях (часть I), так и частично заданных функциях (часть II), в том числе заданных в ДНФ, которые с целью сравнения эффективности предложенного алгоритма взяты из публикаций известных авторов. en Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Fundamental Problems in Computer Science A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I Новий метод розпізнавання симетрії у булових функціях на основі теоретико-множинного логікового диференціювання. I Новый метод распознавания симметрии в булевых функциях на основе теоретико-множественного логического дифференцирования. І Article published earlier |
| spellingShingle | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I Rytsar, B.Ye. Fundamental Problems in Computer Science |
| title | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I |
| title_alt | Новий метод розпізнавання симетрії у булових функціях на основі теоретико-множинного логікового диференціювання. I Новый метод распознавания симметрии в булевых функциях на основе теоретико-множественного логического дифференцирования. І |
| title_full | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I |
| title_fullStr | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I |
| title_full_unstemmed | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I |
| title_short | A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I |
| title_sort | new method for symmetry recognition in boolean functions based on the set-theoretical logic differentiation. i |
| topic | Fundamental Problems in Computer Science |
| topic_facet | Fundamental Problems in Computer Science |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/161656 |
| work_keys_str_mv | AT rytsarbye anewmethodforsymmetryrecognitioninbooleanfunctionsbasedonthesettheoreticallogicdifferentiationi AT rytsarbye noviimetodrozpíznavannâsimetrííubulovihfunkcíâhnaosnovíteoretikomnožinnogologíkovogodiferencíûvannâi AT rytsarbye novyimetodraspoznavaniâsimmetriivbulevyhfunkciâhnaosnoveteoretikomnožestvennogologičeskogodifferencirovaniâí AT rytsarbye newmethodforsymmetryrecognitioninbooleanfunctionsbasedonthesettheoreticallogicdifferentiationi |