Лекция «Соревнования по синтезу булевых схем»⬇️
– Страница лекции
– 24 декабря, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
⭐️ О лекторе
📢 Анонс
– Страница лекции
– 24 декабря, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
Александр Куликов
В научные интересы Александра входят алгоритмы, теория сложности и образование в области компьютерных наук. В настоящее время он работает на позиции исследователя в компании JetBrains, а также руководит бакалаврской программой Computer Science and Artificial Intelligence в Neapolis University Pafos.
Я расскажу про соревнования по логическому синтезу, которые проводятся в течение нескольких последних лет в рамках конференции International Workshop on Logic and Synthesis. Цель — синтезировать (за примерно полгода) как можно более эффективные схемы для данных булевых функций, заданных таблицами истинности. В 2023 году первое место в этом соревновании занял Google DeepMind, в 2024 — наша команда (JetBrains и Neapolis University Pafos), в 2025 — UC Berkeley и National Taiwan University. Команды использовали самые разные техники — машинное обучение, комбинаторная оптимизация, анализ булевых функций, SAT-солверы и другое. Я расскажу про некоторые из этих техник, а также про предстоящее соревнование.
Please open Telegram to view this post
VIEW IN TELEGRAM
⚡24🔥13☃8❤7
CS Space
Стартует новогоднее соревнование CS Space! 🎄 Запускаем наш новогодний челлендж — адвент-соревнование по Computer Science, в котором можно считать дни до 2026 года c интересными задачами ⤵️ С 20 по 29 декабря вас ждёт серия задач по разным тематикам: ❄️ теоретическая…
В новогоднем адвент-соревновании — две новые задачи! 🎄
Выложили свежие истории — самое время заглянуть.
📄 «Новогодние стишки»
Помогите младшему брату сочинить самый рифмованный новогодний стих.
🍽 «Вовочка и холодец»
Вовочка снова отличился: новогодний холодец случайно разрезан, и теперь его нужно правильно «склеить»!
Обе задачи уже доступны в соревновании — заходите читать условия, решать и подниматься в рейтинге!
Все детали соревнования и участие — на сайте соревнования.
Выложили свежие истории — самое время заглянуть.
📄 «Новогодние стишки»
Помогите младшему брату сочинить самый рифмованный новогодний стих.
🍽 «Вовочка и холодец»
Вовочка снова отличился: новогодний холодец случайно разрезан, и теперь его нужно правильно «склеить»!
Обе задачи уже доступны в соревновании — заходите читать условия, решать и подниматься в рейтинге!
Все детали соревнования и участие — на сайте соревнования.
Please open Telegram to view this post
VIEW IN TELEGRAM
☃13🎄7🔥5⚡1❤1
Подводим итоги зимнего Math Cup ⚡️
В прошедшее воскресенье 21 декабря завершился математический турнир, который в этот раз собрал команды из разных университетов Санкт-Петербурга и Москвы: ИТМО, СПбГУ, ВШЭ, МФТИ. По итогам отбора и приглашения победителей и призеров прошлого турнира в очном финале участвовало 14 сильнейших команд. Участников ждали задачи по теоретической информатике, комбинаторике, теории вероятностей, алгебре и математическому анализу.
Поздравляем победителей и призёров!
1️⃣ Мысланты. Алексей Львов, Иван Гайдай-Турлов, Максим Туревский
2️⃣ 239 14-1. Владимир Давидюк, Иван Бахарев, Таисия Коротченко
3️⃣ 37 баллов. Александр Максимов, Евгений Русанов, Илья Замоторин
В завершение соревнования делимся материалами:
✔️ Отбор — Яндекс Контест и письменный разбор,
✔️ Финал — видео разбор и письменный разбор,
📷 Фотографии с турнира.
Спасибо всем участникам — ждём вас на следующих турнирах CS Space!
В прошедшее воскресенье 21 декабря завершился математический турнир, который в этот раз собрал команды из разных университетов Санкт-Петербурга и Москвы: ИТМО, СПбГУ, ВШЭ, МФТИ. По итогам отбора и приглашения победителей и призеров прошлого турнира в очном финале участвовало 14 сильнейших команд. Участников ждали задачи по теоретической информатике, комбинаторике, теории вероятностей, алгебре и математическому анализу.
Поздравляем победителей и призёров!
В завершение соревнования делимся материалами:
Спасибо всем участникам — ждём вас на следующих турнирах CS Space!
Please open Telegram to view this post
VIEW IN TELEGRAM
☃23❤13🔥10🎄2
CS Space
Стартует новогоднее соревнование CS Space! 🎄 Запускаем наш новогодний челлендж — адвент-соревнование по Computer Science, в котором можно считать дни до 2026 года c интересными задачами ⤵️ С 20 по 29 декабря вас ждёт серия задач по разным тематикам: ❄️ теоретическая…
Финиш уже близко — новогоднее соревнование заканчивается завтра! 🎄
Напоминаем, окончание приема рейтинговых решений уже завтра в 23:59. Если вы откладывали участие на потом или хотели дорешать задачи — сейчас самое время это сделать!
И напоследок мы добавили финальную задачу «Мешок с подарками» – вам предстоит разобраться, как справедливо раздать подарки детям 🎁
Все задачи соревнования уже доступны — заходите читать условия, решать, добирать баллы и встречать Новый год вместе с CS Space!
Все детали соревнования и участие — на сайте соревнования.
Напоминаем, окончание приема рейтинговых решений уже завтра в 23:59. Если вы откладывали участие на потом или хотели дорешать задачи — сейчас самое время это сделать!
И напоследок мы добавили финальную задачу «Мешок с подарками» – вам предстоит разобраться, как справедливо раздать подарки детям 🎁
Все задачи соревнования уже доступны — заходите читать условия, решать, добирать баллы и встречать Новый год вместе с CS Space!
Все детали соревнования и участие — на сайте соревнования.
Please open Telegram to view this post
VIEW IN TELEGRAM
🎄11☃7❤6⚡2🔥1
Друзья, команда CS Space поздравляет вас с наступающим Новым годом! Пусть в новом году будет больше интересных задач, красивых идей, сильных решений и поводов радоваться результатам — в учёбе, исследованиях и работе. Спасибо, что этот год вы провели вместе с нами
Подводим итоги новогоднего соревнования
Соревнование проходило с 20 по 29 декабря. Участникам было предложено 8 новогодних историй на разные темы из Computer Science. Мы отметим 10 лучших участников — они получат новогодние подарки от нас и наших партнёров Pinely.
1-6. Tagir Eminov — 115 баллов
1-6. Артем Колупаев — 115 баллов
1-6. Anton Hulikau — 115 баллов
1-6. Aleksandr Miskin — 115 баллов
1-6. Artur Saakyan — 115 баллов
1-6. Дмитрий Лигай — 115 баллов
7. Роман Тамразов — 110 баллов
8. Шумилов Алексей — 107 баллов
9. Мария Лоскутова — 85 баллов
10. Яна Фитковская — 83 баллов
Приглашаем всех в открытый чат CS Space, где мы проведём голосование за лучшую новогоднюю задачу. Её автора ждут подарки и денежное вознаграждение. С задачами можно ознакомиться на Stepik.
Ещё раз спасибо всем участникам — и до встречи в новом году!
Команда CS Space
Please open Telegram to view this post
VIEW IN TELEGRAM
🎄19❤10☃9
Завершаем год с новогодним настроением и вайб-рисованием ☃️
В рамках новогоднего соревнования мы предложили участникам добавить новогоднего настроения на фотографии команды CS Space. Получилось тепло, креативно и очень по-праздничному.
Мы отобрали 10 лучших работ и предлагаем вам помочь нам выбрать победителя в этой задаче. Автор работы, набравшей больше всего голосов, получит специальный приз 🎁
В рамках новогоднего соревнования мы предложили участникам добавить новогоднего настроения на фотографии команды CS Space. Получилось тепло, креативно и очень по-праздничному.
Мы отобрали 10 лучших работ и предлагаем вам помочь нам выбрать победителя в этой задаче. Автор работы, набравшей больше всего голосов, получит специальный приз 🎁
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
☃11❤6🎄4