Бинарная линейная алгебра

From

Mike Bolshakoff ()

To

All

Date

2002-09-27T13:36:20Z

Area

RU.ALGORITHMS

From: Mike Bolshakoff <ttw@eurocom.od.ua>

Hi, All!

Ой, чует мое сердце, велосипед я тута изобретаю... Если кто знает,
киньте в меня идейкой, плз. И моя благодарность не будет знать
границ в пределах разумного. :)

В-обчем, задача: Имеется система M линейных уравнений с N переменными.
M и N исчисляются десятками, N > M. Все переменные и все элементы
матрицы левой части могут принимать исключительно значения 0 и 1.
Само собою, элементы вектора правой части - натуральные числа.

Требуется найти: Нет, не все решения системы, и даже не какое-то
одно из них. Нужно только по возможности кратчайшим путем установить,
что какая-то - даже не важно какая - из переменных не может быть
нулем или не может быть единицей. (Задача верхнего уровня такова,
что после нахождения такого "решения" исходная система более не
актуальна.)

Поможет любая инфа (идеально e-учебник) по сабжу.
 

С уважением,
Mike W. Bolshakoff
<mailto:ttw@eurocom.od.ua>
--- ifmail v.2.15dev5
 * Origin: Demos online service (2:5020/400)