Розглянуто задачу побудови тупикових довизначень часткових монотонних булевих функцій і показано, що вона є NP-повною. Доведення NP-повноти проводиться зведенням задачі покриття множин до задачі пошуку оптимального довизначення.

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