Отправлено: 25.04.16 05:37. Заголовок: Задачи 153 - 156

Пожалуйста, напишите решение одного из уравнений 153-156.
Я предполагаю, что когда делаешь замену 1 части уравнения zi=(xi=yi), получается система уравнений
(z1->z2)*(x1->x2)*(y1->y2)=1
(z2->z3)*(x2->x3)*(y2->y3)=1
и т.д

Можно ли её переписать в 3 строки как:
(z1->z2)*(x2->x3)*(z3->z4)*(x4->x5)*(z5->z6)*(x6->x7)=1
(x1->x2)*(x2->x3)*(x3->x4)*(x4->x5)*(x5->x6)*(x6->x7)=1
(y1->y2)*(y2->y3)*(y3->y4)*(y4->y5)*(y5->y6)*(y6->y7)=1
Если можно, то количество решений без замены будет 8*8*8=512, а замена должна каким то образом уменьшить количество решений до 22. Ну как это сделать? У меня, наоборот количество решений увеличивается???

 Отправлено: 25.04.16 11:45. Заголовок: Романова пишет: Можн..

Романова пишет:

цитата:

Можно ли её переписать в 3 строки как:

Лучше собрать в первом уравнении все импликации вида (x_i->x_(i+1)), во втором - все импликации по y, а в третьем - все ограничения (первые скобки в каждом из исходных уравнений). Тогда первые два уравнения будут независимыми, а третье определит ограничения на комбинации X и Y.

 Отправлено: 26.04.16 06:38. Заголовок: Спасибо ..

Спасибо