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段