2011-12-20から1日間の記事一覧
リニアサーチは配列arrayからある値valueのある位置(インデックス)の最小値を返します。もしarrayの中にvalueが無ければNoneを返します。このときのloop不変式としては、loopをlower [ループ前] array[lower:upper+1]=array[0:len(array)+1]=arrayなので、成…
リニアサーチは配列arrayからある値valueのある位置(インデックス)の最小値を返します。もしarrayの中にvalueが無ければNoneを返します。このときのloop不変式としては、loopをlower [ループ前] array[lower:upper+1]=array[0:len(array)+1]=arrayなので、成…