Аннотация:
Показана эквивалентность существования корректирующего алгоритма с весами, имеющего заданную информационную матрицу, существованию неотрицательного решения системы линейных неравенств
специального вида. Найдено необходимое и достаточное условие существования булева решения таких систем линейных неравенств и показана его устойчивость. Предложен алгоритм сокращенного перебора
для поиска булевых решений таких систем линейных неравенств.