Spero che qualcuno conosca un riferimento a questo, quindi non devo leggere la letteratura ...
Considera una sequenza di numeri . Pensa alla sequenza come intervalli n - 1 [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] . Chiaramente, la sequenza originale è bitonica se qualsiasi punto sulla linea reale si accoltella al massimo a 2 intervalli. Faremo riferimento a una sequenza in cui un punto pugnala alla maggior parte degli intervalli di k come k-idiotico . Visivamente, se si disegna il grafico della sequenza (ovvero, si collegano i punti in ordine), allora quanto sopra corrisponde alla condizione che nessuna linea orizzontale intersechi il grafico più di k volte.
Non è troppo duro (ma non troppo facile, né) per vedere che sequenze -idiotic possono essere ordinati in O ( n log k ) tempo, che è chiaramente ottimale.
Domanda: questo risultato dovrebbe essere noto. Conosci qualche riferimento appropriato?