Генерирование тестовых задач о покрытии и разбиении

Предложен алгоритм генерирования тестовых взвешенных задач о покрытии и разбиении – известных классов задач булева программирования. Генерируемые задачи имеют единственный целочисленный оптимум, который легко определяется в процессе их построения. Среди тестовых задач отсутствуют такие, которые могут быть решены как задачи линейного программирования.