Bètaversie. Problem Forge is nieuw en alleen op uitnodiging open. De bètatestperiode loopt tot en met 2026-11-30; de volledige opening is op 2026-12-01 00:00 UTC. Er kunnen dingen kapotgaan, en dan kunnen we de ranglijsten corrigeren. De moeilijkheid van sommige treden kan verkeerd zijn. Tijdens de bèta zijn er geen prijzen, en de beloning is niet open. Je account en je voortgang blijven als de bèta eindigt. Laat ons alsjeblieft weten wat er goed gaat en wat er misgaat: admin@problemforge.com.
In afwachting van juridische beoordeling
Pending legal review

Beloningsproblemen

BOUNTY-SAT-0001

Deze beloning is $1000 (USD) waard en wordt juridisch nagekeken.

Je kunt het exemplaar nu al bekijken en downloaden, maar insturen is op dit moment geblokkeerd.

De officiële bekendmaking volgt waarschijnlijk in december 2026.

Als de beloning officieel opengaat, is het de bedoeling dat de eerste persoon die in aanmerking komt en een juiste oplossing instuurt de prijs wint. (Medewerkers en gelieerde personen van Problem Forge, LLC komen niet in aanmerking.) Zodra er van wie dan ook een juiste oplossing binnenkomt, wordt de beloning ingetrokken. Dit is een wedstrijd van vaardigheid, geen loterij. Omdat de precieze formulering vaak belangrijk is, wacht alsjeblieft tot de voorwaarden zijn nagekeken en gepubliceerd.

Prijs: US$1,000. Ongeldig waar verboden. De winnaar is verantwoordelijk voor alle belastingen, die het bedrag flink kunnen verlagen.

Tijdens de bèta zijn er geen prijzen.

Het probleem BOUNTY-SAT-0001

DIMACS CNF · 2983 variabelen · 16617 clausules · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · versie 1 van het probleem

Log eerst in.

Status

Nog niet open voor antwoorden. Claims tot nu toe ingestuurd: 0.

Zo dien je een claim in

  1. Log in.
  2. Controleer je antwoord op de pagina Controleren. Of voer forge-check sat BOUNTY-SAT-0001.cnf <number> uit. Het moet yes zeggen.

Schrijf het antwoord zoals bij SAT: bit v−1 is de waarde van variabele v.

Voorwaarden

Versie 0 is een schets: lees haar. Alleen de eerste oplossing die op deze site wordt ontvangen en gecontroleerd, komt in aanmerking voor de beloning.