연결 되 는 천공 된 변수 노드 의 개수 가 동일 한 경우 , 검사 노드 의 우선 순위 를 정하 는 방법 은 다양 하 게 결정 될 수 있 다 . 예 를 들 어 , 천공 되 지 않 은 변수 노드 의 개수 에 따라 검사 노드 의 우선 순위 를 정할 수 있 다 . 예 를 들 어 , 천공 되 지 않 은 변수 노드 의 개수 가 많 은 검사 노드 또는 천공 되 지 않 은 변수 노드 의 개수 가 적 은 검사 노드 에 더 높 은 우선 순위 를 부여 할 수 있 다 .