赤黒木削除は複雑。要点は(1) 2子は後継と置換、(2) 黒ノード削除時はxから修正開始、(3) 兄弟と子の色で回転・着色を分岐して進める。CLRS参照だぜ。