Детская задачка про жеребцов посеяла раздор в соцсетях

Детская задачка про жеребцов посеяла раздор в соцсетях

Пользователи социальных сетей не могут прийти к единому мнению при решении детской задачки про лошадей, подковы и сапоги, которую опубликовал один из пользователей Facebook.

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

Львиная доля пользователей полагает, что правильный ответ — 48, другие считают, что верный вариант — 42. Среди распространенных вариантов ответа — 44, 22, 16 и 13.

Подвох состоит в том, что в последнем вычислении число предметов, которые предлагалось складывать и отнимать до этого, меняется, что легко не заметить.

Запись набрала почти 14 тысяч перепостов в Facebook и больше полумиллиона комментариев.

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

Объявлено о самом объемном доказательстве в математике

Ученые из США и Великобритании заявили о крупнейшем по объему занятой компьютерной памяти доказательстве в истории математики. Препринт с исследованием опубликован на сайте arXiv.org, кратко о нем сообщает издание Nature.

Для решения булевой проблемы пифагоровых троек специалисты использовали суперкомпьютер Stampede Техасского университета в Остине (США). Его расчеты заняли 200 терабайт памяти, что равно всей оцифрованной крупнейшей библиотеке мира (Библиотека Конгресса).

В использованном учеными подходе проблема является переформулированной теоремой Шура для площадей, доказательство которой предполагает два предписания. Первое из них включает нахождение ответа на вопрос, может ли множество натуральных чисел (1, 2, 3 и так далее) быть разделено на две части таким образом, чтобы ни одна из них не содержала бы пифагоровых троек (то есть чисел a, b и c таких, что a2 + b2 = c2). Второе предписание говорит о необходимости разделения чисел при помощи булевых переменных.

Полученное учеными решение булевой проблемы пифагоровых троек заключается в следующем: натуральные числа из замкнутого интервала [1;7824] можно разбить на две части так, что они не содержат пифагоровой тройки. Для натуральных чисел из замкнутого интервала [1;7825] это невозможно.

Ученым удалось при помощи идей симметрии и методов теории чисел оптимизировать использованный для решения проблемы алгоритм. Это позволило снизить количество возможностей, перебираемых Stampede с более чем 102300 способов до менее 1012. Суперкомпьютер с 800 ядрами работал в течение двух суток.

Математическая задача была решена путем прямого перебора имеющихся возможностей. Кроме полного решения, ученые представили его краткий вариант, который занял 68 гигабайт памяти. Для его проверки обычному компьютеру потребовалось бы около 30 тысяч часов непрерывной работы. При этом человек, скорее всего, в полной мере самостоятельно не смог бы воспроизвести использованный Stampede алгоритм. Доказательное вычисление было проверено на двух алгоритмах, позволяющих решить проблему.

Решенная учеными задача относится к дискретной математике. За нее в 1980 году математик Рональд Грэхем из Калифорнийского университета в Сан-Диего (США) предложил символические сто долларов.

Рекорд доказательных вычислений принадлежал британским математикам российского происхождения, которые в 2012 году проверили проблему несоответствия Эрдеша. Это заняло 13 гигабайт компьютерной памяти. Однако уже в 2015 году американский математик китайского происхождения Теренс Тао из Калифорнийского университета в Лос-Анджелесе представил аналитическое доказательство гипотезы Эрдеша.

Как правило, при аналитическом доказательстве ученые открывают новые математические структуры и закономерности, тогда как при вычислительном доказательстве это невозможно. В частности, ученые не могут объяснить роль числа 7824 в их решении.

Урок цифры

 В школах страны в период с 3 по 9 декабря пройдёт первый тематический урок информатики «Алгоритмы. Код. Команда» в рамках «Урока цифры». Попробовать свои силы могут все ученики с 1 по 11 класс по ссылке https://урокцифры.рф. Задания будут доступны 3 декабря. После прохождения тренажера вручается сертификат.
Мероприятие «Урок цифры» посвящено Дню информатики (4 декабря 2018 года, в День информатики, исполняется 70 лет с момента регистрации первого советского патента на автоматическую цифровую ЭВМ) в России и представляет собой цикл необычных уроков информатики с практической тренировкой навыков программирования. Уроки планируется проводить один раз в месяц с февраля по май 2019 г. Каждый из них будет посвящен определенной теме и направлен на развитие цифровых знаний и навыков по направлению «Кадры и образование» в рамках национальной программы «Цифровая экономика Российской Федерации». Организаторами мероприятия выступают Министерство просвещения РФ, Министерство цифрового развития, связи и массовых коммуникаций РФ, АНО «Цифровая экономика», и ведущие российские технологические компании: фирма «1C», «Яндекс», «Лаборатория Касперского», «Кодвардс», Mail.Ru Group, а также Университет НТИ «20.35» и Благотворительный фонд Сбербанка «Вклад в будущее».

Конкурс авторов проектов на основе идей «Беседы с профессионалом»

Команда ГлобалЛаб объявляет конкурс для детей школьного возраста. Основная задача участников конкурса – научиться делать хорошие исследовательские проекты. Темы для проектов будет предлагать Редакция ГлобалЛаб ежемесячно. 

Подробнее

Хочу присоединиться

Онлайн-чемпионат

5 ноября закроется регистрация на Всероссийский онлайн-чемпионат «Изучиинтернет – управляй им» 2018. 

Всего 3 дня, чтобы стать участником и побороться за крутые призы: 
I МЕСТО – ноутбук-трансформер ACER
II МЕСТО – смартфон Xiaomi Redmi 5A
​​​​​​​III МЕСТО – умный трекер Xiaomi Mi Band
​​​​​​​​​​​​​Тема года: искусственный интеллект и виртуальная реальность, робототехника и блокчейн, телемедицина и интернет вещей

Единый урок по безопасности в сети Интернет

В период с 10 сентября - 15 ноября 2018 года в школах будет проведен пятый, юбилейный Единый урок по безопасности в сети Интернет. Целью данного мероприятия является создание условий формирования безопасной информационной среды для наших детей.

Единый урок для детей возможно провести в следующих формах, которые могут быть использованы как отдельно, так и совместно:

1. Участие во Всероссийской контрольной работе по информационной безопасности (онлайн-тест) на портале Единого урока для детей www.Единыйурок.дети. По окончании тестируемому выдается сертификат, позволяющий оценить знания и выставить оценку. В тесте выдача вопросов выдается случайным образом из бассейна вопросов;
2. Участие в международном квесте (онлайн-конкурсе) по цифровой грамотности «Сетевичок» на сайте www.Сетевичок.рф;
3. Подготовить и выдвинуть различные творческие работы и Интернет-ресурсы на Национальную премию в области информационного пространства детства "Премия Сетевичок" и Всероссийский конкурс социальной рекламы на тему информационной безопасности детей на сайте www.премиясетевичок.рф, а в октябре организовать участие детей в «народном голосовании» за участников конкурсов.