値がターゲットのソートされたセットに存在する最高スコアよりも大きいスコアを持つ場合のzaddの時間計算量

並べ替えられたセットがzset-max-ziplist-*によって設定されたしきい値を超えて大きくなると 構成ディレクティブ。スキップリストとしてエンコードされます。スキップリストの上位レベルを維持する必要があるため、このエッジケースの挿入を最適化することは不可能のようです。ソースコードをざっと確認すると、予想どおり、これは特別な方法で処理されていないことがわかります。