Мінімізація частково визначених функцій