コンピュータサイエンスの文脈における「祖先」の定義についてのコンセンサスは何であるのか疑問に思います。
アルゴリズム入門、第2版、p。Tree-Successor(x)
259奇妙に思われるアルゴリズムの説明があります。ノードxの後継を見つける際に、
[...]ノードxの右側のサブツリーが空で、xに後続のyがある場合、yはxの最も低い祖先であり、その左側の子はxの祖先でもあります。
2
キーと子1
を持つルートを持つ二分探索木では3
、の後続1
はその親2
です。この場合、xはxの後継子yの左の子です。したがって、本の定義によれば、私が何かを見逃していない限り、xはそれ自体の祖先でなければなりません。
これについての正誤表には何も見つかりませんでした。