KMP알고리즘 전처리 질문이있습니다
글쓴이: rlatlgud13 / 작성시간: 금, 2021/04/02 - 10:30오후
void Preprocess(char* Pattern, int PatternSize, int* Border)
{
int i = 0;
int j = -1;
Border[0] = -1;
while (i < PatternSize)
{
while (j > -1 && Pattern[i] != Pattern[j])
j = Border[j];//이 부분
i++;
j++;
Border[i] = j;
}
}
위에서 j=Border[j]; 라고 되어있는 부분에서 오류가 날 경우는 없나요?
그리고 저렇게 쓰는 이유는 무엇인가요?
Forums:
컴파일 할 때 에러 뿐 아니라 경고 메시지도 함께
컴파일 할 때 에러 뿐 아니라 경고 메시지도 함께 보면 도움 될 겁니다.
kldp에서 code 태그 안 쓰면 들여쓰기 다 망가져서 읽기 어려워집니다.
세벌 https://sebuls.blogspot.kr/
j 값이 -1이면 어마무시하게 큰 양의 정수입니다.
아랫분 지적처럼 제가 unsigned를 착각했네요.
j 값이 유효한 배열 번지를 벗어나니 확인해 보세요.
===========================================
<이전 답변>
j 값이 -1이면 어마무시하게 큰 양의 정수입니다. Border[-1] 이 Border[어마무시하게 큰 값] 이렇게 되는 거죠. Pattern[j] 도 마찬가지이구요.
j의 초기값을 바꾸어 보세요.
Quote:j 값이 -1이면 어마무시하게 큰 양의
=> 틀림. -1은 음의 정수입니다.
=> 또 틀림. Border[-1]는 Border가 가리키는 원소가 속한 배열에서 Border가 가리키는 것보다 하나 앞에 있는 원소입니다.
(Border가 배열의 첫 원소라면 이 표현식은 Undefined behavior가 됩니다.)
반면 Border[어마무시하게 큰 값]은, Border가 가리키는 원소가 속한 배열에서 Booder가 가리키는 것보다 (어마무시하게 큰 값)만큼 뒤에 있는 원소이지요.
(그런 원소가 있을 만큼 배열이 크지 않다면 이 표현식은 Undefined behavior가 됩니다.)
오타 정정
Booder가 가리키는 것보다 => Border가 가리키는 것보다