이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
cnf [2010-04-22 03:41] lifthrasiir 용어는 확실히 해 두자 |
cnf [2011-05-30 18:25] (현재) |
||
---|---|---|---|
줄 5: | 줄 5: | ||
다루기 편하기 때문에 [[SAT]] 같은 데서 입력이 CNF로 되어 있다고 가정하고 쓰는 경우가 많다. 반대 형태인 [[DNF]]도 쓰지만 CNF만큼 많이 쓰지는 않는다. (아무래도 [[분해법]][resolution]이 CNF에서만 통해서 그런 건지...) | 다루기 편하기 때문에 [[SAT]] 같은 데서 입력이 CNF로 되어 있다고 가정하고 쓰는 경우가 많다. 반대 형태인 [[DNF]]도 쓰지만 CNF만큼 많이 쓰지는 않는다. (아무래도 [[분해법]][resolution]이 CNF에서만 통해서 그런 건지...) | ||
+ | {{tag>전산학}} |