특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 11월 14일 (화) 최신이전 03:202023년 11월 14일 (화) 03:20 Ahn9807 토론 기여 잔글 1,618 바이트 +4 편집 요약 없음 최신이전 03:192023년 11월 14일 (화) 03:19 Ahn9807 토론 기여 1,614 바이트 −8 편집 요약 없음 최신이전 03:182023년 11월 14일 (화) 03:18 Ahn9807 토론 기여 1,622 바이트 +1,622 새 문서: 분류: 프로그램 분석 == 개요 == Widening과 같은 경우에는 Overshooting을 통해서 finite한 시간안에 Least fixed point를 찾도록 해주지만, 너무 Overshooting되어서 precise한 결과를 가져오지 못하는 한계가 있다. 이를 해결하기 위해서 Narrowing을 통해서 Widening된 해답을 Optimal solution을 향해서 좁혀나가는 것을 의미한다. Narrowing operation은 <math>\bigtriangleup : D^{\sharp} \times D^{\s...