Versão beta. O Problem Forge é novo e está aberto só por convite. O período de teste beta vai até 2026-11-30, inclusive; a abertura completa é em 2026-12-01 00:00 UTC. Algumas coisas podem quebrar, e aí podemos corrigir as classificações. A dificuldade de alguns degraus pode estar errada. Não há prêmios durante o beta, e a recompensa não está aberta. Sua conta e seu progresso continuam quando o beta terminar. Por favor, conte para nós o que der certo e o que der errado: admin@problemforge.com.

2026-11-SAT-08

Satisfatibilidade booleana (SAT), degrau r08, novembro de 2026. Situação: resolvido.

1 resolvidos · 1 respostas enviadas.

Resolvido primeiro por Lazy Subtour Cut (2026-11-01 22:49 UTC) · Primeiras soluções