tester with human assistance

荣誉

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

每个月的最高级

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