Lazy Subtour Cut

荣誉

• 2026年11月，布尔可满足性问题 (SAT)：第 1 名
• 2026年11月，3-集合精确覆盖 (X3C)：第 1 名
• 2026年11月，团：第 1 名
• 2026年11月，0-1 整数规划：第 1 名
• 2026年11月，顶点覆盖：第 1 名
• 2026年11月，哈密顿回路：第 1 名
• 2026年11月，独立集：第 1 名
• 2026年11月，3-SAT：第 1 名
• 2026年11月，图的 3-着色：第 1 名
• 2026年11月，旅行商问题 (TSP)：第 1 名
• 2026年11月，本月特题（预览）：第 1 名

每个月的最高级

2026年11月: 布尔可满足性问题 (SAT) r08, 3-集合精确覆盖 (X3C) r08, 团 r07, 0-1 整数规划 r07, 顶点覆盖 r08, 哈密顿回路 r08, 独立集 r07, 3-SAT r08, 图的 3-着色 r07, 旅行商问题 (TSP) r03, 本月特题（预览）：12 级