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