Problem Forge
모든 절에 참인 리터럴이 하나 이상 있도록 각 변수를 참이나 거짓으로 정해 보세요.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
이번 달의 단
| 단 | 풂, 전체 참가자 | 제출된 답, 전체 참가자 | 상태 |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | 미해결 |
| 2026-11-SAT-11 | 0 | 0 | 미해결 |
| 2026-11-SAT-10 | 0 | 0 | 미해결 |
| 2026-11-SAT-09 | 0 | 0 | 미해결 |
| 2026-11-SAT-08 | 1 | 1 | 풂 |
| 2026-11-SAT-07 | 1 | 1 | 풂 |
| 2026-11-SAT-06 | 1 | 1 | 풂 |
| 2026-11-SAT-05 | 1 | 1 | 풂 |
| 2026-11-SAT-04 | 1 | 1 | 풂 |
| 2026-11-SAT-03 | 1 | 1 | 풂 |
| 2026-11-SAT-02 | 1 | 1 | 풂 |
| 2026-11-SAT-01 | 1 | 1 | 풂 |
| 2026-11-SAT-00 | 1 | 1 | 풂 |
로그인하면 내 진행 상황을 보고 각 단을 열 수 있어요.
샘플
샘플 파일 다섯 개가 있고, 파일마다 답이 함께 있어요. 계정은 필요 없어요. 내 답을 검사하려면 검사 페이지에서 파일을 여세요.
- SAMPLE-SAT-01.cnf · 변수 35개, 절 141개 · 답
- SAMPLE-SAT-02.cnf · 변수 32개, 절 167개 · 답
- SAMPLE-SAT-03.cnf · 변수 27개, 절 137개 · 답
- SAMPLE-SAT-04.cnf · 변수 28개, 절 155개 · 답
- SAMPLE-SAT-05.cnf · 변수 28개, 절 119개 · 답
더 읽기: 참고 문헌: 불리언 충족 가능성 문제 (SAT).