Интеллектуальная Бойня

Lance · 1 января, 2008

Если будет угодно подождать еще чуть-чуть, полное ршение будет оформлено в лучшем виде! ))

NortUS · 1 января, 2008

А я что... Я жду...

Lance · 1 января, 2008

М-да.... Расчитывал, что на оформление потрачу поменьше времени. Но в итоге выслал.))

NortUS · 2 января, 2008

Решение Lance

---------------------------------------------------------------------------------

Решение:

из 12) и 16) получаем (поскольку пиво и Спрайт пьют разные люди, то именно так):

|..Аска..|.Рэй.|....--......|

|...--...|.--..|.Elfen.Lied.|

|...--...|.--..|....--......|

|.Sprite.|.--..|....Пиво....|

|...--...|.--..|.....--.....|

либо

|....--......|....Рэй.....|....Аска...|

|.Elfen.Lied.|.....--.....|.....--....|

|....--......|.....--.....|.....--....|

|...Пиво.....|.....--.....|...Sprite..|

|....--......|.....--.....|.....--....|

-----------

из 4) (опять-таки, фанаты Рэй и Каору - разные люди, поэтому за Бразилию болеет именно фанат Рэй):

|.Каору.|...Аска.....|....Рэй.....|.....--.....|

|..--...|....--......|.....--.....|.Elfen.Lied.|

|..--...|....--......|.....--.....|.....--.....|

|..--...|..Sprite....|.....--.....|....Пиво....|

|..--...|....--......|.....--.....|.....--.....|

|..--...|....--......|..Бразилия..|.....--.....|

либо

|....--......|....Рэй.....|....Аска...|.Каору.|

|.Elfen.Lied.|.....--.....|.....--....|..--...|

|....--......|.....--.....|.....--....|..--...|

|...Пиво.....|.....--.....|...Sprite..|..--...|...................(20)

|....--......|.....--.....|.....--....|..--...|

|....--......|..Бразилия..|.....--....|..--...|

-----------

из 7) и 8) с учетом известного об поклоннике Elfen Lied:

|...Синдзи...|.....--.....|..--..|

|.....--.....|.Elfen.Lied.|..FMP.|

|...Diablo...|.....--.....|..--..|

|.....--.....|....Пиво....|..--..|

|.....--.....|.....--.....|..--..|

либо

|..--..|.....--.....|...Синдзи.|

|..FMP.|.Elfen.Lied.|.....--...|

|..--..|.....--.....|...Diablo.|

|..--..|....Пиво....|.....--...|.....................................(21)

|..--..|.....--.....|.....--...|

-----------

из 20) и 21)

|..--...|....--......|....FMP.....|.Elfen.Lied.|.....--....|

|..--...|....--......|.....--.....|.....--.....|...Diablo..|

|..--...|..Sprite....|.....--.....|....Пиво....|.....--....|

|..--...|....--......|.....--.....|.....--.....|.....--....|

|..--...|....--......|..Бразилия..|.....--.....|.....--....|

либо

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|..--...|

|...Diablo....|....--......|.....--.....|.....--....|..--...|

|.....--......|...Пиво.....|.....--.....|...Sprite..|..--...|

|.....--......|....--......|.....--.....|.....--....|..--...|

|.....--......|....--......|..Бразилия..|.....--....|..--...|

-----------

из 2):

|..--...|....--......|....FMP.....|.Elfen.Lied.|.....--....|...--...|

|..--...|....--......|.....--.....|.....--.....|...Diablo..|...--...|

|..--...|..Sprite....|.....--.....|....Пиво....|.....--....|...--...|

|..--...|....--......|.....--.....|.....--.....|.....--....|...--...|

|..--...|....--......|..Бразилия..|.....--.....|.....--....|...--...|

либо

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|..--...|

|...Diablo....|....--......|.....--.....|.....--....|..--...|

|.....--......|...Пиво.....|.....--.....|...Sprite..|..--...|

|.....--......|....--......|.....--.....|.....--....|..--...|

|.....--......|....--......|..Бразилия..|.....--....|..--...|

из 19) первый вариант отпадает, т.к. левее фаната Каору уже никто сидеть не может. Т.е. остается:

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|..--...|

|...Diablo....|....--......|.....--.....|.....--....|..--...|

|.....--......|...Пиво.....|.....--.....|...Sprite..|..--...|

|.....--......|....--......|.....--.....|.....--....|..--...|

|.....--......|....--......|..Бразилия..|.....--....|..--...|

из 2) фанат Мисато - либо фанат Elfen Lied, либо сидит справа от фаната Каору.

из 5) фанат Гендо - также либо фанат Elfen Lied, либо сидит справа от фаната Каору,

поскольку он не может быть самым левым (любитель шампанского еще левее), а значит, левее фаната Синдзи он не сидит.

В итоге получается, что в любом случае кто-то сидит правее фаната Каору, значит, левее фаната Синдзи никого нет.

из 13) фанат Гендо не может быть самым правым, => правее фаната Каору сидит фанат Мисато.

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|....--.....|....--.....|

|...Diablo....|....--......|.....--.....|.....--....|....--.....|....--.....|

|.....--......|...Пиво.....|.....--.....|...Sprite..|....--.....|....--.....|

|.....--......|....--......|.....--.....|.....--....|....--.....|....--.....|

|.....--......|....--......|..Бразилия..|.....--....|....--.....|....--.....|

из 5) шампанское пьет фанат Сина.

из 6) фанат Гендо из Краснодара, а фанат Рэй играет в Сталкера.

из 10) фанат Рэй пьет водку (ты это специально?!), т.к. фанат Синдзи уже пьет шампунь.

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|....--.....|....--.....|

|...Diablo....|.....--.....|...Stalker..|.....--....|....--.....|....--.....|

|.....--......|..Краснодар.|.....--.....|.....--....|....--.....|....--.....|

|.....--......|.....--.....|..Бразилия..|.....--....|....--.....|....--.....|

Мартини может пить либо фанат Каору, либо фанат Мисато.

Тогда из 3) за Аргентину болеет либо кто-то из них же, либо аскер.

Фанат Каору болеет за Германию, т.к. он сосед болельщика Аргентины, но сидит не на краю (у него два соседа), значит фанат Аски или Каору.

Но фанатом Аски он быть не может, т.к. соедствует с фанатом Рэй, а тот не может ни болеть за Аргентину, ни играть в StarCraft.

Итак, фанат Каору болеет за Германию. Тогда из 17) фанат Мисато играет в Старкрафт, а из 14) - еще и смотрит Гиасс.

Вот тут я не догнал. Надо доказать, что Старкрафтом не может увлекаться Аскер - (NortUS).

|.....--......|.Elfen.Lied.|....FMP.....|.....--....|....--.....|.Code.Geass.|

|...Diablo....|.....--.....|...Stalker..|.....--....|....--.....|.StarCraft..|

|.....--......|..Краснодар.|.....--.....|.....--....|....--.....|.....--.....|

|.....--......|.....--.....|..Бразилия..|.....--....|..Германия.|.....--.....|

Далее самое интересное. Здесь можно действовать исключительно методом подбора. Допустим, что за Аргентину болеет фанат Аски.

из 3) его сосед пьет мартини, и это фанат Каору, т.к. аскер пьет спрайт. Фанату Мисато остается сок.

|.....--......|.Elfen.Lied.|....FMP.....|....--.....|....--.....|.Code.Geass.|

|...Diablo....|.....--.....|...Stalker..|....--.....|....--.....|.StarCraft..|

|.....--......|..Краснодар.|.....--.....|....--.....|....--.....|.....--.....|

|.....--......|.....--.....|..Бразилия..|.Аргентина.|..Германия.|.....--.....|

Болельщик англичан - фанат Гендо, т.к. он единственный свободный, имеющий двух соседей.

Синдзи точно не москвич, т.к. левее москвича должен быть еще игрок в Lineage. Значит, фанат Сина из питера, а рэелюб из Москвы.

Тогда в Линейку играет фанат Гендо, и фанату Каору остаются Херы.

Допустим, что Чобитов смотрит фанат Аски (и он же играет в КС). Тогда фанат Каору смотрит Тетрадку, и фанату Сина остается FLCL.

|....Питер....|..Краснодар.|...Москва...|....--.....|.....--.....|.....--.....|

из 1) фанат Мисато болеет за хорватов, т.к. киевлянин должен сидеть левее, а в случае с фанатом СИндзи это невозможно.

Фанату Сина достается Голландия.

из 19) аскер из Перми.

из 10) рядом с фанатом Чобитов сидит киевлянин, т.е. это фанат Каору. Значит, фанат Каору из Минска.

================================================================================

=========================================

Теперь точки бифуркации.

Второе предположение было сделано о том, что Чобитов смотрит фанат Аски.

Если предположить обратное, т.е. он смотрит Тетрадь, а фанат Каору смотрит Чобитов и играет в КС, то из киевлянин фанатеет либо от Аски, либо от Мисато.

Последнее исключено из-за 1). В первом же случае уже некуда втиснуть пермяка в силу условия 19).

Первое предположение касалось аскера и состоялов том, что он болеет за Аргентину.

Если предположить, что за Аргентину болеет фанат Мисато, то аскер болеет за Хорватов (фанат Сина за них болеть не может из-за условия 1).

Тогда из 1) киевлянин либо рэелюб, либо фанат Сина. Последнее отпадает, т.к. у него нет соседей, которые могут смотреть Чобитов.

Значит, киевлянин любит Рэй. Но тогда уже некуда впихнуть москвича и питерца с болельщиком Англии посередине. В итоге, эта ветка тоже несостоятельна.

Решение NortUS'a (оформление хуже)

Решение

Крайний левый - фанат Синдзи.

Поскольку

Рей не может быть по условию 16

Мисато - условие 2

Аска - условие 4

Гендо- условие 5

Каору - условие 19

Тогда по условию 7 Диаболо крайний

По условию 8 имеем на втором месте Эльфийскую Песнь, а на третьем стало быть FMP

Посмотрим на условие 12. Поклонник Рей может сидеть только на 1 или 3 месте. Но на 1м сидит Синдзи, значит Рей 3-я. Но тогда Спрайт выходит на 4 место

Теперь разбираемся с Аской. по 16 Аска и Рей рядом. Значит Аска или 2 или 4.

Но если Аска на втором месте, то она между Рей и Сином, то есть никак не рядом с Каору (условие 4)

Значит Аска на 4 позиции, а Каору на 5. Но тогда выходит (условие 4), что 3-я позиция (Рей) - болеет за Бразилию.

Аналогично по условию 16 на 2 месте сидит фанат Пива.

Для Гендо осталось 2 и 6 место. Но на 6м он не может быть по условию 13. (так как кто-то есть правее)

Значит Гендо на 2 месте, а тогда на 6-м остается Мисато.

Итак, СИНДЗИ-ГЕНДО-РЕЙ-АСКА-КАОРУ-МИСАТО

Поскольку по условию 5 левее Гендо было шампанское, то оно может быть только на первом месте

Теперь используем условие 6, выясняя, что Краснодар на 2 месте, а на третьем - игрок в Сталкера.

Поскольку на 2 месте сидит Эльфийская Песнь, то на первом не может быть ни Чобитов, ни ДН (так как они соседи по условию 9).

Но на первом месте не может быть и Кода Гиасс, так как этот человек играет в Старкрафт (14), а у нас слева сидит Синдзи-Дьяболо (7)

Вывод, на первом месте ФУРИ-КУРИ.

Теперь становится чуть сложнее.

Из условия 11 любитель водки сидит на 3 месте (так как 1 уже отдано шампанскому)

Напитки выгялдят так ШАМПАНСКОЕ-ПИВО-ВОДКА-СПРАЙТ-**-**

Фанат аргентинцев может быть только на 4 5 или 6 месте, чтобы оказаться рядом с мартини (3)

Рассмотрим условие 17.

Аргентина не может быть на 5 позиции, так как тогда Германия будет на 4й, а второй сосед Германии окажется не старкрафтом, а Сталкером.

То есть Аргентина или 4, или 6, но тогда Германия ОДНОЗНАЧНО на 5м месте. А старкрафт тоже или 4 или 6, как впрочем и Код Гиасс (14)

Зато теперь мы можем добить напитки. Ведь где бы не сидела Аргентина (4 или 6) мартини может быть только пятым

ШАМПАНСКОЕ-ПИВО-ВОДКА-СПРАЙТ-МАРТИНИ-СОК

На первой позиции уже не может быть Бразилии (она третья), Германии (пятая), Аргентины (где-то рядом с Германией)

Поусловию 18 с краю нет Англии, а а по 1 условию, там же не Хорватов.

Значит на первом месте Голландия

Следующий проход.

На втором месте у нас Эльфийская Песнь. Значит на 2 месте по условиям 9 и 14 не может быть ни контры, ни Старкрафта.

поскольку Сталкер и Дьяболо свое место нашли, на 2 месте или Линяга, или Герои.

Значит Киевлянин никак на 1 месте (10) не окажется.

Теперь снова к футболу.

на 2 месте может быть или Хорватия или Англия. Но если бы ам были хорваты, то по условию 1 на первом месте был бы Киев, что как мы показали нереально

Итак, на 3 месте АНГЛИЯ.

Но ангичанин сидит между Москвой и Питером (18). В то же время кто-то сидит левее Москвича (15)

Значит Москвич третий, Питер первый, а Линяге остается только 2 место.

Хорваты никак не могут быть четвертыми. Потому что левее третьего места все города определены (Питер-Краснодар-Москва-...), а там должен быть Киев (1)

итак, Хорваты 6-е, Аргентина 4-я.

ГОЛЛАНДИЯ-АНГЛИЯ-БРАЗИЛИЯ-АРГЕНТИНА-ГЕРМАНИЯ-ХОРВАТИЯ

По условию 17 на последнем месте Старкрафт а по условия 14 там же Код Гиасс

Поскольку правее и Пермяка и киевлянина (1 и 19) кто-то сидит, то крайний правый МИНСК

Каору сидит правее пермяка. Значит пермяк 4й, а пятым будет Киев

ПИТЕР-КРАСНОДАР-МОСКВА-ПЕРМЬ-КИЕВ-МИНСК

по 10 условию для Чобитов остается возможной только 4-я позиция, (на 6м Код Гиасс), методом исключения на 5 место встает Death Note.

наконец из условия 9 следует также что Чобиты (4-я позиция) это суть Контрстрайк, тогда на 5 месте - Герои.

ПИТЕР -ШАМПАНСКОЕ-Дьяболо -Голландия-Синдзи-FLCL

КРАСНОДАР -ПИВО -Линейка -Англия -Гендо -Elven Leid

МОСКВА -ВОДКА -Сталкер -Бразилия -Рей -FMP

ПЕРМЬ -СПРАЙТ -Контра -Аргентина-Аска -Chobits

КИЕВ -МАРТИНИ -Герои -Германия -Каору -Death Note

МИНСК -СОК -Старкрафт-Хорватия -Мисато-Code Geass

Рабочая площадка Трамплера

Lance · 3 января, 2008

Кстати, НортУС, как ты проверял полноту и неизбыточность набора условий при составлении задачи?

И еще: ты упоминал про решение тремя способами. Первый ты выложил. А остальные два - это как? Как здесь используются предикаты (ты Яке что-то сказал про Prolog, но я не понял, относится ли это ко второму способу или к третьему)? И что значит "поросятами на ноуте"?

NortUS · 3 января, 2008

Поросятами на ноуте.

Brutal Force - перебор.

То есть.

Берем одну характеристику. Всего из 6 элементов 120 перестановок.

Прогоняем эти 120 перестановок, отсекая невозможные.

Так делаем по каждому из шести признаков.

Далее начинаем микшировать перестановки по принципу каждая с каждой - и снова прогоняя условия, отсекаем тупики.

Затем (число перестановок снижается) микшируем по три...

Сразу все шесть замикшировать нельзя 120^6 ни один ноут не потянет.

предикатное решение (на вычеркивании) по сути дал Трамплер

NortUS · 3 января, 2008

Кстати, вопрос о НЕизбыточности открыт. Вполне возможно, что есть ЛИШНИЕ условия.

Но я этим НЕ занимался

asuka-joy · 6 января, 2008

Задача лолъ.

Человекъ на 70% состоитъ из воды, а Огурецъ – на 90%. Несложными математическими вычислениями можно подсчитать, что Человекъ на 50% Огурецъ.

Во-первыхъ, исправить решение. А во-вторыхъ, решить что получится, если Человекъ выпьет стакан Водки и съестъ 3 Огурца. =)

NortUS · 8 января, 2008

Нужно знать массу человека и огурца.

Adam · 9 января, 2008

А кто дал наиболее правильное решение?

Войти

Интеллектуальная Бойня

Рекомендуемые сообщения

Ссылка на комментарий

Поделиться на другие сайты

Top Posters In This Topic

Popular Days

Top Posters In This Topic

Popular Days

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Ссылка на комментарий

Поделиться на другие сайты

Последние посетители 0 пользователей онлайн

Объявления