nadesiko3 3.7.21 → 3.7.23

package/core/sample/algorithms/math/sieve_of_eratosthenes.nako3

@@ -0,0 +1,26 @@
+# エラトステネスの篩
+# 入力: 0以上の整数N
+# 出力: N以下の素数を昇順に並べた配列
+# 計算量: O(N×log(log(N)))
+
+●(上限までの)素数列挙処理とは:
+    変数のF素数一覧は[]
+    もし、上限<2ならば:
+        F素数一覧を戻す
+
+    変数のF合成数は[]
+    変数のF候補は2
+    ((F候補*F候補)<=上限)の間:
+        もし、F合成数[F候補]!=真ならば:
+            変数のF倍数はF候補*F候補
+            (F倍数<=上限)の間:
+                F合成数[F倍数]は真
+                F倍数はF倍数+F候補
+        F候補はF候補+1
+
+    F候補は2
+    (F候補<=上限)の間:
+        もし、F合成数[F候補]!=真ならば:
+            F素数一覧にF候補を配列プッシュ
+        F候補はF候補+1
+    F素数一覧を戻す

package/core/sample/algorithms/search/binary_search.nako3

@@ -0,0 +1,17 @@
+# 二分探索処理
+# 入力: 昇順に整列済みの配列と検索値
+# 出力: 見つかった0起点の添字。見つからなければ-1
+# 計算量: O(log(N))
+
+●(対象配列から検索値を)二分探索処理とは:
+    変数のF左値は0
+    変数のF右値は対象配列の要素数-1
+    (F左値<=F右値)の間:
+        変数のF中央値はINT((F左値+F右値)/2)
+        もし、対象配列[F中央値]=検索値ならば:
+            F中央値を戻す
+        もし、対象配列[F中央値]<検索値ならば:
+            F左値はF中央値+1
+        違えば:
+            F右値はF中央値-1
+    -1を戻す

package/core/sample/algorithms/search/breadth_first_search.nako3

@@ -0,0 +1,33 @@
+# 幅優先探索処理
+# 入力: 頂点番号を添字とする隣接リストと開始点
+# 出力: 幅優先で訪問した頂点番号の配列
+# 計算量: O(V+E)
+
+●(グラフを開始点から)幅優先探索処理とは:
+    変数のF訪問順は[]
+    変数のF頂点数はグラフの要素数
+    もし、((開始点<0)または(開始点>=F頂点数))ならば:
+        F訪問順を戻す
+
+    変数のF訪問済みは[]
+    変数のF待ち行列は[開始点]
+    変数のF読取位置は0
+    変数のF待ち個数は1
+    F訪問済み[開始点]は真
+
+    (F読取位置<F待ち個数)の間:
+        変数のF頂点はF待ち行列[F読取位置]
+        F読取位置はF読取位置+1
+        F訪問順にF頂点を配列プッシュ
+
+        変数のF隣接一覧はグラフ[F頂点]
+        変数のF隣接個数はF隣接一覧の要素数
+        変数のF位置は0
+        (F位置<F隣接個数)の間:
+            変数のF隣接点はF隣接一覧[F位置]
+            もし、F訪問済み[F隣接点]!=真ならば:
+                F訪問済み[F隣接点]は真
+                F待ち行列にF隣接点を配列プッシュ
+                F待ち個数はF待ち個数+1
+            F位置はF位置+1
+    F訪問順を戻す

package/core/sample/algorithms/search/depth_first_search.nako3

@@ -0,0 +1,25 @@
+# 深さ優先探索処理
+# 入力: 頂点番号を添字とする隣接リストと開始点
+# 出力: 深さ優先で訪問した頂点番号の配列
+# 計算量: O(V+E)
+
+●(グラフと頂点と訪問済みと訪問順で)深さ優先訪問処理とは:
+    訪問済み[頂点]は真
+    訪問順に頂点を配列プッシュ
+    変数のF隣接一覧はグラフ[頂点]
+    変数のF隣接個数はF隣接一覧の要素数
+    変数のF位置は0
+    (F位置<F隣接個数)の間:
+        変数のF隣接点はF隣接一覧[F位置]
+        もし、訪問済み[F隣接点]!=真ならば:
+            グラフとF隣接点と訪問済みと訪問順で深さ優先訪問処理
+        F位置はF位置+1
+    訪問順を戻す
+
+●(グラフを開始点から)深さ優先探索処理とは:
+    変数のF訪問順は[]
+    変数のF頂点数はグラフの要素数
+    もし、((開始点<0)または(開始点>=F頂点数))ならば:
+        F訪問順を戻す
+    変数のF訪問済みは[]
+    グラフと開始点とF訪問済みとF訪問順で深さ優先訪問処理して戻す

package/core/sample/algorithms/sort/heap_sort.nako3

@@ -0,0 +1,37 @@
+# ヒープソート処理
+# 入力: 数値の配列
+# 出力: 昇順に並べ替えた同じ配列
+# 元の配列: 変更する
+# 計算量: O(N×log(N))
+
+●(対象配列と個数と根位置で)ヒープ調整処理とは:
+    変数のF最大位置は根位置
+    変数のF左位置は根位置*2+1
+    変数のF右位置は根位置*2+2
+
+    もし、((F左位置<個数)かつ(対象配列[F左位置]>対象配列[F最大位置]))ならば:
+        F最大位置はF左位置
+    もし、((F右位置<個数)かつ(対象配列[F右位置]>対象配列[F最大位置]))ならば:
+        F最大位置はF右位置
+    もし、F最大位置!=根位置ならば:
+        変数のF一時値は対象配列[根位置]
+        対象配列[根位置]は対象配列[F最大位置]
+        対象配列[F最大位置]はF一時値
+        対象配列と個数とF最大位置でヒープ調整処理
+    対象配列を戻す
+
+●(対象配列を)ヒープソート処理とは:
+    変数のF個数は対象配列の要素数
+    変数のF位置はINT(F個数/2)-1
+    (F位置>=0)の間:
+        対象配列とF個数とF位置でヒープ調整処理
+        F位置はF位置-1
+
+    F位置はF個数-1
+    (F位置>0)の間:
+        変数のF一時値は対象配列[0]
+        対象配列[0]は対象配列[F位置]
+        対象配列[F位置]はF一時値
+        対象配列とF位置と0でヒープ調整処理
+        F位置はF位置-1
+    対象配列を戻す

package/core/sample/algorithms/sort/insertion_sort.nako3

@@ -0,0 +1,18 @@
+# 挿入ソート処理
+# 入力: 数値の配列
+# 出力: 昇順に並べ替えた同じ配列
+# 元の配列: 変更する
+# 計算量: O(N^2)
+
+●(対象配列を)挿入ソート処理とは:
+    変数のF個数は対象配列の要素数
+    変数のF位置は1
+    (F位置<F個数)の間:
+        変数のF挿入値は対象配列[F位置]
+        変数のF比較位置はF位置-1
+        ((F比較位置>=0)かつ(対象配列[F比較位置]>F挿入値))の間:
+            対象配列[F比較位置+1]は対象配列[F比較位置]
+            F比較位置はF比較位置-1
+        対象配列[F比較位置+1]はF挿入値
+        F位置はF位置+1
+    対象配列を戻す

package/core/sample/algorithms/sort/merge_sort.nako3

@@ -0,0 +1,40 @@
+# マージソート処理
+# 入力: 数値の配列
+# 出力: 昇順に並べ替えた新しい配列
+# 元の配列: 変更しない
+# 計算量: O(N×log(N))
+
+●(対象配列と左端と右端で)マージソート範囲処理とは:
+    もし、左端>=右端ならば:
+        [対象配列[左端]]を戻す
+
+    変数のF中央値はINT((左端+右端)/2)
+    変数のF左配列は対象配列と左端とF中央値でマージソート範囲処理
+    変数のF右配列は対象配列と(F中央値+1)と右端でマージソート範囲処理
+    変数のF結果配列は[]
+    変数のF左位置は0
+    変数のF右位置は0
+    変数のF左個数はF左配列の要素数
+    変数のF右個数はF右配列の要素数
+
+    ((F左位置<F左個数)かつ(F右位置<F右個数))の間:
+        もし、F左配列[F左位置]<=F右配列[F右位置]ならば:
+            F結果配列にF左配列[F左位置]を配列プッシュ
+            F左位置はF左位置+1
+        違えば:
+            F結果配列にF右配列[F右位置]を配列プッシュ
+            F右位置はF右位置+1
+
+    (F左位置<F左個数)の間:
+        F結果配列にF左配列[F左位置]を配列プッシュ
+        F左位置はF左位置+1
+    (F右位置<F右個数)の間:
+        F結果配列にF右配列[F右位置]を配列プッシュ
+        F右位置はF右位置+1
+    F結果配列を戻す
+
+●(対象配列を)マージソート処理とは:
+    変数のF個数は対象配列の要素数
+    もし、F個数=0ならば:
+        []を戻す
+    対象配列と0と(F個数-1)でマージソート範囲処理して戻す

package/core/sample/algorithms/sort/quick_sort.nako3

@@ -0,0 +1,36 @@
+# クイックソート処理
+# 入力: 数値の配列
+# 出力: 昇順に並べ替えた同じ配列
+# 元の配列: 変更する
+# 計算量: 平均O(N×log(N))、最悪O(N^2)
+
+●(対象配列と左端と右端で)クイックソート範囲処理とは:
+    変数のF左位置は左端
+    変数のF右位置は右端
+    変数のF中央値はINT((左端+右端)/2)
+    変数のF基準値は対象配列[F中央値]
+
+    (F左位置<=F右位置)の間:
+        (対象配列[F左位置]<F基準値)の間:
+            F左位置はF左位置+1
+        (対象配列[F右位置]>F基準値)の間:
+            F右位置はF右位置-1
+        もし、F左位置<=F右位置ならば:
+            変数のF一時値は対象配列[F左位置]
+            対象配列[F左位置]は対象配列[F右位置]
+            対象配列[F右位置]はF一時値
+            F左位置はF左位置+1
+            F右位置はF右位置-1
+
+    もし、左端<F右位置ならば:
+        対象配列と左端とF右位置でクイックソート範囲処理
+    もし、F左位置<右端ならば:
+        対象配列とF左位置と右端でクイックソート範囲処理
+    対象配列を戻す
+
+●(対象配列を)クイックソート処理とは:
+    変数のF個数は対象配列の要素数
+    もし、F個数<=1ならば:
+        対象配列を戻す
+    対象配列と0と(F個数-1)でクイックソート範囲処理
+    対象配列を戻す

package/core/sample/algorithms/string/knuth_morris_pratt.nako3

@@ -0,0 +1,50 @@
+# KMP法（Knuth-Morris-Pratt法）
+# 入力: 対象文字列と検索文字列
+# 出力: 最初に一致した0起点の文字位置。見つからなければ-1
+# 計算量: O(N+M)
+
+●(検索文字配列の)部分一致表作成処理とは:
+    変数のF検索長は検索文字配列の要素数
+    変数のF部分一致表は[]
+    もし、F検索長=0ならば:
+        F部分一致表を戻す
+
+    F部分一致表[0]は0
+    変数のF一致長は0
+    変数のF位置は1
+    (F位置<F検索長)の間:
+        もし、検索文字配列[F位置]=検索文字配列[F一致長]ならば:
+            F一致長はF一致長+1
+            F部分一致表[F位置]はF一致長
+            F位置はF位置+1
+        違えば:
+            もし、F一致長>0ならば:
+                F一致長はF部分一致表[F一致長-1]
+            違えば:
+                F部分一致表[F位置]は0
+                F位置はF位置+1
+    F部分一致表を戻す
+
+●(対象文字列から検索文字列を)KMP検索処理とは:
+    変数のF対象文字配列は対象文字列を文字列分解
+    変数のF検索文字配列は検索文字列を文字列分解
+    変数のF対象長はF対象文字配列の要素数
+    変数のF検索長はF検索文字配列の要素数
+    もし、F検索長=0ならば:
+        0を戻す
+
+    変数のF部分一致表はF検索文字配列の部分一致表作成処理
+    変数のF対象位置は0
+    変数のF検索位置は0
+    (F対象位置<F対象長)の間:
+        もし、F対象文字配列[F対象位置]=F検索文字配列[F検索位置]ならば:
+            F対象位置はF対象位置+1
+            F検索位置はF検索位置+1
+            もし、F検索位置=F検索長ならば:
+                (F対象位置-F検索位置)を戻す
+        違えば:
+            もし、F検索位置>0ならば:
+                F検索位置はF部分一致表[F検索位置-1]
+            違えば:
+                F対象位置はF対象位置+1
+    -1を戻す

package/core/sample/algorithms/string/run_length_encoding.nako3

@@ -0,0 +1,25 @@
+# ランレングス圧縮処理
+# 入力: 文字列
+# 出力: 連続する文字と個数を組にした二次元配列
+# 計算量: O(N)
+
+●(対象文字列を)ランレングス圧縮処理とは:
+    変数のF結果は[]
+    変数のF文字配列は対象文字列を文字列分解
+    変数のF入力長はF文字配列の要素数
+    もし、F入力長=0ならば:
+        F結果を戻す
+
+    変数のF現在文字はF文字配列[0]
+    変数のF連続数は1
+    変数のF位置は1
+    (F位置<F入力長)の間:
+        もし、F文字配列[F位置]=F現在文字ならば:
+            F連続数はF連続数+1
+        違えば:
+            F結果に[F現在文字,F連続数]を配列プッシュ
+            F現在文字はF文字配列[F位置]
+            F連続数は1
+        F位置はF位置+1
+    F結果に[F現在文字,F連続数]を配列プッシュ
+    F結果を戻す