단조 불변식

단조 구조 후보 판정

다음 큰 수와 슬라이딩 윈도우는 후보 제거 조건이 전부입니다. 버린 값이 다시 답이 될 수 없다는 근거를 먼저 세워야 합니다.

지배 조건

후보를 버리는 이유를 증명

새 값이 이전 후보를 완전히 대체할 때만 pop 조건을 적용해야 선형 시간이 성립합니다.

동점 정책

같은 값 처리 기준을 고정

조건이 `<`인지 `<=`인지에 따라 동점 보존과 결과 인덱스가 달라집니다.

윈도우

값보다 인덱스를 저장

범위 밖 후보를 제거해야 하는 문제에서는 위치 정보가 답의 유효성을 결정합니다.

불변식이 무너지는 지점

push 전현재 값이 기존 후보를 지배하는지 조건식을 문장으로 확인합니다.
pop 조건증가, 감소, 전부 같은 값 케이스에서 동점 처리 결과를 비교합니다.
창 이동윈도우 왼쪽 경계가 바뀔 때 범위 밖 인덱스를 먼저 제거합니다.