NP-полнота задачи доопределения частичных монотонных булевых функцийтезисы доклада