(1) BUBBLE SORT

(1) BUBBLE SORT

initial (assign values to A)

assign

< [] i : 0 <= i <= N : :

A[i], A[i+1] := A[i+1], A[i], if A[i] > A[i+1] >

NOTE

Constraint imposed by [] gives minimum average execution time

Previous slide

Next slide

Back to first slide

View graphic version