Показано, что SAT-задачу (satisfiability problem) нельзя считать универсальной NP-полной задачей, а следовательно, вопрос о существовании хотя бы одной NP-полной задачи остается открытым, чем объясняется безуспешность попыток установить взаимосвязь между классами P и NP.

Індекс рубрикатора НБУВ: В173.111

Рубрики:

Лінійне програмування

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Лістровий Сергій Володимирович (1950–2018) (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"