Aufrechterhaltung einer effizienten Bestellung, bei der Sie Elemente „zwischen“ zwei anderen Elementen in die Bestellung einfügen können?

Stellen Sie sich vor, ich habe eine Bestellung für eine Reihe von Elementen wie folgt: Wo ein Pfeil bedeutet . Es ist auch transitiv: .X.← Y.X←YX \leftarrow Y( X < Y ) ∧ ( Y < Z )X.< YX<YX < Y( X.< Y) ∧ ( Y.< Z)⟹( X.< Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge...