INVESTIGATION OF DECOMPOSABILITY OF A SYSTEM OF BOOLEAN FUNCTIONS
Informatics
View Archive Info| Field | Value | |
| Title |
INVESTIGATION OF DECOMPOSABILITY OF A SYSTEM OF BOOLEAN FUNCTIONS
ИССЛЕДОВАНИЕ СВОЙСТВ РАЗЛОЖИМОСТИ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ |
|
| Creator |
S. Taghavi Afshord H.
Yu. Pottosin V. С. Тагави Афшорд Х.; Объединенный институт проблем информатики НАН Беларуси Ю. Поттосин В.; Объединенный институт проблем информатики НАН Беларуси |
|
| Subject |
—
— |
|
| Description |
A computer program is described which analyzes the decomposability of a system of Boolean functions and searches for an appropriate partition of the argument set. Three tasks linked with a system of Boolean functions are given: producing all solutions, searching for the best solution from the circuit complexity point of view, and finding a solution as quickly as possible, if the system is decomposable. The results of computer experiment for determining decomposability of systems of Boolean functions are given.
Описывается компьютерная программа, анализирующая разложимость системы булевых функций и отыскивающая подходящее для декомпозиции разбиение множества аргументов. Пред-ставленытризадачи, связанныесдвухблочной разделительной декомпозициейсистемыбулевыхфункций: получениевсехрешенийдекомпозиции, поиск лучшего решения с точки зрения размера схемы и на-хождение быстрого решения в случае разложимости системы.Приводятся результаты компьютер-ного эксперимента по определению разложимости систем булевых функций. |
|
| Publisher |
UIIP NASB
|
|
| Contributor |
—
— |
|
| Date |
2016-10-01
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — — |
|
| Format |
application/pdf
|
|
| Identifier |
http://inf.grid.by/jour/article/view/104
|
|
| Source |
Informatics; № 4 (2013); 94-103
Информатика; № 4 (2013); 94-103 1816-0301 |
|
| Language |
rus
|
|
| Relation |
http://inf.grid.by/jour/article/view/104/106
|
|
| Rights |
Authors who publish with this journal agree to the following terms:Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
Авторы, публикующие в данном журнале, соглашаются со следующим:Авторы сохраняют за собой авторские права на работу и предоставляют журналу право первой публикации работы на условиях лицензии Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.Авторы сохраняют право заключать отдельные контрактные договорённости, касающиеся не-эксклюзивного распространения версии работы в опубликованном здесь виде (например, размещение ее в институтском хранилище, публикацию в книге), со ссылкой на ее оригинальную публикацию в этом журнале.Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access). |
|