→ О соревновании
Андрей Станкевич — золотой и серебряный призер чемпионата мира ACM-ICPC, доцент кафедры компьютерных технологий Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики, тренер команд НИУ ИТМО, которые становились победителями чемпионата мира ACM-ICPC 5 раз. Его контесты с 2003 года и по сей день используются на Летних и Зимних Петрозаводских сборах и считаются одними из самых интересных и качественно подготовленных контестов на этих международных сборах. Материалы контестов распространяются по лицензии Creative Commons 4.0 Attribution.
→ Виртуальное участие
Виртуальное соревнование – это способ прорешать прошедшее соревнование в режиме, максимально близком к участию во время его проведения. Поддерживается только ICPC режим для виртуальных соревнований.
Если вы раньше видели эти задачи,
виртуальное соревнование не для вас – решайте эти задачи в архиве.
Если вы хотите просто дорешать задачи, виртуальное соревнование не для вас – решайте эти задачи в архиве.
Запрещается использовать чужой код, читать разборы задач и общаться по содержанию соревнования с кем-либо.
→ Дорешивание?
Хотите дорешать задачи? Просто зарегистрируйтесь на дорешивание.
→ Фильтр статуса
→ Материалы соревнования
Задача F - Formal Program Verification
Статус соревнования
| № | Когда | Кто | Задача | Язык | Вердикт | Время | Память |
|---|---|---|---|---|---|---|---|
| 7922778 | 23.09.2014 14:44 |
 SPbSU ITMO 1 (Isenbaev, Kapun, Melnikov) |
F - Formal Program Verification | Unknown | Полное решение | 0 мс | 0 КБ |
| 45208469 | 02.11.2018 16:58 | WUr: MicGor, yarek, Anadi# | F - Formal Program Verification | PyPy 3 | Полное решение | 202 мс | 1400 КБ |
| 13834254 | 25.10.2015 09:31 | Wunderzeit: s-quark, zhj, dhh1995# | F - Formal Program Verification | GNU C++11 | Полное решение | 30 мс | 2500 КБ |
| 17530351 | 27.04.2016 06:18 | blackEarth | F - Formal Program Verification | GNU C++11 | Полное решение | 15 мс | 2600 КБ |
| 10935419 | 30.04.2015 09:02 | ThinkingBear: Leo_Yu, Eternal_Answer, ACMonster# | F - Formal Program Verification | GNU C++ | Полное решение | 31 мс | 2200 КБ |
| 8286810 | 18.10.2014 00:12 | guspiel | F - Formal Program Verification | GNU C++0x | Полное решение | 109 мс | 400 КБ |
| 266824253 | 22.06.2024 14:58 | qiuzx | F - Formal Program Verification | C++20 (GCC 13-64) | Полное решение | 62 мс | 100 КБ |
| 172127763 | 14.09.2022 13:34 | applese | F - Formal Program Verification | C++14 (GCC 6-32) | Полное решение | 15 мс | 200 КБ |
| 14844778 | 17.12.2015 14:11 | darkhh | F - Formal Program Verification | GNU C++11 | Полное решение | 31 мс | 200 КБ |
| 95736073 | 17.10.2020 15:11 | Scrambled Eggs: theodor.moroianu, livlivi, bicsi# | F - Formal Program Verification | C++17 (GCC 9-64) | Полное решение | 31 мс | 200 КБ |
| 14846107 | 17.12.2015 16:03 | darkhh | F - Formal Program Verification | GNU C++11 | Полное решение | 15 мс | 200 КБ |
| 394252558 | 12.10.2026 12:17 | chenwz | F - Formal Program Verification | C++17 (GCC 7-32) | Полное решение | 46 мс | 0 КБ |
| 216563953 | 31.07.2023 13:52 | Muhamed_Abdelghany | F - Formal Program Verification | C++20 (GCC 11-64) | Полное решение | 46 мс | 36300 КБ |
| 45459266 | 09.11.2018 01:24 | Rzepa | F - Formal Program Verification | C++17 (GCC 7-32) | Полное решение | 46 мс | 24900 КБ |
| 216563721 | 31.07.2023 13:50 | Muhamed_Abdelghany | F - Formal Program Verification | C++20 (GCC 11-64) | Полное решение | 31 мс | 36300 КБ |
| 350437851 | 24.11.2025 08:13 | hobbycp | F - Formal Program Verification | C++17 (GCC 7-32) | Полное решение | 62 мс | 0 КБ |
Сортировка по:
Codeforces (c) Copyright 2010-2026 Михаил Мирзаянов
Соревнования по программированию 2.0
Время на сервере: 14.10.2026 11:28:24 (g2).
Десктопная версия, переключиться на мобильную.
При поддержке
