德国开元华人社区开元周游

标题: 请教一道关于计算机得证明题 [打印本页]

作者: kingd 时间: 16.2.2005 00:08
Implementiere Insert-Sort für Listen,beweise die Korrektheit der Implementierung: 1. das Resultat der Sortierfunktion ist sortiert 2. in der sortierten Liste kommt jede Zahl genauso oft vor wie in der ursprünglichen Liste

作者: kingd 时间: 16.2.2005 00:31
例如 往排好序的list里插数 insert n [] = n:[] insert n (x:xs)= if n <= x then n:x:xs else x

insert n xs) 排序 insertsort [] = [] sort x:xs = insert x (insertsort xs) 一个数小于list里的所有元素 less n [] = True less n (x:xs) = n <= x && less n xs list是否被排好序了 sorted [] = true sorted (x:xs) = less x xs && sorted xs list里有多少个n count n [] = 0 count n (x:xs) = if n/=x then count n xs else 1+(count n xs) 证明 sorted (insertsort l)= true durch Induktion count n l= count n (insertsort l) durch Indution

欢迎光临德国开元华人社区开元周游 (https://bbs.kaiyuan.cn/)

德国开元华人社区 开元周游

德国开元华人社区开元周游