Fixed point: 편집 역사

2023년 11월 8일 (수)

• 최신이전 07:332023년 11월 8일 (수) 07:33 Ahn9807 토론 기여 잔글 1,331 바이트 −1 편집 요약 없음
• 최신이전 07:332023년 11월 8일 (수) 07:33 Ahn9807 토론 기여 1,332 바이트 −2 편집 요약 없음
• 최신이전 07:322023년 11월 8일 (수) 07:32 Ahn9807 토론 기여 1,334 바이트 +1,334 새 문서: 분류: Abstract interpretation == 개요 == Fixed point란 F(X) = X를 만족시키는 점들을 말한다. * x 는 만약 <math>f : A \rightarrow A, x \in A </math>을 만족시키면 fixed point이다. 이때 함수가 Monotonic function이고, Partial order이 정의되어 있다면, 항상 제일큰 fixed point와 가장 작은 fixed point가 존재할 것이다. * leat fixed point: Monotonic 그리고 partial order인 집합 A에서, 제일 작은 fixed point...