Problemas com recompensa

BOUNTY-SAT-0001

Esta recompensa vale US$ 1000 e está em análise jurídica.

Você já pode ver a cópia e baixá-la, mas os envios estão bloqueados no momento.

A publicação oficial deve acontecer em dezembro de 2026.

Quando a recompensa abrir oficialmente, a intenção é que a primeira pessoa elegível que enviar uma solução correta ganhe o prêmio. (A equipe e os afiliados da Problem Forge, LLC não são elegíveis.) Ao recebermos uma solução correta de qualquer origem, a recompensa será retirada. Esta é uma competição de habilidade, não uma loteria. Como a redação exata muitas vezes importa, aguarde os termos serem analisados e publicados.

Prêmio: US$1,000. Nulo onde for proibido. O vencedor é responsável por todos os impostos, que podem reduzir bastante o valor.

Não há prêmios durante o beta.

O problema BOUNTY-SAT-0001

DIMACS CNF · variáveis: 2983 · cláusulas: 16617 · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · versão 1 do problema

Baixar o arquivo do problema Entre primeiro.

Situação

Ainda não está aberta para respostas. Solicitações enviadas até agora: 0.

Como solicitar

1. Entre.
2. Verifique sua resposta na página Verificar. Ou rode forge-check sat BOUNTY-SAT-0001.cnf <number>. Ele precisa dizer yes.

Escreva a resposta como no SAT: o bit v−1 é o valor da variável v.

Termos

A versão 0 é um esboço: leia. Só a primeira solução recebida e verificada neste site pode receber a recompensa.