Problemas con recompensa

BOUNTY-SAT-0001

Esta recompensa vale $1000 (USD) y está en revisión legal.

Ya puedes ver el problema y descargarlo, pero por ahora los envíos están bloqueados.

La publicación oficial probablemente será en diciembre de 2026.

Cuando la recompensa se abra oficialmente, la intención es que la primera persona elegible que envíe una solución correcta gane el premio. (El personal y los afiliados de Problem Forge, LLC no son elegibles.) Al recibir una solución correcta de cualquier fuente, la recompensa se retirará. Este es un concurso de habilidad, no una lotería. Como la redacción exacta suele importar, espera, por favor, a que los términos se revisen y se publiquen.

Premio: US$1,000. Nulo donde esté prohibido. El ganador es responsable de todos los impuestos, que pueden reducir mucho el monto.

No hay premios durante la beta.

El problema BOUNTY-SAT-0001

DIMACS CNF · 2983 variables · 16617 cláusulas · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · versión 1 del problema

Descargar el archivo del problema Primero inicia sesión.

Estado

Todavía no está abierta a respuestas. Solicitudes enviadas hasta ahora: 0.

Cómo presentar una solicitud

1. Inicia sesión.
2. Verifica tu respuesta en la página «Verificar». O ejecuta forge-check sat BOUNTY-SAT-0001.cnf <number>. Debe decir yes.

Escribe la respuesta como en SAT: el bit v−1 es el valor de la variable v.

Términos

La versión 0 es un esquema: léela. Solo la primera solución recibida y verificada en este sitio puede optar a la recompensa.