悬赏问题

BOUNTY-SAT-0001

这项悬赏价值 1000 美元（USD），目前正在接受法律审查。

你现在可以查看并下载这道题，但目前不能提交。

正式发布很可能在 2026 年 12 月。

悬赏正式开放后，我们的打算是：第一个提交正确的解、且有资格的人获得奖金。（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 是一份提纲：阅读。只有本站最先收到并验证的解，才有资格获得悬赏。