Лжецы среди соседей (по мотивам УрТЮМа)

[Red_Herring]

grizzly в сообщении #952994 писал(а):

Я же не утверждаю, что решение содержит грубую ошибку.

Решение не содержит никакой ошибки.

Цитата:

Возьмите любой один дом -- вот Вам и существование.

Речь идет о существовании наибольшего подмножества удовлетворяющего определенному условию. Множество, состоящее из одного дома может 1) не удовлетворять этому условию 2) или удовлетворять, но не быть наибольшим. Если Вы не понимаете, о чём идёт речь, то пожалуйста, прочтите популярное изложение теории множеств.

[grizzly]

Red_Herring в сообщении #953001 писал(а):

Если Вы не понимаете, о чём идёт речь, то пожалуйста, прочтите популярное изложение теории множеств.

Искренне благодарен за все советы и замечания. Да, я сбился, говоря о пустоте, а не о существовании. Моё сообщение просуществовало несколько секунд, прежде чем я это понял и удалил сообщение. Но настоящим я подтверждаю, что глупая цитата процитирована из меня.

А решение, конечно, не содержит никакой ошибки, как Вы верно заметили (только к чему это?). Не буду Вам объяснять, как сформулировать отрицание к моему: "Я же не утверждаю...". Решение содержит недостаток, и в этом, я думаю, все, кроме Вас, со мной согласятся. Но это эстетика, а о вкусах дальше спорить у меня нет желания.

-- 27.12.2014, 13:38 --

(Оффтоп)

Не могу понять, почему в Вашем сообщении по разному оформлены мои цитаты из одного и того же удалённого мной сообщения. Либо как-то странно повела себя система, формируя эти цитаты. Либо, отвечая мне на вторую часть цитаты, Вы уже заметили, что сообщение было удалено (я бы очень не хотел так думать).

[INGELRII]

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

Все правильно?

[grizzly]

INGELRII в сообщении #953503 писал(а):

То ли я не понял

Однозначно "да". Всё уже давно соединено, осталось только расселить жильцов.