Existenz / Nicht-Existenz einer Sequenz mit kurzer längster zunehmender Ansprüche und abnehmender Ansprüche?
-
29-09-2020 - |
Frage
kann vorhandene Ganzzahl-Sequenz $ A $ von Länge $ n $ mit allen einzigartigen Elementen solcherdass die Länge seiner längsten zunehmenden Ansprüche sowie die seiner längsten abnehmenden Ansprüchen weniger als
Wenn ja, dann geben Sie ein Beispiel einer solchen Reihenfolge an.Andernfalls kann jemand einen Beweis vorlegen, dass es keine solche Sequenz gibt?
(nur um etwas Substanz hinzuzufügen, kann es dort gezeigt werden, dass es solche Sequenzen gibt, gegebenenfalls beliebigen Wert von $ n> 1 $ )
Lösung
Die Antwort auf die Frage des OPs ist, nein, wenn $ n \ le 7 $ und sonst ja.
für jede positive Integer $ R $ und $ s $ , Der gefeierte Erdős-Szekeres theorem zeigt das für jede Reihenfolge verschiedener echter Nummern mit Länge Zumindest $ (R - 1) (S - 1) + 1 $ enthält eine zunehmende Annahme der Länge
Es stellt sich heraus, dass gebunden, $ (R-1) (S-1) +1 $ eng ist. Das heißt, für jede positive Anzahl
hier ist ein solches Beispiel.
$$ \ begin {array} {} & s-1 & s-2 & \ cdoten & 2 & 1 \\ & 2 (S-1) & (S-1) + S-2 & \ CDs & (S-1) + 2, & (S-1) + 1 \\ & \ vdots & \ vdots & \ vdots & \ vdots & \ vdots \ vdots & \ vdots & \ vdots \\ & (R-2) (S-1) & (R-3) (S-1) + S-2 & \ CDs, & (R-3) (S-1) +2, & (R- 3) (S-1) +1 \\ & (R-1) (S-1) & (R-2) (S-1) + S-2 & \ CDs, & (R-2) (S-1) +2, & (R- 2) (S-1) +1 \\ \ \ end {array} $$
Betrachten Sie die obigen Zahlen, lesen Sie von links nach rechts und dann von oben nach unten. Mit anderen Worten, die Sequenz ist $ S-1 $ bis $ 1 $ , gefolgt von
Es ist leicht zu sehen, dass es keine zunehmende Ansprüche der Länge R gibt, und keine Abnahme der Ansprüche der Länge $ s $ .
Beispielsweise, wenn $ R= S= 5 $ , haben wir $$ 4,3,2,1, \ \, 8,7,6,5, \ \, 12,11,10,9, \ \, 16,15,14,13 $$ Dies hat keine Erhöhung der Ansprüche der Länge $ 5 $ noch abnehmende Ansprüche der Länge $ 5 $ .
Wenn wir $ r= s $ lassen, bedeutet der obige Abschnitt, dass für eine beliebige positive Zahl $ n $ < / span>, gibt es eine ganzzahlige Reihenfolge der Länge $ n $ mit allen einzigartigen Elementen, so dass die Länge seiner längsten zunehmenden Ansprüchen sowie der ihrer längsten abnehmenden Ansprüchen ist höchstens $ \ lceil \ sqrt n \ rceil $ . Und $ \ lceil \ sqrt n \ rceisil $ ist die enge obere Grenze.
seit $$ \ lceil \ sqrt n \ rceil \ ge \ lflor \ frac n2 \ rfloor \ \ text {für alle} n \ le 7 $$ und
Beispielsweise für $ n= 8 $ , wir haben Sequenz 3,2,1,6,5 $, 4,9,8,7 $ .
Andere Tipps
Hier ist ein direkter Aufbau einer solchen Reihenfolge für jedes Vielfache von vier. Es besteht aus vier gleichgroßen Läufen der aufeinanderfolgenden Ganzzahlen.
Die erste und dritte Läufe steigen. Die zweite und vierte Läufe verringern. Die Läufe verwenden Nummernbereiche, so dass $ R_2
$$ 9,10,11,12 | 4,3,2,1 | 5,6,7,8 | 16, 15,14,13 $$
Die längste zunehmende Ansprüche ist die Länge $ n + 2 $ . Zum Beispiel, in dem oben, wo 4n= 16 $ , ist die längste zunehmende Ansprüche Länge $ 6 $ (
- .
- Es ist nicht möglich, ein Element aus beiden zunehmenden Läufen auszuwählen, da jedes Element im ersten zunehmenden Lauf alle von dem zweiten zunehmenden Lauf disqualifiziert.
- Es ist nicht möglich, mehr als ein Element aus einem abnehmenden Lauf auszuwählen
Ein symmetrisches Argument gilt für die abnehmenden Ansprüche.
Da $ n + 2 << 2n $ , funktioniert dies als Gegenexample für jede mehrfache Vier-Sequenz. Sie können problemlos mit extra Sequenzelementen für nicht mehrfache Längen aufladen.
Ich kam auf diese Konstruktion, indem ich eine Sequenz in Betracht ziehst, die ein "Hügel" war (zunehmender, dann abnehmend), der Ihren Zustand perfekt erfüllt. Aufbrechen dieser langen Läufe könnten getan werden, um zwei Hügel zu erstellen (zunehmend, abnehmend, zunehmend, abzunehmen), die diese Reihenfolge durch die Sicherstellung der Aufwärts- / Abwärtsneigung eines 'Hill' nicht von der anderen fortgesetzt wird.
Es gibt auch kurze Sequenzen, die Ihre Anfrage erfüllen.
Betrachten Sie zum Beispiel die ersten 16 Begriffen der binären van der Corput-Sequenz
Solche Sequenzen sind vorhanden.Es genügt, eine groß genug, zufällige Reihenfolge zu erzeugen.Wenn Sie das Buch von Dan Romiks überprüfen, die überraschende Mathematik der längsten zunehmenden Ansprüche , theorem 1.1 gibt an, dass
$$ \ frac {\ \ \ \ ell_n} {\ sqrt n} \ bis 2, $$
wobei $ \ ell_n $ eine erwartete Länge der zunehmenden Annahme in einer zufälligen Permutation der Größe
$$ 2 E [\ ell_n]= E [| decr_n |+ | Incr_n |] \ ge 5 \ sqrt n, $$
was dem Satz widerspricht.