Average time behavior of distributive sorting algorithms

AbstractIn this paper we investigate the expected complexityE(C) of distributive (“bucket”) sorting algorithms on a sampleX1, ...,Xn drawn from a densityf onR1. Assuming constant time bucket membership determination and assuming the use of an average timeg(n) algorithm for subsequent sorting within each bucket (whereg is convex,g(n)/n↑∞,g(n)/n2 is nonincreasing andg is independent off), the following is shown:1)Iff has compact support, then ∫g(f(x))dx<∞ if and only ifE(C)=0(n).2)Iff does not have compact support, then $$E(C)/n\xrightarrow{n}\infty $$ . No additional restrictions are put onf.ZusammenfassungWir untersuchen die mittlere KomplexitätE(C) von Fachsortier-Algorithmen, die auf eine StichprobeX1, ...,Xn mit der Verteilungsdichtef aufR1 angewendet werden. Wir nehmen an, daß die Zeit zur Bestimmung des Sortierfachs konstant ist, und daß für die Sortierung innerhalb jedes Fachs ein Algorithmus mit dem mittleren Zeitbedarfg(n) zur Verfügung steht. Dabei istg konvex,g(n)/n↑∞,g(n)/n2 nichtsteigend undg unabhängig vonf. Wir zeigen:1)Wennf kompakten Träger hat, dann gilt ∫g(f(x))dx<∞ genau dann, wennE(C)=0(n).2)Wennf keinen kompakten Träger hat, dann gilt $$E(C)/n\xrightarrow{n}\infty $$ . Überf benötigen wir keinerlei weitere Voraussetzungen.