검색 여닫기
검색
메뉴 여닫기
519
228
4
2천
noriwiki
둘러보기
대문
최근 바뀜
임의의 문서로
미디어위키 도움말
특수 문서 목록
파일 올리기
환경 설정 메뉴 여닫기
notifications
개인 메뉴 여닫기
로그인하지 않음
지금 편집한다면 당신의 IP 주소가 공개될 수 있습니다.
user-interface-preferences
한국어
개인 도구
로그인
Narrowing: 편집 역사
도움말
noriwiki
문서 공유하기
다른 명령
이 문서의 기록 보기
특정판 필터링
펼치기
접기
끝 날짜:
태그
필터:
wikieditor (숨긴 태그)
넘겨주기 대상 변경
넘겨주기 제거
되돌려진 기여
비우기
새 넘겨주기
서버측 업로드
수동 되돌리기
시각 편집
시각 편집: 전환됨
선택 반전
판 보이기
차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요.
설명:
(최신)
= 최신 판과 비교,
(이전)
= 이전 판과 비교,
잔글
= 사소한 편집
2023년 11월 14일 (화)
최신
이전
03:20
2023년 11월 14일 (화) 03:20
Ahn9807
토론
기여
잔글
1,618 바이트
+4
편집 요약 없음
최신
이전
03:19
2023년 11월 14일 (화) 03:19
Ahn9807
토론
기여
1,614 바이트
−8
편집 요약 없음
최신
이전
03:18
2023년 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...