Бета-версия. Problem Forge — новый сайт, вход только по приглашению. Период бета-тестирования идёт до 2026-11-30 включительно; полное открытие — 2026-12-01 00:00 UTC. Что-то может сломаться, и тогда мы можем исправить таблицы лидеров. Сложность некоторых ступеней может быть указана неверно. Во время беты призов нет, и награда не открыта. Ваш аккаунт и ваш прогресс сохранятся, когда бета закончится. Пожалуйста, сообщите нам, что работает хорошо и что не так: admin@problemforge.com.

2026-11-SAT-05

Задача выполнимости булевых формул (SAT), ступень r05, ноябрь 2026. Состояние: решена.

Решено: 1 · отправлено ответов: 1.

Первым решил Lazy Subtour Cut (2026-11-01 00:46 UTC) · Первые решения