纏めに三度着手。の前に赤い要素の仕様を。 末端赤は許容 末端でない赤は左右両方に黒の要素を持つ という理解だけど良いのかどうか。 とりあえず case4 以降の条件を整理してみます。case2 以降は削除対象要素は黒限定となります。

昨日の件、 ;; B:-1.5 => -1.5 ;; R:-0.5 => -0.5 ;; B:0 => 0 ;; B:2.5 => 2.5 ;; B:3 => 3 ;; B:3.5 => 3.5 ;; R:4 => 4上記の状態になり、parent が B:0 で child が B:-1.5 になった時点で終了してます。見返しててびっくり仰天。ここから再度 case5 に…