О распознавательном и вычислительном вариантах задачи «выполнимость»
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О распознавательном и вычислительном вариантах задачи «выполнимость»
Про розпізнавальний та обчислювальний варіанти завдання "здійснимість" About recognizing and calculable variants of task "executableness" |
|
| Creator |
С.В. Листровой
Е.С. Листровая С.В. Лістровий Є.С.Лістрова S. Listrovoj E. Listrovaya |
|
| Subject |
Математичні моделі та методи
УДК 681.324 |
|
| Description |
В работе показано, что вариант распознавания, выполнима ли произвольная булева функция или нет, полиномиально разрешим, а вычислительный вариант задачи, когда нужно указать набор переменных, на котором функция принимает значение «истинно», имеет экспоненциальную сложность.
У роботі показано, що варіант розпізнавання чи здійснима довільна булева функція чи ні, поліноміальний вирішуваний, а обчислювальний варіант завдання, коли потрібно вказати набір змінних, на якому функція приймає значення «істинно», має експоненціальну складність. It is in-process rotined that variant of recognition whether executable arbitrary a function is boole or not, polynomially solvable, and calculable variant of task, at proper the time to specify the set of variables, on which a function takes on a value «truly», has exponential complication. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2006
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/5220
|
|
| Source |
Системи обробки інформації. — 2006. — № 6(55). 184-188
Системы обработки информации. — 2006. — № 6(55). 184-188 Information Processing Systems. — 2006. — № 6(55). 184-188 1681-7710 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/5220/soi_2006_6_29.pdf
|
|