Порождение правильных семейств функций

В работе показано, что задача проверки правильности семейства функций при компактном задании входа является coNP-полной, а также предложены процедуры для порождения множества всех правильных семейств заданного порядка и равномерного распределения на этом множестве.