Факультет прикладной математики — процессов управления
Co-NP and CoNP-Completeness