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.

Primeiras soluções — novembro de 2026

Uma primeira solução por degrau, do 01 ao 12: a de quem envia a primeira resposta aceita para qualquer cópia dele naquele mês. O tempo mais rápido, o tempo médio e o tempo mediano vão do primeiro download do degrau por um escalador (ou do clique em “Mostrar este problema”) até a resposta aceita. “Aberto por” conta os escaladores que abriram o degrau naquele mês; “porcentagem resolvida” é a parcela deles que o resolveu. A partir do mês 2026-11, a equipe não é contada. As primeiras soluções não mudam sua pontuação.

Satisfatibilidade booleana (SAT)

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-SAT-01		 Lazy Subtour Cut
2026-11-01 00:45 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-SAT-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
03
2026-11-SAT-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-SAT-04		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:05		 0:05 0:05 1 100 %
05
2026-11-SAT-05		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:24		 0:24 0:24 1 100 %
06
2026-11-SAT-06		 Lazy Subtour Cut
2026-11-01 00:56 UTC		 Lazy Subtour Cut
9:01		 9:01 9:01 1 100 %
07
2026-11-SAT-07		 Lazy Subtour Cut
2026-11-01 01:02 UTC		 Lazy Subtour Cut
6:01		 6:01 6:01 1 100 %
08
2026-11-SAT-08		 Lazy Subtour Cut
2026-11-01 22:49 UTC		 Lazy Subtour Cut
21:47:14		 21:47:14 21:47:14 1 100 %

3-SAT

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-3SAT-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-3SAT-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
03
2026-11-3SAT-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
04
2026-11-3SAT-04		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:04		 0:04 0:04 1 100 %
05
2026-11-3SAT-05		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:13		 0:13 0:13 1 100 %
06
2026-11-3SAT-06		 Lazy Subtour Cut
2026-11-01 00:52 UTC		 Lazy Subtour Cut
5:33		 5:33 5:33 1 100 %
07
2026-11-3SAT-07		 Lazy Subtour Cut
2026-11-01 01:20 UTC		 Lazy Subtour Cut
28:18		 28:18 28:18 1 100 %
08
2026-11-3SAT-08		 Lazy Subtour Cut
2026-11-02 01:14 UTC		 Lazy Subtour Cut
23:53:16		 23:53:16 23:53:16 1 100 %

Conjunto independente

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-IS-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-IS-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:05		 0:05 0:05 1 100 %
03
2026-11-IS-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-IS-04		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:27		 0:27 0:27 1 100 %
05
2026-11-IS-05		 Lazy Subtour Cut
2026-11-01 00:48 UTC		 Lazy Subtour Cut
1:19		 1:19 1:19 1 100 %
06
2026-11-IS-06		 Lazy Subtour Cut
2026-11-01 00:58 UTC		 Lazy Subtour Cut
10:01		 10:01 10:01 1 100 %
07
2026-11-IS-07		 Lazy Subtour Cut
2026-11-01 01:58 UTC		 Lazy Subtour Cut
1:00:11		 1:00:11 1:00:11 1 100 %
08
2026-11-IS-08		 — — — — 1 0 %

Clique

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-CLIQUE-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-CLIQUE-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
03
2026-11-CLIQUE-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-CLIQUE-04		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:20		 0:20 0:20 1 100 %
05
2026-11-CLIQUE-05		 Lazy Subtour Cut
2026-11-01 00:48 UTC		 Lazy Subtour Cut
1:08		 1:08 1:08 1 100 %
06
2026-11-CLIQUE-06		 Lazy Subtour Cut
2026-11-01 01:04 UTC		 Lazy Subtour Cut
15:58		 15:58 15:58 1 100 %
07
2026-11-CLIQUE-07		 Lazy Subtour Cut
2026-11-01 01:28 UTC		 Lazy Subtour Cut
24:14		 24:14 24:14 1 100 %
08
2026-11-CLIQUE-08		 — — — — 1 0 %

Cobertura de vértices

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-VC-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-VC-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:06		 0:06 0:06 1 100 %
03
2026-11-VC-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-VC-04		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:37		 0:37 0:37 1 100 %
05
2026-11-VC-05		 Lazy Subtour Cut
2026-11-01 00:48 UTC		 Lazy Subtour Cut
1:43		 1:43 1:43 1 100 %
06
2026-11-VC-06		 Lazy Subtour Cut
2026-11-01 00:51 UTC		 Lazy Subtour Cut
2:22		 2:22 2:22 1 100 %
07
2026-11-VC-07		 Lazy Subtour Cut
2026-11-01 02:14 UTC		 Lazy Subtour Cut
1:22:48		 1:22:48 1:22:48 1 100 %
08
2026-11-VC-08		 Lazy Subtour Cut
2026-11-01 02:48 UTC		 Lazy Subtour Cut
34:15		 34:15 34:15 1 100 %

3-coloração

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-3COL-01		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
02
2026-11-3COL-02		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
03
2026-11-3COL-03		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-3COL-04		 Lazy Subtour Cut
2026-11-01 00:56 UTC		 Lazy Subtour Cut
9:19		 9:19 9:19 1 100 %
05
2026-11-3COL-05		 Lazy Subtour Cut
2026-11-01 02:08 UTC		 Lazy Subtour Cut
1:11:22		 1:11:22 1:11:22 1 100 %
06
2026-11-3COL-06		 Lazy Subtour Cut
2026-11-01 02:33 UTC		 Lazy Subtour Cut
25:16		 25:16 25:16 1 100 %
07
2026-11-3COL-07		 Lazy Subtour Cut
2026-11-01 21:52 UTC		 Lazy Subtour Cut
19:19:09		 19:19:09 19:19:09 1 100 %

Ciclo hamiltoniano

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-HC-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-HC-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:06		 0:06 0:06 1 100 %
03
2026-11-HC-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
04
2026-11-HC-04		 Lazy Subtour Cut
2026-11-01 00:49 UTC		 Lazy Subtour Cut
3:12		 3:12 3:12 1 100 %
05
2026-11-HC-05		 Lazy Subtour Cut
2026-11-01 00:58 UTC		 Lazy Subtour Cut
8:12		 8:12 8:12 1 100 %
06
2026-11-HC-06		 Lazy Subtour Cut
2026-11-01 01:15 UTC		 Lazy Subtour Cut
16:54		 16:54 16:54 1 100 %
07
2026-11-HC-07		 Lazy Subtour Cut
2026-11-01 20:46 UTC		 Lazy Subtour Cut
19:31:08		 19:31:08 19:31:08 1 100 %
08
2026-11-HC-08		 Lazy Subtour Cut
2026-11-02 01:37 UTC		 Lazy Subtour Cut
2:31:39		 2:31:39 2:31:39 1 100 %

Caixeiro-viajante (TSP)

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-TSP-01		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:03		 0:03 0:03 1 100 %
02
2026-11-TSP-02		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:08		 0:08 0:08 1 100 %
03
2026-11-TSP-03		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:09		 0:09 0:09 1 100 %
04
2026-11-TSP-04		 — — — — 1 0 %

Programação inteira 0-1

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-ILP-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:01		 0:01 0:01 1 100 %
02
2026-11-ILP-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:05		 0:05 0:05 1 100 %
03
2026-11-ILP-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
04
2026-11-ILP-04		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:03		 0:03 0:03 1 100 %
05
2026-11-ILP-05		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:21		 0:21 0:21 1 100 %
06
2026-11-ILP-06		 Lazy Subtour Cut
2026-11-01 00:53 UTC		 Lazy Subtour Cut
6:25		 6:25 6:25 1 100 %
07
2026-11-ILP-07		 Lazy Subtour Cut
2026-11-01 22:20 UTC		 Lazy Subtour Cut
21:27:14		 21:27:14 21:27:14 1 100 %

Cobertura exata por 3-conjuntos (X3C)

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-11-X3C-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-11-X3C-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:06		 0:06 0:06 1 100 %
03
2026-11-X3C-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:03		 0:03 0:03 1 100 %
04
2026-11-X3C-04		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:32		 0:32 0:32 1 100 %
05
2026-11-X3C-05		 Lazy Subtour Cut
2026-11-01 00:50 UTC		 Lazy Subtour Cut
2:56		 2:56 2:56 1 100 %
06
2026-11-X3C-06		 Lazy Subtour Cut
2026-11-01 01:09 UTC		 Lazy Subtour Cut
19:23		 19:23 19:23 1 100 %
07
2026-11-X3C-07		 Lazy Subtour Cut
2026-11-01 21:10 UTC		 Lazy Subtour Cut
20:01:15		 20:01:15 20:01:15 1 100 %
08
2026-11-X3C-08		 Lazy Subtour Cut
2026-11-01 23:05 UTC		 Lazy Subtour Cut
1:53:30		 1:53:30 1:53:30 1 100 %

Problema do mês (Prévia)

degrauPrimeiro a resolverTempo mais rápidoTempo médioTempo medianoAberto porPorcentagem resolvida
01
2026-12-preview-2026-11-MONTH-01		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
02
2026-12-preview-2026-11-MONTH-02		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:00		 0:00 0:00 1 100 %
03
2026-12-preview-2026-11-MONTH-03		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:06		 0:06 0:06 1 100 %
04
2026-12-preview-2026-11-MONTH-04		 Lazy Subtour Cut
2026-11-01 00:46 UTC		 Lazy Subtour Cut
0:04		 0:04 0:04 1 100 %
05
2026-12-preview-2026-11-MONTH-05		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:16		 0:16 0:16 1 100 %
06
2026-12-preview-2026-11-MONTH-06		 Lazy Subtour Cut
2026-11-01 00:47 UTC		 Lazy Subtour Cut
0:20		 0:20 0:20 1 100 %
07
2026-12-preview-2026-11-MONTH-07		 Lazy Subtour Cut
2026-11-01 00:48 UTC		 Lazy Subtour Cut
1:31		 1:31 1:31 1 100 %
08
2026-12-preview-2026-11-MONTH-08		 Lazy Subtour Cut
2026-11-01 00:49 UTC		 Lazy Subtour Cut
0:02		 0:02 0:02 1 100 %
09
2026-12-preview-2026-11-MONTH-09		 Lazy Subtour Cut
2026-11-01 00:49 UTC		 Lazy Subtour Cut
0:02		 0:02 0:02 1 100 %
10
2026-12-preview-2026-11-MONTH-10		 Lazy Subtour Cut
2026-11-01 00:49 UTC		 Lazy Subtour Cut
0:18		 0:18 0:18 1 100 %
11
2026-12-preview-2026-11-MONTH-11		 Lazy Subtour Cut
2026-11-01 00:54 UTC		 Lazy Subtour Cut
5:18		 5:18 5:18 1 100 %
12
2026-12-preview-2026-11-MONTH-12		 Lazy Subtour Cut
2026-11-01 01:06 UTC		 Lazy Subtour Cut
13:24		 13:24 13:24 1 100 %