Давайте обозначим шесть рыцарей как A, B, C, D, E и F. Каждый рыцарь хочет отравить ровно двух соседей и каждый из них будет отравлен ровно двумя рыцарями. Мы можем рассматривать эту задачу как проблему графа, где каждый рыцарь является вершиной, а отравление — это ребро между этими вершинами.
Заметим, что каждый рыцарь, по сути, образует граф, который является абсолютно сбалансированным, поскольку все вершины имеют одинаковую степень (в данном случае степень равна 2).
Теперь мы можем попробовать рассадить рыцарей за круглый стол так, чтобы гарантировать, что по крайней мере один рыцарь не будет отравлен.
Рассмотрим порядок рассадки:
- Рассаживаем рыцарей по кругу. Например: A, B, C, D, E, F.
- В этом случае A решает отравить B и C, B — C и D, C — D и E, D — E и F, E — F и A, F — A и B.
Согласно описанному порядку, каждый рыцарь отравит своих соседей, и каждый из них будет отравлен ровно двумя другими. Давайте проанализируем ситуацию:
- A отравляет B и C.
- B отравляет C и D (C уже отравлен A).
- C отравляет D и E (D будет отравлен B, а E остается живым).
- D отравляет E и F.
- E отравляет F и A (A уже отравлен).
- F отравляет A и B.
Таким образом, отслеживая, кто кого отравил, мы можем заметить, что если все рыцари отравляют свои соседей по кругу, по крайней мере один рыцарь (например, E) всегда останется без участия в процессе отравления до тех пор, пока не начнется "замыкание" процесса отравления.
Следовательно, существует такая расстановка, при которой хотя бы один рыцарь не будет отравлен, что и требовалось доказать.