非常に高速に大きな値になるアッカーマン関数である。したがって、各操作の償却実行時間は事実上非常に小さな定数となる。実際、これは漸近最良である。ノードにアクセスするとした[3]。応用[編集]素集合データ構造は集合の分割をモデル化したもので、例えば無向グラフの連結成分などに対応する。したがって、2つの頂点が同じ成分に属するかどうかを調べたり、新たな辺を追加することで閉道となるかを調べるのに利用できる。機能の実装に素集合データ構造を使っている。グラフの最小全域木を求めるクラスカル法の実装にもこれを使っている。素集合森の実装では削除ができない点に注意されたい。上述した2つの改良を施しても削除は容易ではないが、削除に対応したもっと複雑な手法が既に設計されている[4]。歴史[編集]素集合森は考案されてからよく使われていたが、上限(そして限定的な下限)がアッカーマン関数の逆関数であることを証明したのはロバート・タージャンだった。重複対数であり、これも増加の遅い関数である(ただし、アッカーマン関数の逆関数ほどではない)。アルゴリズムも考案している。素集合森データ構造の永続版を発表した。これは構造の以前のバージョンを効率的に保持するもので、計算機支援証明システムCoqを使って形式的に正しさが証明されている[5]。素集合森に関する最初の論文。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスのもとで利用できます。追加の条件が適用される場合があります。詳細については利用規約を参照してください。Cookieに関する声明モバイルビュ。