Мне сложно перевести QuickSort с разделением Хоар на C-код и не могу понять, почему. Код, который я использую, показан ниже:
void QuickSort(int a[],int start,int end) {
int q=HoarePartition(a,start,end);
if (end<=start) return;
QuickSort(a,q+1,end);
QuickSort(a,start,q);
}
int HoarePartition (int a[],int p, int r) {
int x=a[p],i=p-1,j=r;
while (1) {
do j--; while (a[j] > x);
do i++; while (a[i] < x);
if (i < j)
swap(&a[i],&a[j]);
else
return j;
}
}
Кроме того, я действительно не понимаю, почему работает HoarePartition. Может кто-нибудь объяснить, почему это работает, или, по крайней мере, связать меня со статьей, которая делает?
Я видел пошаговую работу алгоритма разбиения, но у меня нет интуитивного чувства к нему. В моем коде это даже не работает. Например, учитывая массив
13 19 9 5 12 8 7 4 11 2 6 21
Он будет использовать точку поворота 13, но в конечном итоге с массивом
6 2 9 5 12 8 7 4 11 19 13 21
И вернет j, который равен a[j] = 11. Я думал, что должно быть правдой, что массив, начинающийся с этой точки и идущий вперед, должен иметь значения, которые больше, чем точка поворота, но это не так, потому что 11 < 13.
Здесь псевдокод для разбиения Hoare (из CLRS, второе издание), если это полезно:
Hoare-Partition (A, p, r)
x ← A[p]
i ← p − 1
j ← r + 1
while TRUE
repeat j ← j − 1
until A[j] ≤ x
repeat i ← i + 1
until A[i] ≥ x
if i < j
exchange A[i] ↔ A[j]
else return j
Спасибо!
EDIT:
Правильный код C для этой проблемы в конечном итоге будет следующим:
void QuickSort(int a[],int start,int end) {
int q;
if (end-start<2) return;
q=HoarePartition(a,start,end);
QuickSort(a,start,q);
QuickSort(a,q,end);
}
int HoarePartition (int a[],int p, int r) {
int x=a[p],i=p-1,j=r;
while (1) {
do j--; while (a[j] > x);
do i++; while (a[i] < x);
if (i < j)
swap(&a[i],&a[j]);
else
return j+1;
}
}