1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 6(55)'2006
  5. О распознавательном и вычислительном вариантах задачи «выполнимость»

О распознавательном и вычислительном вариантах задачи «выполнимость»

С.В. Листровой, Е.С. Листровая
Системи обробки інформації. — 2006. — № 6(55). – С. 184-188.
УДК 681.324
Мова статті: російська
Анотації на мовах:

В работе показано, что вариант распознавания, выполнима ли произвольная булева функция или нет, полиномиально разрешим, а вычислительный вариант задачи, когда нужно указать набор переменных, на котором функция принимает значение «истинно», имеет экспоненциальную сложность.
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Листровой С.В. О распознавательном и вычислительном вариантах задачи «выполнимость» / С.В. Листровой, Е.С. Листровая  // Системи обробки інформації. – 2006. – № 6(55). – С. 184-188.