tester-one

荣誉

• 2026年10月，布尔可满足性问题 (SAT)：第 3 名
• 2026年10月，图的 3-着色：第 2 名
• 2026年10月，3-集合精确覆盖 (X3C)：第 3 名

每个月的最高级

2026年10月: 布尔可满足性问题 (SAT) r07, 3-SAT r07, 独立集 r02, 团 r01, 顶点覆盖 r01, 图的 3-着色 r07, 哈密顿回路 r03, 0-1 整数规划 r05, 3-集合精确覆盖 (X3C) r07, 旅行商问题 (TSP) r01