История изменений
Исправление cvs-255, (текущая версия) :
я решал так: первое уравнение сводится к
x1 != x2 || x3 == x4 второе к
x3 != x4 || x5 == x6
итд.
10 переменных свелись к 5 группам.
сопоставим группе 1, если переменные в ней совпадают и 0, если нет.
получим p1,p2,p3,p4,p5
!p1 || p2
!p2 || p3
!p3 || p4
!p4 || p5
Видно, что после после 0 может идти 0 или 1, а после 1 только 1.
Т.о. допустимые последовательности p1,p2,p3,p4,p5 выглядят как несколько 0, после которых несколько 1. Нулей может быть от 0 до 5. Т.е. всего 6 вариантов. Каждая последовательность реализуется 2^5 вариантов x1, ..., x10
Итого 2^5 * 6 = 192 варианта
если же добавить еще условие, на первую и последнюю пару
!p5 || p1
то будут допустимы последовательности только из 0 и только из 1. И всего 2 * 2^5 = 64 варианта
Исправление cvs-255, :
я решал так: первое уравнение сводится к
x1 != x2 || x3 == x4 второе к
x3 != x4 || x5 == x6
итд.
10 переменных свелись к 5 группам.
сопоставим группе 1, если переменные в ней совпадают и 0, если нет.
получим p1,p2,p3,p4,p5
!p1 || p2
!p2 || p3
!p3 || p4
!p4 || p5
Видно, что после после 0 может идти 0 или 1, а после 1 только 1.
Т.о. допустимые последовательности p1,p2,p3,p4,p5 выглядят как несколько 0, после которых несколько 1. Нулей может быть от 0 до 5. Т.е. всего 6 вариантов. Каждая последовательность реализуется 2^5 вариантов x1, ..., x10
Итого 2^5 * 6 = 192 варианта
если же добавить еще условие, на первую и последнюю пару
!p5 || p1
то будут допустима последовательность из 0 и из 1. И всего 2 * 2^5 = 64 варианта
Исходная версия cvs-255, :
я решал так: первое уравнение сводится к
x1 != x2 || x3 == x4 второе к
x3 != x4 || x5 == x6
итд.
10 переменных свелись к 5 группам.
сопоставим группе 1, если переменные в ней совпадают и 0, если нет.
получим p1,p2,p3,p4,p5
!p1 || p2
!p2 || p3
!p3 || p4
!p4 || p5
Видно, что после после 0 может идти 0 или 1, а после 1 только 1.
Т.о. допустимые последовательности p1,p2,p3,p4,p5 выглядят как несколько 0, после которых несколько 1. Нулей может быть от 0 до 5. Т.е. всего 6 вариантов. Каждая последовательность реализуется 2^5 вариантов x1, ..., x10
Итого 2^5 * 6 = 192 варианта