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단