2-SAT (Implication Graph)
2-CNF 판정: implication graph 구축 + SCC 로 xi와 ¬xi가 같은 SCC에 있는지 검사
메타데이터
| ID | 2-sat |
| 카테고리 | algorithm |
| 버전 | v4 |
| 길이 | 10.0s (10000ms) |
| 구성 | 13 elements · 5 chapters · 6 effects |
| 태그 | #2-sat #graph #scc #satisfiability |
본문에 삽입
```anim:2-sat
{}
```2-CNF 판정: implication graph 구축 + SCC 로 xi와 ¬xi가 같은 SCC에 있는지 검사
| ID | 2-sat |
| 카테고리 | algorithm |
| 버전 | v4 |
| 길이 | 10.0s (10000ms) |
| 구성 | 13 elements · 5 chapters · 6 effects |
| 태그 | #2-sat #graph #scc #satisfiability |
```anim:2-sat
{}
```