누구든지이 질문에 답할 수 있는지 궁금합니다. 이전 시험지에서 나온 것으로 이번 해의 시험 준비를 알면됩니다. 이 질문은 너무 간단해서 완전히 잃어 버렸습니다. 정확히 무엇을 요구하고 있습니까? 최대 값을 찾으려면 다음 알고리즘을 사용하고 있습니까? {P: x≥0 ∧ y≥0 ∧ z≥0 }
if (x > y && x > z)
max = x;
else i
호 전세 분할 함수를 잘 이해하기 위해 함수를 작성하려고합니다. 나는 그것의 정의와 의사 코드를 잘 따라 갔다고 생각했지만 많은 경우에 예상대로 작동하는 것처럼 보이지만 피벗과 동일한 값을 가진 목록이 전달되면 무너져 내리고 무한 루프가됩니다. 실수는 어디에서 발생합니까? 버그를 수정하려면 어떻게 수정해야합니까? def partition(lst, left_
나는 배열을 입력으로 사용하는 Hoare 파티셔닝 함수를 작성하려고합니다. 첫 번째 요소를 피벗으로 파티션합니다 (나는 좋은 생각이 아니라는 것을 알고 있습니다. 랜덤 피벗을 사용해야합니다. median-of-medians 접근 방식처럼). 배열 [14,6,8,1,4,9,2,1,7,10,5]처럼 첫 번째 요소가 가장 높을 때이 함수가 무한 루프에 빠지는 문
저는 Mordechai Ben-Ari라는 책에서 영감을 얻은 FOL 및 프로그램 인증에 대한 교육을 받고 있습니다. 컴퓨터 과학 수학 논리, Springer, 1993-2012. 학생들이 파이썬으로 프로그램하도록함으로써 개념을 설명하고자합니다. FOL의 경우 FOL 패키지가 우수한 NLTK를 사용하고 있습니다. 하지만 난 아직 발견되지 않은 프로그램 검증위
나는 Hoare 논리를 연구 중이고 접근 방법이 올바른지 궁금해하고 있습니다. I 다음 프로그램 P 가지고 s = 0
i = 1
while (i <= n) {
s = s + i
i = i + 1
}
는 그것은 호어 트리플 {N> = 0} P를 만족한다 {S = N에 *을 (N + 1)/2} (그래서 단지 걸리는 합집합). 자, 처
누구든지이 질문에 답할 수 있는지 궁금합니다. 이전 시험지에서 나온 것으로 이번 해의 시험 준비를 알면됩니다. 이 질문은이 요구를 정확히, 내가 완전히 잃어버린 오전 너무 간단 보인다? 코드 관련된 정수 변수의 다음 섹션 고려해 if (i < j) {
m = i;
} else {
m = j;
}
적절한 출력 조건을 명시하고 코드의
은 다음 만 수행하는 것이, 두 개의 인수 균형과 가격을 소요하는 방법이있다 말할 수 있습니다 : 나는 호어 - 트리플이를 작성하는 두 가지 방법이 있습니다 같은 느낌 if(price < balance) {
balance = balance - price;
}
: (| price=p0^balance = b0 |) buy (| ((p0 < bal
사이의 관계 란 : wp(while E inv I do S, R) =
I \wedge
\forall y. ((E \wedge I) \implies wp(S,I \wedge x < y))[x <- y] \wedge
\forall y. ((\neg E \wedge I) \implies R)[x <- y]
where y is a tu