티스토리 뷰
명제 해석 식에 대한 만족성 문제는, 식의 값이 true가 되게 지정할 수 있는 방법이 있는지를 묻는 문제라고 한다. 책의 설명을 보니 되게 중요한 문제인가보다. 1950년대에 휴리스틱 프로그래밍의 가능성을 증명하기 위해서 썼다고 한다.
잘 모르겠어서 여기까지만 쓴다 ^^;;
'Algorithm > 이론' 카테고리의 다른 글
| [자료구조] thread binary tree에서 inorder traverse 하기 (0) | 2019.05.31 |
|---|---|
| [자료구조] thread binary tree(쓰레드 이진 트리) (0) | 2019.05.31 |
| [자료구조] binary tree 두개가 동일한지 비교하는 C코드 (0) | 2019.05.31 |
| [자료구조] binary tree 복사하는 C코드 (0) | 2019.05.31 |
| [자료구조] 스택 없이 트리를 traverse 하는 법 (0) | 2019.05.31 |