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