Version bêta. Problem Forge est nouveau et ouvert sur invitation. La période de test bêta dure jusqu'au 2026-11-30 inclus ; l'ouverture complète a lieu le 2026-12-01 00:00 UTC. Des choses peuvent casser, et nous pourrons alors corriger les classements. La difficulté de certains échelons peut être fausse. Il n'y a pas de prix pendant la bêta, et la prime n'est pas ouverte. Votre compte et votre progression restent quand la bêta se termine. Merci de nous dire ce qui va bien et ce qui ne va pas : admin@problemforge.com.
En attente d'examen juridique
Pending legal review

Problèmes à prime

BOUNTY-SAT-0001

Cette prime vaut 1000 $ (USD) et fait l'objet d'un examen juridique.

Vous pouvez regarder le problème et le télécharger dès maintenant, mais les envois sont bloqués pour l'instant.

La publication officielle aura probablement lieu en décembre 2026.

Quand la prime ouvrira officiellement, l'intention est que la première personne admissible qui envoie une solution correcte gagne le prix. (Le personnel et les affiliés de Problem Forge, LLC ne sont pas admissibles.) Dès réception d'une solution correcte, quelle qu'en soit la source, la prime sera retirée. C'est un concours d'habileté, pas une loterie. Comme la formulation exacte compte souvent, veuillez attendre que les conditions soient examinées et publiées.

Prix : US$1,000. Nul là où la loi l'interdit. Le gagnant est responsable de tous les impôts, qui peuvent réduire fortement le montant.

Il n'y a pas de prix pendant la bêta.

Le problème BOUNTY-SAT-0001

DIMACS CNF · 2983 variables · 16617 clauses · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · version 1 du problème

Connectez-vous d'abord.

État

Pas encore ouverte aux réponses. Demandes envoyées jusqu'ici : 0.

Comment faire une demande

  1. Connectez-vous.
  2. Vérifiez votre réponse sur la page « Vérifier ». Ou lancez forge-check sat BOUNTY-SAT-0001.cnf <number>. Il doit afficher yes.

Écrivez la réponse comme pour SAT : le bit v−1 est la valeur de la variable v.

Conditions

La version 0 est une ébauche : la lire. Seule la première solution reçue et vérifiée sur ce site est admissible pour la prime.