同じ値を代入しているのに、書き方によって実行結果が違うのはなぜ

Question

#include <stdio.h>
#define SIZE    40

void shell_sort(int[], int);

int main()
{
    int array[SIZE] = {3,5,4,3,7,6,8,9,67,54,32,4,6,5,4,3,56,7,87,0,9,87,2,1,2,33,43,1,2,3,4,21,2,3,4,5,6,32,11,80};
    int i;

    printf("Before sort: ");
    for (i = 0; i < SIZE; i++) {
        printf("%d ", array[i]);
    }
    printf("\n");

    shell_sort(array, SIZE);

    printf("After sort: ");
    for (i = 0; i < SIZE; i++) {
        printf("%d ", array[i]);
    }
    printf("\n");
    return 0;
}

void swap(int *x, int *y) {
    int temp;
    temp = *x;
    *x = *y;
    *y = temp;
}

下２つのシェルソート関数の
for (H = 1; H <= array_size/9; H = 〜)
の箇所を見比べてみて下さい。

// シェルソート
void shell_sort(int array[], int array_size) {

    // 間隔Hを決める
    int H;
    // データ数が9以上の時、間隔を4にする
    for (H = 1; H <= array_size/9; H = 4);
    for ( ; H > 0; H /= 3) {
        int i;
        for (i = H; i < array_size; i++) {
            while ((i > H-1) && (array[i-H] > array[i])) {
                swap(&array[i-H], &array[i]);
                i -= H;
            }
        }
    }
}
/*
実行結果: Before sort: 3 5 4 3 7 6 8 9 67 54 32 4 6 5 4 3 56 7 87 0 9 87 2 1 2 33 43 1 2 3 4 21 2 3 4 5 6 32 11 80 

*/

// シェルソート
void shell_sort(int array[], int array_size) {

    // 間隔Hを決める
    int H;
    // データ数が9以上の時、間隔を4にする
    for (H = 1; H <= array_size/9; H = H*3 + 1);
    for ( ; H > 0; H /= 3) {
        int i;
        for (i = H; i < array_size; i++) {
            while ((i > H-1) && (array[i-H] > array[i])) {
                swap(&array[i-H], &array[i]);
                i -= H;
            }
        }
    }
}
/*
実行結果: Before sort: 3 5 4 3 7 6 8 9 67 54 32 4 6 5 4 3 56 7 87 0 9 87 2 1 2 33 43 1 2 3 4 21 2 3 4 5 6 32 11 80 
After sort: 0 1 1 2 2 2 2 3 3 3 3 3 4 4 4 4 4 5 5 5 6 6 6 7 7 8 9 9 11 21 32 32 33 43 54 56 67 80 87 87 

*/

for (H = 1; H <= array_size/9; H = H*3 + 1)
と書いたら最後まで実行されるのに

for (H = 1; H <= array_size/9; H = 4)
では最後まで実行されません。
一体なぜなんでしょうか？

Answer 1

同じ値を代入しているのに

同じ値ではありません。前者ではHが1→4→13→40と進んでいきます。

Comments

[GIOGIO]

どのタイミングで変化しているのでしょうか？

[maisumakun]

ループを1回回るごとに、 H = H*3 + 1が実行されます。

Answer 2

for文の理解が足りていません。
H = H*3 + 1の場合は、Hの値が変化しますが、H = 4の場合、無限ループとなります。