Король Артур попал в страну где все люди являются рыцарями или чародеями. Рыцари всегда говорят правду, а чародеи всегда врут. Его пригласили поприсутствовать на совет старейшин, в котором по закону входят старейшие жители острова (и рыцари, и чародеи), но меньше 60 человек. Совет проходит за квадратным столом. В четырёх углах сидят четыре самых старых жителя, а по сторонам равное количество старейшин. Артура, конечно, за стол не пригласили. Когда все заняли свои места за столом, Артур спросил у каждого из присутствующих, кем является его 2 соседа справа. Все присутствующие ответили ему одинаково: "Мои два соседа справа одного типа". Какое максимальное количество людей могло быть на собрании не считая Артура?

Решение:

Пусть $$R$$ — рыцарь (говорит правду), $$C$$ — чародей (врут).

Условие задачи: У каждого сидящего за столом два соседа справа одного типа. Все присутствующие ответили: "Мои два соседа справа одного типа".

Рассмотрим рассадку за квадратным столом. В углах сидят 4 человека. По сторонам стола сидят $$N$$ человек с каждой стороны. Общее количество людей равно $$4 + 4N$$. Максимальное количество людей $$< 60$$.

Условие "два соседа справа одного типа" означает, что сидящий человек видит справа пару одного типа: $$RR$$ или $$CC$$.

Если человек — рыцарь ($$R$$), он говорит правду. Если он говорит, что его соседи справа одного типа, это означает, что они действительно одного типа.

Если человек — чародей ($$C$$), он лжет. Если он говорит, что его соседи справа одного типа, это означает, что они разного типа.

Рассмотрим варианты рассадки:

1. Сценарий 1: Все сидят по кругу, как будто это один ряд.
   Если кто-то говорит "Мои два соседа справа одного типа", это означает, что он видит $$RR$$ или $$CC$$.
   Если $$R$$ говорит это, то справа $$RR$$ или $$CC$$.
   Если $$C$$ говорит это, то на самом деле справа $$RC$$ или $$CR$$.

Давайте проанализируем ответ: "Мои два соседа справа одного типа".

• Если этот человек — рыцарь, то его два соседа справа действительно одного типа (оба рыцари или оба чародеи).
• Если этот человек — чародей, то на самом деле его два соседа справа разного типа (один рыцарь, другой чародей).

Предположим, что за столом есть и рыцари, и чародеи.

Рассмотрим ситуацию, когда все сидят по кругу (для простоты, потом учтем квадратный стол).

Если сидящий — $$R$$, то его соседи справа — $$R$$ и $$R$$, или $$C$$ и $$C$$.

Если сидящий — $$C$$, то его соседи справа — $$R$$ и $$C$$, или $$C$$ и $$R$$. Но $$C$$ лжет, значит, на самом деле его соседи справа одного типа. Это противоречие. Чародей не может сказать, что его два соседа справа одного типа, если это не так.

Ошибка в рассуждении: Чародей лжет о своих соседях. Если он говорит "Мои два соседа справа одного типа", значит, на самом деле его соседи справа разного типа.

Таким образом, каждый сидящий, независимо от того, рыцарь он или чародей, видит двух соседей справа одного типа. Это возможно только в двух случаях:

1. Все сидящие — рыцари ($$RRR...$$). Каждый рыцарь видит двух рыцарей справа.
2. Все сидящие — чародеи ($$CCC...$$). Каждый чародей видит двух чародеев справа (что означает, что на самом деле соседи разные, но он лжет).

В данной задаче есть условие: "В четырёх углах сидят четыре самых старых жителя, а по сторонам равное количество старейшин".

Если все — рыцари, то это возможно. Если все — чародеи, то это тоже возможно.

Рассмотрим условие: "Мои два соседа справа одного типа".

Если сидящий — $$R$$, его соседи справа — $$R$$ и $$R$$. (Правда)

Если сидящий — $$C$$, его соседи справа — $$C$$ и $$C$$. (Ложь, т.к. на самом деле соседи разного типа)

Это условие выполняется, если за столом сидят только рыцари или только чародеи. Но это не совсем так. Каждый человек, будучи $$R$$ или $$C$$, говорит правду или ложь О СВОИХ СОСЕДЯХ. Он говорит, что они ОДНОГО ТИПА.

Если сидящий $$X$$, его соседи справа $$Y$$ и $$Z$$. $$X$$ говорит: "$$Y$$ и $$Z$$ одного типа".

Если $$X = R$$, то $$Y$$ и $$Z$$ действительно одного типа. Возможные пары $$(Y, Z)$$: $$(R, R)$$ или $$(C, C)$$.

Если $$X = C$$, то $$Y$$ и $$Z$$ на самом деле разного типа. Возможные пары $$(Y, Z)$$: $$(R, C)$$ или $$(C, R)$$.

Таким образом, все люди за столом являются либо рыцарями, либо чародеями, и каждый видит двух соседей справа одного типа. Это означает, что последовательность сидящих за столом должна быть либо $$R, R, R, \text{...}$$, либо $$C, C, C, \text{...}$$, либо $$R, C, R, C, \text{...}$$ (но это не удовлетворяет условию для $$C$$), либо $$R, R, C, C, \text{...}$$

Рассмотрим последовательность $$R, R, R, \text{...}$$. Любой $$R$$ видит справа $$R, R$$. Все согласны. Это возможно.

Рассмотрим последовательность $$C, C, C, \text{...}$$. Любой $$C$$ говорит "два соседа справа одного типа". Это правда для него, если он лжет о том, что его соседи разного типа. Если все $$C$$, то сосед справа $$C$$, а следующий сосед справа $$C$$. Для $$C$$ это означает, что он говорит правду о том, что соседи одного типа, но он должен врать. Значит, эта ситуация невозможна.

Рассмотрим чередующуюся рассадку $$R, C, R, C, \text{...}$$.

Если сидящий $$R$$, он видит справа $$C, R$$. Это разные типы. $$R$$ должен сказать "два соседа справа разного типа". Но он говорит "одного типа". Значит, $$R$$ не может быть в такой рассадке.

Рассмотрим рассадку, где есть группы $$RR$$ и $$CC$$.

Если сидящий $$R$$, его соседи справа $$Y, Z$$. $$Y, Z$$ одного типа. $$(R, R)$$ или $$(C, C)$$.

Если сидящий $$C$$, его соседи справа $$Y, Z$$. $$Y, Z$$ разного типа. $$(R, C)$$ или $$(C, R)$$.

Значит, каждый сидящий видит двух соседей справа одного типа. Это возможно, если:

• Все сидящие — рыцари.
• Все сидящие — чародеи.

Пусть $$N$$ — общее число людей. $$N < 60$$.

У нас квадратный стол. 4 угла, $$S$$ человек с каждой стороны. $$N = 4 + 4S$$.

Случай 1: Все — рыцари.

Любое количество рыцарей $$< 60$$ возможно, если рассадка позволяет. Но есть условие про углы.

Случай 2: Все — чародеи.

Если все — чародеи, то каждый говорит "Мои два соседа справа одного типа". Это ложь, значит, на самом деле его два соседа справа разного типа. Это противоречит условию "все сидят по кругу".

Переосмысление условия:

Все присутствующие ответили одинаково: "Мои два соседа справа одного типа".

Пусть $$N$$ - общее число людей. $$N = 4 + 4S$$, $$N < 60$$.

Рассмотрим рассадку $$R, C, R, C, \text{...}$$.

Если ты $$R$$, твои соседи справа $$C, R$$. Ты должен сказать "разного типа", но говоришь "одного типа". Значит, $$R$$ не может быть в такой рассадке.

Если ты $$C$$, твои соседи справа $$R, C$$. Ты должен сказать "разного типа", но говоришь "одного типа". Значит, $$C$$ не может быть в такой рассадке.

Таким образом, рассадка должна быть такой, чтобы каждый сидящий видел двух соседей справа одного типа.

Это означает, что либо все люди — рыцари ($$R, R, R, \text{...}$$), либо все люди — чародеи ($$C, C, C, \text{...}$$).

Если все — рыцари:

Количество людей $$N = 4 + 4S < 60$$. Максимальное $$N$$: $$S = 14 \rightarrow N = 4 + 4 \times 14 = 4 + 56 = 60$$. Нельзя. $$S = 13 \rightarrow N = 4 + 4 \times 13 = 4 + 52 = 56$$. Это возможно.

Если все — чародеи:

Количество людей $$N = 4 + 4S < 60$$. Максимальное $$N = 56$$.

Но есть нюанс: чародеи врут.

Если все — чародеи, каждый $$C$$ говорит "два соседа справа одного типа". Это ложь. Значит, на самом деле два соседа справа разного типа. Это противоречит тому, что все — чародеи.

Значит, все сидящие — рыцари.

Теперь нужно учесть, что 4 угловых места заняты самыми старыми жителями. Если все — рыцари, то эти 4 человека — рыцари.

Максимальное число людей $$N$$ такое, что $$N = 4 + 4S < 60$$.

Наибольшее $$S$$: $$4S < 56 \rightarrow S < 14$$. Максимальное целое $$S = 13$$.

$$N = 4 + 4 \times 13 = 4 + 52 = 56$$.

Таким образом, максимальное количество людей на собрании (не считая Артура) — 56.

Проверка:

Все 56 человек — рыцари.

Квадратный стол. 4 угла. 56 человек всего. $$56 - 4 = 52$$ человека на сторонах. $$52 / 4 = 13$$ человек на каждой стороне.

Каждый рыцарь говорит: "Мои два соседа справа одного типа".

Если мы двигаемся по кругу, сидящий $$i$$ имеет соседей $$i-1$$ и $$i+1$$. Соседи справа — $$i+1$$ и $$i+2$$.

Если все рыцари, то все соседи — рыцари. Любой рыцарь видит двух рыцарей справа. Условие выполняется.

Максимальное количество людей $$< 60$$. $$4 + 4S < 60$$. $$4S < 56$$. $$S < 14$$. Максимальное $$S=13$$. $$N = 4 + 4(13) = 56$$.

Ответ: 56