懸賞金問題

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 は概要です：読む。懸賞金の対象になるのは、このサイトで最初に受け取り、確認された解だけです。