특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 11월 14일 (화) 최신이전 03:192023년 11월 14일 (화) 03:19 Ahn9807 토론 기여 잔글 1,668 바이트 +4 편집 요약 없음 최신이전 03:082023년 11월 14일 (화) 03:08 Ahn9807 토론 기여 1,664 바이트 +1,664 새 문서: 분류: 프로그램 분석 == 개요 == Widening은 fix point iterations에서 lattice가 infinite이거나, search space가 너무 크면 수렴에 무한히 (오랜)시간이 걸리는 문제를 해결하기 위해서, step을 한번에 크게 가져가는 것을 말한다. widening operation은 <math>\bigtriangledown : D^{\sharp} \times D^{\sharp} \rightarrow D^{\sharp}</math> 라는 기호로 표기한다. 여기서 다음 조건을 만족시키는 finite chain Y를...