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段