[BOJ / 휴리스틱(시뮬레이티드 어닐링)] 16992 3-SAT

https://www.acmicpc.net/problem/16992 16992번: 3-SAT 첫째 줄에 변수의 개수 N (1 ≤ N ≤ 100)과 절의 개수 M (1 ≤ M ≤ 1000)이 주어진다. 둘째 줄부터 M개의 줄에는 절이 주어진다. 절은 세 정수 i, j, k (1 ≤ |i|, |j|, |k| ≤ N)로 이루어져 있으며, i, j, k가 www.acmicpc.net 16992 3-SAT 알고리즘 : 휴리스틱(시뮬레이티드 어닐링) 시뮬레이티드 어닐링(담금질 기법)을 이용한 휴리스틱 풀이입니다. 휴리스틱이란 정해를 구하기엔 시간이 충분하지 않거나 정보의 부족으로 인하여 합리적인 해를 제시할 수 없을 때, 빠르게 사용할 수 있는 확률에 의지하는 방법 입니다. SCPC에 자주 나오는 유형이라 이번에 ..