Зебра-паззл: авторское изложение посылок и вопросов

ru-KZ · official · sha256:29ff7d4d72e5baa96f378f72b28bf8abbb297f6d018449b3137496671a30729eRU-KZ

Посылка 1. Домов пять.

Referencing norms: Posylka01, PosylkiSoblyudeny, dom_nazvan, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:c67257a06d65cbe9ad3fd6d48a52d7ef1f636ec53fe43ef18f676525fb1d6533RU-KZ

Посылка 10. Норвежец живёт в первом доме.

Referencing norms: Posylka10, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:b2d2aac26092f262f9fe95466dfa021d75b76f273700e495979263d70cffd214RU-KZ

Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису.

Referencing norms: Posylka11Levee, Posylka11Pravee, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:03ab096668eafa82c22cce5ca73e81c60db5f8eab59b0824eb35630132916050RU-KZ

Посылка 12. «Kool» курят по соседству с домом, где держат лошадь.

Referencing norms: Posylka12Levee, Posylka12Pravee, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:6d893b7668723aa2813a0d99282ef1838848140895b66e395c7f18969f64bc55RU-KZ

Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок.

Referencing norms: Posylka13, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:e6628264e67e207d8610f6699dfa186e86e9e605b3ef2609d4f462b7c46ef4edRU-KZ

Посылка 14. Японец курит «Parliament».

Referencing norms: Posylka14, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:39e259be43342ea1744110fc697778658fc9f38bc0d6642b7dd89550b8372da9RU-KZ

Посылка 15. Норвежец живёт по соседству с синим домом.

Referencing norms: Posylka15Levee, Posylka15Pravee, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:05b512b716396a1657708ecb45eb69331f260e81f6ff42f6183ab0e42554859fRU-KZ

Условие 16. Ряд домов, счёт позиций и различность признаков. Дома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители. Цвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра. Ни один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю. Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется.

Referencing norms: ChetveroNazvaliNapitok, ChetveroNazvaliZhivotnoe, Dom, MirZamknut, NapitkiRazlichny, Napitok, NapitokNazvanClosure, NapitokRovnoUOdnogo, NapitokZanyat, NapitokZayavlennyy, Natsionalnost, NatsionalnostRovnoUOdnogo, NatsionalnostZanyata, NatsionalnostiRazlichny, Posylka06, Posylka09, Posylka10, Posylka11Levee, Posylka11Pravee, Posylka12Levee, Posylka12Pravee, Posylka15Levee, Posylka15Pravee, PozitsiiZanyaty, PozitsiyaZhitelya, ReshenieVerno, SortRovnoUOdnogo, SortZanyat, Sorta, SortaRazlichny, Tsvet, TsvetRovnoUOdnogo, TsvetZanyat, TsvetaRazlichny, VodaOstatkom, ZebraOstatkom, Zhitel, ZhiteleyPyat, Zhivotnoe, ZhivotnoeNazvanoClosure, ZhivotnoeRovnoUOdnogo, ZhivotnoeZanyato, ZhivotnoeZayavlennoe, ZhivotnyeRazlichny, chetvero_nazvali_napitok, chetvero_nazvali_zhivotnoe, derzhit, mir_zamknut, napitki_razlichny, napitok_nazvan, napitok_rovno_u_odnogo, napitok_zanyat, natsionalnost_rovno_u_odnogo, natsionalnost_zanyata, natsionalnost_zhitelya, natsionalnosti_razlichny, pozitsii_zanyaty, pozitsiya, pozitsiya_zhitelya, pyot, reshenie_verno, sigarety_zhitelya, sort_rovno_u_odnogo, sort_zanyat, sorta_razlichny, tsvet_doma, tsvet_rovno_u_odnogo, tsvet_zanyat, tsveta_razlichny, zayavlen_napitok, zayavleno_zhivotnoe, zhitel_nazvan, zhiteley_pyat, zhivet_v, zhivotnoe_nazvano, zhivotnoe_rovno_u_odnogo, zhivotnoe_zanyato, zhivotnye_razlichny

ru-KZ · official · sha256:4b350e62628a71ef7046c12735e83ecbe512647a344bd268f6d721e237936cc1RU-KZ

Вопрос 17. Кто пьёт воду?

ru-KZ · official · sha256:8ab201475c43c0db8467a8cc76d585c19ff527354c6d63ec863b39e198b1f667RU-KZ

Вопрос 18. У кого зебра?

ru-KZ · official · sha256:1e9a8a753c02819c29c5f5d49201553fa240acff1dc15847dbdb706e54e8b883RU-KZ

Посылка 2. Англичанин живёт в красном доме.

Referencing norms: Posylka02, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:00279b7b4004ee9d9435d40af54a07ab64cc90e10762f16f342f22e9b6232f47RU-KZ

Посылка 3. Испанец держит собаку.

Referencing norms: Posylka03, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:fb548c6635275a131b5cea51b53747f60c2fb87a6d2c7a412cc87d22f3638197RU-KZ

Посылка 4. В зелёном доме пьют кофе.

Referencing norms: Posylka04, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:ba985f616a79f264faebd0a6893d9b536dec4f7060609612e9d54dfc5e8a44ecRU-KZ

Посылка 5. Украинец пьёт чай.

Referencing norms: Posylka05, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:d40b1080f3f0e8f5d08f61a60b85c56ec79ac5137ff92d31790b94c48b10242bRU-KZ

Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости.

Referencing norms: Posylka06, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:470762ccdbb89b932bf1b93fc54e67470730b8c4828a6e627a65a499e522da37RU-KZ

Посылка 7. Курящий «Old Gold» держит улиток.

Referencing norms: Posylka07, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:0a892b6688f8f5d43168f80f51773e59b11dbccda31601c0f6ea3a2ae4615afaRU-KZ

Посылка 8. В жёлтом доме курят «Kool».

Referencing norms: Posylka08, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:defe1ff214e1d07b33b9039b1a3da4fbdffc332242c02519f65734a59a7a8adcRU-KZ

Посылка 9. В среднем доме пьют молоко.

Referencing norms: Posylka09, PosylkiSoblyudeny, posylka_soblyudena, posylki_soblyudeny

ru-KZ · official · sha256:7e1430f6c94c7731f0d5698a8d92ba53ca53c0c2e978e63979dfb7f835ecd389RU-KZ

ЗЕБРА-ПАЗЗЛ: АВТОРСКОЕ ИЗЛОЖЕНИЕ ПОСЫЛОК И ВОПРОСОВ Настоящий документ является АВТОРСКИМ ИЗЛОЖЕНИЕМ логической задачи, известной как «зебра-паззл», составленным для целей формализации. Он не является переводом и не воспроизводит текст первой публикации: задача напечатана журналом Life International 17 декабря 1962 года, решение — в номере от 25 марта 1963 года. Байты той публикации настоящим изложением не закрепляются; она названа провенансом в source-декларации пакета и закреплению не подлежит. Приписывание задачи Альберту Эйнштейну и Льюису Кэрроллу — легенда. Ни одно из этих приписываний источником не подтверждено; настоящее изложение его не повторяет и автором задачи никого не называет. Настоящее изложение не является нормативным актом и не имеет силы источника права ни в одной юрисдикции. Изложение задаёт посылки и вопросы; способа их решения оно не задаёт. Формализация настоящего изложения ПРОВЕРЯЕТ предъявленную расстановку на соответствие посылкам и выводит из неё ответы на вопросы 17 и 18. Поиска расстановки — перебора вариантов — она не производит и о единственности решения не утверждает ничего: единственность есть свойство самой задачи, а не вывод из настоящего изложения.