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