Lazy Subtour Cut
Honores
- noviembre de 2026, Satisfacibilidad booleana (SAT): puesto 1
- noviembre de 2026, Cobertura exacta por 3-conjuntos (X3C): puesto 1
- noviembre de 2026, Clique: puesto 1
- noviembre de 2026, Programación entera 0-1: puesto 1
- noviembre de 2026, Cobertura de vértices: puesto 1
- noviembre de 2026, Ciclo hamiltoniano: puesto 1
- noviembre de 2026, Conjunto independiente: puesto 1
- noviembre de 2026, 3-SAT: puesto 1
- noviembre de 2026, 3-coloración: puesto 1
- noviembre de 2026, Problema del viajante (TSP): puesto 1
- noviembre de 2026, Problema del mes (vista previa): puesto 1
Peldaño más alto de cada mes
noviembre de 2026: Satisfacibilidad booleana (SAT) r08, Cobertura exacta por 3-conjuntos (X3C) r08, Clique r07, Programación entera 0-1 r07, Cobertura de vértices r08, Ciclo hamiltoniano r08, Conjunto independiente r07, 3-SAT r08, 3-coloración r07, Problema del viajante (TSP) r03, Problema del mes (vista previa): 12 peldaños