The Cusp of Helix

Fertile Forest Model

実数列化ツリーモデル

「入れ子集合モデル」の左右カラムを実数化した「入れ子区間モデル」と同じく、 FF モデルにも 序列カラムを実数化した「実数列化ツリーモデル( Linearized Tree Model )」があります。 QUEUE を実数にすれば、その間が無限に区切れます。これを利用すれば、ノード追加時のコストが軽減できるというわけです。

「実数列化ツリーモデル」は理論上は成立しますが、実用した際に問題が発生することが分かっています。その根拠も入れ子集合モデルと同じで、実数の精度が有限なので無限に区切れないというものでした。