Организаторы Международной математической олимпиады готовят конкурс на создание алгоритмов
Новости Отредактировано
Алгоритмам дадут столько же времени, сколько и участникам-людям, и решать они будут классические олимпиадные математические задачи.
400 открытий434 показов
Автор: Андрей Карпов
Решение олимпиадных задач по математике хотят доверить программе. Оргкомитет Международной математической олимпиады предложил создать конкурс IMO Grand Challenge. По сути, это такая же олимпиада, но для алгоритмов.
IMO проводится с 1959 года. На ней старшеклассники должны решить шесть заданий разного уровня сложности. Организаторы предлагают конкурсантам написать на языке Lean алгоритм, который будет решать такие же математические задачи, какие решают школьники на олимпиаде. Алгоритмам дадут столько же времени, сколько и участникам-людям, — по 4,5 часа на каждый набор из трёх задач.
Пока неясно, выделят ли мероприятие в отдельный конкурс или он станет частью Международной математической олимпиады. Правилами занимаются исследователи из Microsoft Research, Питтсбургского и Стэнфордского университетов. Они говорят, что предложенный вариант не конечный и будет дорабатываться.
400 открытий434 показов
Использование команд find и mkdir в bash-скриптах позволяет реализовать сложные алгоритмы и вычисления. Узнайте, как эти команды помогают достигать новых высот в программировании.
Адель Валиуллин делится опытом участия в соревнованиях и рассказывает, как занять высокое место в рейтинге Kaggle.
Как выбрать оптимальный маршрут для автомобиля или определить самый выгодный вариант перелёта с учетом возможных пересадок? Алгоритм Дейкстры предлагает эффективное решение задачи поиска в графе кратчайших путей от заданной вершины. Разбираем подробнее.
Математика и компьютерные науки идут рука об руку. Подобрали 7 математических формул разного уровня сложности для проверки — сможете ли вы их реализовать? И на всякий случай снабдили статью нашими решениями.