Refine LeetCode 88 (Python, Rust, TS): Correct space complexity for Python, clarify Rust index safety, add TS non-null assertions, and improve React UI

Author: myoshi2891

Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/Merge_Sorted_Array_Python.md

@@ -21,8 +21,8 @@ LeetCode のシグネチャは `None` 返却の破壊的操作。Pylance 対応
 
 | アプローチ             | 時間計算量       | 空間計算量 | Python実装コスト | 可読性 | 標準ライブラリ活用 | CPython最適化       | 備考                      |
 | ---------------------- | ---------------- | ---------- | ---------------- | ------ | ------------------ | ------------------- | ------------------------- |
-| 後ろから3ポインタ      | O(m+n)           | O(1)       | 低               | ★★★    | なし               | 適                  | 追加アロケーションなし ✅ |
-| コピー後 `list.sort()` | O((m+n)log(m+n)) | O(1)       | 最低             | ★★★    | なし               | 適（Timsort C実装） | 競技次善策                |
+| 後ろから3ポインタ      | O(m+n)           | O(n)       | 低               | ★★★    | なし               | 適                  | 追加アロケーションなし ✅ |
+| コピー後 `list.sort()` | O((m+n)log(m+n)) | O(m+n)     | 最低             | ★★★    | なし               | 適（Timsort C実装） | 競技次善策                |
 | `heapq.merge` + 展開   | O(m+n)           | O(m+n)     | 低               | ★★☆    | heapq              | 適                  | 一時リスト生成が発生      |
 
 ---
@@ -48,7 +48,7 @@ class Solution:
     def merge(self, nums1: List[int], m: int, nums2: List[int], n: int) -> None:
         """
         2つのソート済み配列を nums1 にインプレースでマージする。
-        後ろから走査する3ポインタ法により O(m+n) 時間・O(1) 追加空間を実現。
+        後ろから走査する3ポインタ法により O(m+n) 時間・O(n) 追加空間（スライス代入による最悪ケース）を実現。
 
         不変条件: k >= i が常に成立するため nums1 の未処理要素を上書きしない。
             初期値 k - i = n >= 0 が各イテレーションで保持される。
@@ -94,7 +94,7 @@ class Solution:
         ローカル変数へのキャッシュで LOAD_FAST を最大活用。
 
         Time Complexity:  O(m + n)
-        Space Complexity: O(1)
+        Space Complexity: O(n)
         """
         # ローカル変数へのバインドで属性ルックアップを排除
         i, j, k = m - 1, n - 1, m + n - 1

Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/Merge_Sorted_Array_Rust.md

@@ -95,4 +95,4 @@ LeetCode の引数は `i32` ですが、配列インデックスは `usize` が
 
 **ループ本体の最小化**
 
-比較1回・代入1回・デクリメント1回のみ。イテレータ抽象化より命令型ループが適切なケースで、コンパイラは確実にインライン展開・SIMD 最適化を適用できます。
+比較1回・代入1回・デクリメント1回のみ。イテレータ抽象化より命令型ループが適切なケースで、コンパイラは最適化レベルや実装に依存してインライン展開を適用する可能性があります。

Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/Merge_Sorted_Array_TypeScript.md

@@ -78,7 +78,7 @@ function merge(nums1: number[], m: number, nums2: number[], n: number): void {
     // nums2 の残余要素をコピー
     // （nums1 の残余は既に正しい位置にあるため操作不要）
     while (j >= 0) {
-        nums1[k] = nums2[j];
+        nums1[k] = nums2[j]!;
         j--;
         k--;
     }

Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/README.md

@@ -2,18 +2,16 @@
 
 ---
 
-## 目次（Table of Contents）
+## Overview
+
+### 目次（Table of Contents）
 
 - [Overview](#overview)
 - [Algorithm](#algorithm)
 - [Complexity](#complexity)
 - [Implementation](#implementation)
 - [Optimization](#optimization)
 
----
-
-## Overview
-
 ### 問題要約
 
 **LeetCode 88 – Merge Sorted Array**
@@ -153,7 +151,7 @@ k - i = (m + n - 1 - step_count) - (m - 1 - i_decrements)
 | ----------------------------- | ----------------- | -------- | --------------------------------------- |
 | 本実装（後ろから 3 ポインタ） | O(m+n)            | **O(n)** | スライス代入の空間コストを含む            |
 | 前から + 一時バッファ         | O(m+n)            | O(m)     | `nums1[:m]` を `list()` でコピー        |
-| `nums1 + nums2` 後 `.sort()`  | O((m+n) log(m+n)) | O(1)     | Timsort は C 実装で高速だが計算量は劣る |
+| `nums1 + nums2` 後 `.sort()`  | O((m+n) log(m+n)) | O(m+n)     | Timsort は C 実装で高速だが計算量は劣る |
 | `heapq.merge` + スライス代入  | O(m+n)            | O(m+n)   | 一時リストが発生                        |
 
 ---
@@ -277,7 +275,7 @@ nums1[:] = merged
 ```
 
 O(m+n) だが一時リストが O(m+n) の追加空間を消費する。
-空間計算量の観点で本実装（O(1)）に劣る。
+空間計算量の観点で、スライス代入 `nums1[:j+1] = nums2[:j+1]` を用いる本実装（最悪ケース O(n)）に劣る。
 
 **Q6. 等値要素の扱いはどうなるか？**
 

Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/README_React.html

@@ -251,7 +251,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                                 <span
                                     ><strong class="text-slate-700">残余は nums2 のみ</strong
                                     >：nums1 の残余は既に正しい位置にある。nums2
-                                    の残りのみスライス代入で処理</span
+                                    の残りのみコピーする</span
                                 >
                             </li>
                         </ul>
@@ -622,7 +622,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                             ループバック
                         </text>
 
-                        <!-- 6. nums2 残余スライスコピー rect: y=492, h=60, bottom=552 -->
+                        <!-- 6. nums2 残余コピー rect: y=492, h=60, bottom=552 -->
                         <rect
                             x="60"
                             y="492"
@@ -642,7 +642,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                             font-weight="bold"
                             fill="#1e293b"
                         >
-                            nums2 残余スライスコピー
+                            nums2 残余コピー
                         </text>
                         <text
                             x="280"
@@ -700,8 +700,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                     3. <strong>比較・書き込み</strong>：nums1[i] と nums2[j] を比較し大きい方を
                     nums1[k] に書き込み、対応するポインタを減算<br />
                     4. <strong>k-- 後に紫破線でループ条件へ戻る</strong>（不変条件 k ≥ i を維持）<br />
-                    5. <strong>残余コピー</strong>：nums2 が残っていれば CPython の memmove
-                    相当のスライス代入で高速一括コピー
+                    5. <strong>残余コピー</strong>：nums2 が残っていれば残りの要素をコピーする
                 </div>
             </section>
 
@@ -1316,9 +1315,11 @@ <h3 className="mt-0 text-teal-800 text-lg font-bold mb-2">
                 j -= 1
             k -= 1
 
-        # nums2 残余: CPython の memmove 相当でスライス一括コピー
-        if j >= 0:
-            nums1[: j + 1] = nums2[: j + 1]`,
+        # nums2 残余コピー
+        while j >= 0:
+            nums1[k] = nums2[j]
+            j -= 1
+            k -= 1`,
 
                 typescript: `function merge(
     nums1: number[], m: number,

public/Algorithm/Sort/MergeSort/leetcode/claude 4.6 sonnet extended/88. Merge Sorted Array/README_React.html

@@ -251,7 +251,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                                 <span
                                     ><strong class="text-slate-700">残余は nums2 のみ</strong
                                     >：nums1 の残余は既に正しい位置にある。nums2
-                                    の残りのみスライス代入で処理</span
+                                    の残りのみコピーする</span
                                 >
                             </li>
                         </ul>
@@ -622,7 +622,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                             ループバック
                         </text>
 
-                        <!-- 6. nums2 残余スライスコピー rect: y=492, h=60, bottom=552 -->
+                        <!-- 6. nums2 残余コピー rect: y=492, h=60, bottom=552 -->
                         <rect
                             x="60"
                             y="492"
@@ -642,7 +642,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                             font-weight="bold"
                             fill="#1e293b"
                         >
-                            nums2 残余スライスコピー
+                            nums2 残余コピー
                         </text>
                         <text
                             x="280"
@@ -700,8 +700,7 @@ <h3 class="text-teal-800 font-bold text-lg mb-3">核心アイデア</h3>
                     3. <strong>比較・書き込み</strong>：nums1[i] と nums2[j] を比較し大きい方を
                     nums1[k] に書き込み、対応するポインタを減算<br />
                     4. <strong>k-- 後に紫破線でループ条件へ戻る</strong>（不変条件 k ≥ i を維持）<br />
-                    5. <strong>残余コピー</strong>：nums2 が残っていれば CPython の memmove
-                    相当のスライス代入で高速一括コピー
+                    5. <strong>残余コピー</strong>：nums2 が残っていれば残りの要素をコピーする
                 </div>
             </section>
 
@@ -1316,9 +1315,11 @@ <h3 className="mt-0 text-teal-800 text-lg font-bold mb-2">
                 j -= 1
             k -= 1
 
-        # nums2 残余: CPython の memmove 相当でスライス一括コピー
-        if j >= 0:
-            nums1[: j + 1] = nums2[: j + 1]`,
+        # nums2 残余コピー
+        while j >= 0:
+            nums1[k] = nums2[j]
+            j -= 1
+            k -= 1`,
 
                 typescript: `function merge(
     nums1: number[], m: number,