기본 과정
non-promising
)non-promising
(backtracking)
Prunning
)# 노드 검사
def checknode (v) :
# 유망함
if promising(v) :
# 해를 찾았다면
if there is a solution at v :
write the solution
# 해가 아니라면
else :
# 해당 노드에서 계속 탐색
for u in each child of v :
checknode(u)
# 유망하지 않음
else:
# 해당 노드에서 작업을 멈춤.
# 즉, call stack의 최상위 함수를 실행시켜 마치 부모노드로 돌아가는 효과
pass