Фигура двудольной проверка
BFS окрашивание
Двудольный граф максимального соответствия
1) увеличения путь имеет нечетное число
2) начальный и конечные точки не пройдены
3) не совпадают с нечетными сторон, ровные края в согласовании
Кисточка вопрос времени, чтобы увидеть
Это было легко видеть, обычный, по-видимому, по образцу случаев.
Ответ в качестве упражнения немного, так как устройство чтения карт не сложно.
И наоборот Аналогичным образом, устанавливается естественный вывод.
Опустим процесс КЭД, известной из приведенного выше доказательства.