名古屋大学 情報学研究科 情報システム学専攻・知能システム学専攻 2009年8月実施 プログラミング

Author

祭音Myyura

Description

最小値 , 最大値 の 個 ( > 0) の整数を昇順に整列して格納した一次元配列がある. を満たす整数 がこの配列の中に存在するかどうかを探索する C 言語の関数 search を以下のように書いた. この関数は が存在する場合は ,そうでない場合は を返す. また, そのテストのための main 関数を以下のように書いた. なお左端の番号は行番号を示すものでプログラムの一部ではない.

#include <stdio.h>

int search([ 空欄 (a) ] n, [ 空欄 (b) ], [ 空欄 (c) ] k) {
    int i, j, p;
    i = [ 空欄 (d) ];
    j = [ 空欄 (b) ];
    while (i <= j) {
        p = (i + j) / 2;
        if (b[p] <= k) {
            i = p + 1;
        } else {
            j = p - 1;
        }
    }
    if ([ 空欄 (f) ]) {
        return 1;
    } else {
        return 0;
    }
}

int main() {
    int a[] = {3, 6, 7, 10, 13, 15, 19};
    if (search(7, a, 14)) {
        printf("14 is found in array a[].\n");
    } else {
        printf("14 is not found in array a[].\n");
    }
    return 0;
}

このプログラムについて以下の問いに答えよ.

(1) [ 空欄 (a) ] から [ 空欄 (f) ] を埋めてプログラムを完成せよ.

(2) この探索法はどのような名前で呼ばれるか.

(3) このプログラムの実行において, 行番号８は複数回実行される. それぞれ実行した後の i, j, p はどのような値になるか示せ.

(4) 行番号７の while 文の b, i, j, k に関するループ不変式 (loop invariants) を示せ.（ヒント：最小値 の左隣に , 最大値 の右隣に が存在するものと考える. ）

(5) が配列要素中の最小値から最大値の間の値であるという前提がない場合にはどのような問題が生じるか. また,それに対処するには [ 空欄 (f) ] をどのように変更すれば良いかを示せ.

(6) この探索法の計算量のオーダーを示せ.

(7) 高速な探索法としてハッシュ探索がある. これはどのようなものか 300 文字以内 (or in 100 English words) で説明せよ.

Kai

(1)

• [ 空欄 (a) ]: int
• [ 空欄 (b) ]: int b[]
• [ 空欄 ((c)) ]: int
• [ 空欄 (d) ]: 0
• [ 空欄 (e) ]: n - 1
• [ 空欄 (f) ]: b[j] == k, (Hint: consider the following example, find 14 in array [3, 6, 7, 10, 13, 14, 19])

(2)

二分探索法 (Binary Search)

(3)

• i=0, j=6, p=3
• i=4, j=6, p=5
• i=4, j=4, p=4

(4)

b[i-1] <= b[i] <= ... <= k <= ... <= b[j]

(5)

The operation b[j] that accesses j-th element of array b may access out of bound memory.

• [ 空欄 (f) ]: j >= 0 && j < n && b[j] == k

(6)

(7)

A hash map uses a hash function to compute an index, also called a hash code, into an array of buckets or slots, from which the desired value can be found. During lookup, the key is hashed and the resulting hash indicates where the corresponding value is stored.