Задачи с наградой

BOUNTY-SAT-0001

Эта награда составляет $1000 (USD), и сейчас она проходит юридическую проверку.

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

Официальная публикация, скорее всего, состоится в декабре 2026 года.

Когда награда официально откроется, предполагается, что приз получит первый человек, имеющий право на участие, который отправит верное решение. (Сотрудники и аффилированные лица Problem Forge, LLC права на участие не имеют.) Как только из любого источника будет получено верное решение, награда будет снята. Это состязание в мастерстве, а не лотерея. Поскольку точная формулировка часто важна, пожалуйста, дождитесь, пока условия будут проверены и опубликованы.

Приз: US$1,000. Недействительно там, где запрещено законом. Победитель сам отвечает за все налоги, которые могут существенно уменьшить сумму.

Во время беты призов нет.

Задача BOUNTY-SAT-0001

DIMACS CNF · переменных: 2983 · дизъюнктов: 16617 · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · версия задачи 1

Скачать задачу Сначала войдите.

Состояние

Ответы пока не принимаются. Отправлено заявок: 0.

Как подать заявку

1. Войдите.
2. Проверьте ответ на странице «Проверка». Или запустите forge-check sat BOUNTY-SAT-0001.cnf <number>. Она должна сказать yes.

Запишите ответ так же, как для SAT: бит v−1 — значение переменной v.

Условия

Версия 0 — это набросок: прочитать. Право на награду имеет только первое решение, полученное и проверенное на этом сайте.