Насчёт лёгкости могу и ошибаться — это надо проверять на неподготовленных испытуемых.
Мне кажется, с помощью игральных карт можно добиться более точной аналогии с посетителями бара, если в качестве возраста брать достоинство карты, а рубашки раскрашивать самостоятельно, обозначая цветами алкогольную и безалкогольную выпивку. Чтобы убрать неоднозначность с фосками, можно разделить в условии карты на «числовые» и «картинки». В таком случае анологией условия «мы не продаём алкоголь несовершеннолетним» будет «мы не красим рубашки числовых карт в синий цвет».
В случае же букв и цифр вводятся дополнительные абстракции — нужно сильнее напрягаться, чтобы определить, является буква гласной или согласной, а цифра чётной или нечётной. Плюс к этому сходства между буквами и цифрами намного больше, чем между возрастом посетителя и типом выпивки. Есть вероятность, что все эти нюансы заметно усложняют решение задачи.
Есть две колоды карт, отличающиеся только рубашкой. У одной колоды рубашка синяя, у другой зелёная.
Из синей колоды были вынуты и уничтожены все числовые карты (фоски).
На столе лежат 4 карты. Две рубашкой вверх, две рубашкой вниз: 1 — синяя, 2 — зелёная, 3 — шестёрка, 4 — дама.
Какие карты нужно перевернуть, чтобы убедиться или опровергнуть заявление, что «из синей колоды были вынуты и уничтожены все фоски»?
По-моему, решается с лёгкостью задачи про бар, эквивалентна ей и не содержит социальных терминов.
Кстати, если подходить совсем формально, то при заданных формулировках мы ни в одной задаче не можем однозначно подтвердить утверждения, если не ввести в условия дополнительные ограничения.
Условие первой задачи никак не ограничивает общее количество карточек в наборе четырьмя, выложенными на столе. Где-нибудь в столе могут лежать карточки с гласной буквой и нечётной цифрой. То же самое с моими игральными картами. Я мог не уничтожать фоски, а просто не выкладывать на стол числовые карты из синей колоды.
А в баре какой-нибудь 17-летний подросток мог выпить пивка и успеть уйти до того, как мы туда заявились с проверкой.
Ночью в момент сбоя позапускал tracert, попробовал вводить в браузер прямые ip-адреса, почитал комментарии здесь. Что выяснил:
Google был недоступен из России — убедился лично. Из комментариев и новостей узнал, что проблема коснулась также Украины, Беларуси, Азербайджана.
У меня адреса google.com и google.ru резолвились на 74.125.232.20 и 74.125.232.16. При вводе именно этих ip-адресов напрямую в браузер google не открывался. Но ping и tracert на эти адреса работали.
При вводе в браузер адресов, указанных в комментариях, либо найденных в новостях (74.125.227.1, 74.125.91.105) google работал. После записи этих адресов в hosts стало совсем замечательно.
Сравнение вывода tracert для работающих и неработающих адресов показало, что маршруты на неработающие адреса самые короткие, а задержки в ответах минимальные.
После того, как заработал доступ по именам (google.com, google.ru), проблемные адреса (74.125.232.20 и 74.125.232.16) всё еще не работали какое-то время. В 4 утра заработали и они. Причем, маршрут остался прежним, самым коротким.
Выводы: ДНС-ы Google, судя по всему, отдают информацию, зависящую от ip-адреса, с которого пришел запрос. Например, для российского сектора Интернет в ответ на запрос адреса google.com отдаётся один набор адресов, для Европы другой, для США третий и т.д. Таким образом пользователи направляются на ближайшие к ним сервера. По какой-то причине севера по адресам 74.125.232.* были недоступны по 80-му порту, и именно на них заворачивались пользователи из наших стран.
Теперь можно попытаться строить версии происшедшего.
Возможно, в google запускали новый пул серверов, но записи в ДНС внесли слишком рано, когда еще не все работало. Или возникли внезапные проблемы именно с этим пулом.
Возможно, до сегодняшнего дня адреса не резолвились в зависимости от региона, а отдавались вообще все. И именно включение разделения выдачи адресов по странам «положило» все ближайшие к нам сервера (хотя, это совсем уж маловероятно)
Или просто-напросто где-то на пути между нашими сетями и сетью 74.125.232.* стоял фильтр на 80-й порт.
Кстати, прямо сейчас у меня для google.com стабильно выдаются адреса из сетки 74.125.87.*. А жаль — адреса из сети 74.125.232.* на два хопа ближе и задержка меньше в пять раз.
Мне кажется, с помощью игральных карт можно добиться более точной аналогии с посетителями бара, если в качестве возраста брать достоинство карты, а рубашки раскрашивать самостоятельно, обозначая цветами алкогольную и безалкогольную выпивку. Чтобы убрать неоднозначность с фосками, можно разделить в условии карты на «числовые» и «картинки». В таком случае анологией условия «мы не продаём алкоголь несовершеннолетним» будет «мы не красим рубашки числовых карт в синий цвет».
В случае же букв и цифр вводятся дополнительные абстракции — нужно сильнее напрягаться, чтобы определить, является буква гласной или согласной, а цифра чётной или нечётной. Плюс к этому сходства между буквами и цифрами намного больше, чем между возрастом посетителя и типом выпивки. Есть вероятность, что все эти нюансы заметно усложняют решение задачи.
Есть две колоды карт, отличающиеся только рубашкой. У одной колоды рубашка синяя, у другой зелёная.
Из синей колоды были вынуты и уничтожены все числовые карты (фоски).
На столе лежат 4 карты. Две рубашкой вверх, две рубашкой вниз: 1 — синяя, 2 — зелёная, 3 — шестёрка, 4 — дама.
Какие карты нужно перевернуть, чтобы убедиться или опровергнуть заявление, что «из синей колоды были вынуты и уничтожены все фоски»?
По-моему, решается с лёгкостью задачи про бар, эквивалентна ей и не содержит социальных терминов.
Кстати, если подходить совсем формально, то при заданных формулировках мы ни в одной задаче не можем однозначно подтвердить утверждения, если не ввести в условия дополнительные ограничения.
Условие первой задачи никак не ограничивает общее количество карточек в наборе четырьмя, выложенными на столе. Где-нибудь в столе могут лежать карточки с гласной буквой и нечётной цифрой. То же самое с моими игральными картами. Я мог не уничтожать фоски, а просто не выкладывать на стол числовые карты из синей колоды.
А в баре какой-нибудь 17-летний подросток мог выпить пивка и успеть уйти до того, как мы туда заявились с проверкой.
Что выяснил:
Google был недоступен из России — убедился лично. Из комментариев и новостей узнал, что проблема коснулась также Украины, Беларуси, Азербайджана.
У меня адреса google.com и google.ru резолвились на 74.125.232.20 и 74.125.232.16. При вводе именно этих ip-адресов напрямую в браузер google не открывался. Но ping и tracert на эти адреса работали.
При вводе в браузер адресов, указанных в комментариях, либо найденных в новостях (74.125.227.1, 74.125.91.105) google работал. После записи этих адресов в hosts стало совсем замечательно.
Сравнение вывода tracert для работающих и неработающих адресов показало, что маршруты на неработающие адреса самые короткие, а задержки в ответах минимальные.
После того, как заработал доступ по именам (google.com, google.ru), проблемные адреса (74.125.232.20 и 74.125.232.16) всё еще не работали какое-то время. В 4 утра заработали и они. Причем, маршрут остался прежним, самым коротким.
Выводы: ДНС-ы Google, судя по всему, отдают информацию, зависящую от ip-адреса, с которого пришел запрос. Например, для российского сектора Интернет в ответ на запрос адреса google.com отдаётся один набор адресов, для Европы другой, для США третий и т.д. Таким образом пользователи направляются на ближайшие к ним сервера. По какой-то причине севера по адресам 74.125.232.* были недоступны по 80-му порту, и именно на них заворачивались пользователи из наших стран.
Теперь можно попытаться строить версии происшедшего.
Возможно, в google запускали новый пул серверов, но записи в ДНС внесли слишком рано, когда еще не все работало. Или возникли внезапные проблемы именно с этим пулом.
Возможно, до сегодняшнего дня адреса не резолвились в зависимости от региона, а отдавались вообще все. И именно включение разделения выдачи адресов по странам «положило» все ближайшие к нам сервера (хотя, это совсем уж маловероятно)
Или просто-напросто где-то на пути между нашими сетями и сетью 74.125.232.* стоял фильтр на 80-й порт.
Кстати, прямо сейчас у меня для google.com стабильно выдаются адреса из сетки 74.125.87.*. А жаль — адреса из сети 74.125.232.* на два хопа ближе и задержка меньше в пять раз.
P.S. Большое спасибо Akha за приглашение на Хабр.