m個の要素を挿入する最初は空のRBツリーについて考えてみます。要素の挿入にはO（log n）時間がかかります。ここで、nは現在挿入されている要素の数です。したがって、m個の挿入の合計時間を次のように記述できます。sumlog（i）for i = 1..m == log（Pochhammer（1、m）;礼儀WolframAlpha。
確かに、m * logmとlog（Pochhammer（1、m）の比率は1に収束するので、これまでlog--Pochhammerを見たことがないのはそのためだと思います。
コンピュータサイエンスで使用されている他の「エキゾチック」な機能は何ですか？私はinverse-ackermanがUnion-Findなどに表示されることを知っています...
超幾何関数（「エキゾチック」と呼ぶこともあります）は、数学でよく見られます。その理由は、定義上、彼らのテイラー級数は単純な形をしているからです。したがって、誘導を使用するとすぐに表示されます。
多くの「標準」関数は実際には超幾何です（また、ほとんどの直交多項式は超幾何です）。あまり使用されていないものには派手な名前が付いていますが、同じファミリーのものです。
もちろん、ここでも、sum（log k）= log（prod k）= log k！なので、派手なものも必要ありません。Pochhammerシンボルを取得するという事実は、おそらくMathematicaのシンボリック級数の合計方法に由来します。たとえば見てください。超幾何関数を使用して級数を合計するZeilbergerのアルゴリズムの場合。