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