J'espère que quelqu'un connaît une référence à cela, donc je n'ai pas à lire la littérature ...
Considérons une séquence de nombres . Considérez la séquence comme intervalles . De toute évidence, la séquence d'origine est bitonique si un point quelconque de la ligne réelle est poignardé à 2 intervalles au maximum. Nous ferons référence à une séquence où un point poignarde à la plupart des intervalles comme étant -idiotique . Visuellement, si vous tracez le graphique de la séquence (c.-à-d. Connectez les points dans l'ordre), alors ce qui précède correspond à la condition qu'aucune ligne horizontale ne coupe le graphique plus de fois.
Il n'est pas trop difficile (mais pas trop facile non plus) de voir que les séquences idiotiques peuvent être triées en temps , ce qui est clairement optimal.
Question: Ce résultat doit être connu. Connaissez-vous une référence appropriée?