この赤黒木の説明によると、木には次のプロパティが必要です。
- ノードは赤または黒のいずれかです。
- 根元は黒。(このルールは時々省略されます。ルートは常に赤から黒に変更できますが、必ずしもその逆であるとは限らないため、このルールは分析にほとんど影響しません。)
- すべての葉 (NIL) は黒です。(すべての葉は根と同じ色です。)
- すべての赤のノードの子は両方とも黒です。
- 特定のノードからその子孫の葉のいずれかへのすべての単純なパスには、同じ数の黒いノードが含まれます。
誰かがすべてのノードをブラックにするのを止めているのは何ですか?