Alternierende Permutation
Eine alternierende Permutation (auch Zickzack-Permutation genannt) ist in der Kombinatorik eine Permutation der ersten <math>n</math> natürlichen Zahlen, bei der keine Zahl der Größe nach zwischen der vorangehenden und der nachfolgenden Zahl steht. Beginnt die Folge mit einem Anstieg, so spricht man von einer Up-Down-Permutation, beginnt sie mit einem Abstieg von einer Down-Up-Permutation. Alternierende Permutationen weisen eine Reihe von Spiegelsymmetrien auf. Jede alternierende Permutation ungerader Länge entspricht einem vollen partiell geordneten Binärbaum und jede alternierende Permutation gerader Länge einem fast vollen solchen Baum. Die Anzahlen der alternierenden Permutationen fester Länge treten als Koeffizienten in der Maclaurin-Reihe der Sekans- und der Tangensfunktion auf und stehen in engem Zusammenhang mit den Euler- und den Bernoulli-Zahlen.
Definition[Bearbeiten]
Die Seite Vorlage:Manueller Rahmen/styles.css hat keinen Inhalt.
Ist <math>S_n</math> die symmetrische Gruppe aller Permutationen der Menge <math>\{ 1, \ldots , n \}</math>, dann heißt eine Permutation <math>\pi \in S_n</math> alternierend, wenn in ihrer Tupeldarstellung
- <math>\pi = ( \pi(1), \pi(2), \ldots , \pi(n) )</math>
die Zahlen <math>\pi(2), \ldots , \pi(n)</math> immer abwechselnd größer und kleiner als die jeweils vorangegangene Zahl sind. Es muss also für <math>j=2, \ldots , n-1</math> entweder
- <math>\pi(j-1) < \pi(j) > \pi(j+1)</math>
oder
- <math>\pi(j-1) > \pi(j) < \pi(j+1)</math>
gelten. Beginnt die Folge der Zahlen mit einem Anstieg, ist also <math>\pi(2) > \pi(1)</math>, so spricht man von einer Up-Down-Permutation, beginnt sie mit einem Abstieg, gilt also <math>\pi(2) < \pi(1)</math>, von einer Down-Up-Permutation.<ref name="stanley32">Stanley: Enumerative Combinatorics. 2011, S. 32.</ref><ref>Dobrushkin: Methods in Algorithmic Analysis. 2011, S. 430–431.</ref> Allgemeiner können auch alternierende Permutationen geordneter endlicher Mengen, beispielsweise Alphabete, betrachtet werden, zur Analyse der mathematischen Eigenschaften kann man sich jedoch auf die ersten <math>n</math> natürlichen Zahlen beschränken.
Beispiele[Bearbeiten]
| <math>n</math> | Up-Down-Permutationen | Down-Up-Permutationen | Anzahl |
|---|---|---|---|
| 2 | (1,2) | (2,1) | 2 |
| 3 | (1,3,2), (2,3,1) | (2,1,3), (3,1,2) | 4 |
| 4 | (1,3,2,4), (1,4,2,3), (2,3,1,4), (2,4,1,3), (3,4,1,2) |
(2,1,4,3), (3,1,4,2), (3,2,4,1), (4,1,3,2), (4,2,3,1) |
10 |
Die Permutation
- <math>\pi = ( 3, 5, 2, 4, 1, 6 ) \in S_6</math>
ist eine Up-Down-Permutation, denn es gilt <math>3 < 5 > 2 < 4 > 1 < 6</math>. Die Permutation
- <math>\pi = ( 5, 1, 4, 2, 6, 3 ) \in S_6</math>
ist hingegen eine Down-Up-Permutation, da <math>5 > 1 < 4 > 2 < 6 > 3</math> gilt. Die Permutation
- <math>\pi = ( 4, 5, 2, 3, 6, 1 ) \in S_6</math>
ist keine alternierende Permutation, denn sie enthält mit <math>2 < 3 < 6</math> zwei aufeinander folgende Anstiege.
Die nebenstehende Tabelle führt alle alternierenden Permutationen der symmetrischen Gruppen vom Grad zwei bis vier auf.
Symmetrien[Bearbeiten]
An- und Abstiege[Bearbeiten]
Bei einer alternierenden Permutation wechseln sich Anstiege mit Abstiegen ab. Bei einer Up-Down-Permutation gilt <math>\pi(i+1) > \pi(i)</math> für ungerade <math>i</math> und <math>\pi(i+1) < \pi(i)</math> für gerade <math>i</math>, bei Down-Up-Permutationen entsprechend umgekehrt. Eine alternierende Permutation gerader Länge weist demnach ebenso viele An- wie Abstiege auf. Eine Up-Down-Permutation ungerader Länge hat einen Anstieg mehr als Abstiege, eine Down-Up-Permutation ungerader Länge einen Abstieg mehr als Anstiege. Weiterhin weisen alternierende Permutationen die folgenden beiden Arten von Spiegelsymmetrien auf.
Horizontale Symmetrie[Bearbeiten]
Liest man eine Permutation von rechts nach links, erhält man die entsprechende reverse Permutation. Die Reverse einer Up-Down-Permutation ist wieder eine Up-Down-Permutation, falls <math>n</math> ungerade ist und eine Down-Up-Permutation, falls <math>n</math> gerade ist. Analog dazu ist die Reverse einer Down-Up-Permutation wieder eine Down-Up-Permutation, wenn <math>n</math> ungerade ist, und eine Up-Down-Permutation, wenn <math>n</math> gerade ist. Die Abbildung
- <math>( \pi(1), \ldots , \pi(n) ) \mapsto ( \pi(n), \ldots , \pi(1) )</math>
stellt also eine Involution der Menge der Up-Down- bzw. der Down-Up-Permutationen dar, falls <math>n</math> ungerade ist und eine Bijektion zwischen den beiden Mengen, falls <math>n</math> gerade ist.
Vertikale Symmetrie[Bearbeiten]
Ersetzt man in einer Permutation für <math>j=1, \ldots , n</math> jede Zahl <math>\pi(j)</math> durch die Zahl <math>n-\pi(j)+1</math>, erhält man die entsprechende komplementäre Permutation. Das Komplement einer Up-Down-Permutation ist stets eine Down-Up-Permutation und umgekehrt. Die Abbildung
- <math>( \pi(1), \ldots , \pi(n) ) \mapsto ( n-\pi(1)+1, \ldots , n-\pi(n)+1 )</math>
stellt damit für jedes <math>n</math> eine Bijektion zwischen der Menge der Up-Down-Permutationen und der Menge der Down-Up-Permutationen dar.<ref name="stanley32" />
Anzahl[Bearbeiten]
Rekursive Darstellung[Bearbeiten]
| <math>{}_{n} \! \diagdown \!\! {}^{k}</math> | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Summe |
| 2 | 0 | 1 | 1 | |||||
| 3 | 0 | 1 | 1 | 2 | ||||
| 4 | 0 | 1 | 2 | 2 | 5 | |||
| 5 | 0 | 2 | 4 | 5 | 5 | 16 | ||
| 6 | 0 | 5 | 10 | 14 | 16 | 16 | 61 | |
| 7 | 0 | 16 | 32 | 46 | 56 | 61 | 61 | 272 |
| <math>{}_{n} \! \diagdown \!\! {}^{k}</math> | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Summe |
| 2 | 1 | 0 | 1 | |||||
| 3 | 1 | 1 | 0 | 2 | ||||
| 4 | 2 | 2 | 1 | 0 | 5 | |||
| 5 | 5 | 5 | 4 | 2 | 0 | 16 | ||
| 6 | 16 | 16 | 14 | 10 | 5 | 0 | 61 | |
| 7 | 61 | 61 | 56 | 46 | 32 | 16 | 0 | 272 |
Aufgrund der vorstehenden Symmetrie gibt es ebenso viele Up-Down- wie Down-Up-Permutationen. Nachdem diese beiden Mengen für <math>n \geq 2</math> disjunkt sind, kann man sich bei der Zählung auf einen der beiden Typen beschränken. Bezeichnet nun <math>A_n</math> die Anzahl der Down-Up-Permutationen der Länge <math>n</math>, sowie <math>A_{n,k}</math> die Anzahl der Down-Up-Permutationen der Länge <math>n</math>, die mit der Zahl <math>k</math> beginnen, dann gilt
- <math>A_n = \sum_{k=1}^{n} A_{n,k}</math>.
Die Zahlen <math>A_n</math> werden für ungerades <math>n</math> auch (positive) Eulersche Zahlen genannt, die Zahlen <math>A_{n,k}</math> heißen auch Entringer-Zahlen (Folge A008282 in OEIS). Man erhält jede der Down-Up-Permutationen der Länge <math>n</math> und Startzahl <math>k</math>, indem man bei einer Up-Down-Permutation der Länge <math>n-1</math>, die höchstens mit der Zahl <math>k-1</math> beginnt, alle Zahlen von <math>k</math> bis <math>n-1</math> um eins erhöht und die Zahl <math>k</math> vorne anfügt. Nachdem jede Up-Down-Permutation durch vertikale Spiegelung einer Down-Up-Permutation entsteht, erhält man so für die Anzahl <math>A_{n,k}</math> mit <math>n \geq 3</math> und <math>k = 2, \ldots , n</math> die Rekurrenz
- <math>A_{n,k} = \sum_{j=1}^{k-1} A_{n-1,n-j}</math>,
wobei <math>A_{2,2} = 1</math> und <math>A_{n,1} = 0</math> für alle <math>n</math> gesetzt wird. Diese Rekurrenz lässt sich zu
- <math>A_{n,k} = A_{n,k-1} + A_{n-1,n-k+1}</math>
vereinfachen. Entsprechend gespiegelte Rekurrenzen lassen sich auch für die Anzahl der Up-Down-Permutationen, die mit der Zahl <math>k</math> beginnen, herleiten (Folge A010094 in OEIS).
Explizite Darstellung[Bearbeiten]
Durch Auflösung der Rekurrenzen erreicht man nun für die Anzahl der Up-Down- oder Down-Up-Permutationen ungerader Länge die explizite Summendarstellung<ref>Louis Comtet: Advanced Combinatorics. Reidel, Dordrecht 1974, ISBN 90-277-0380-9, S. 259.</ref>
- <math>A_{2n+1} = \sum_{j=1}^n \sum_{k=j}^n (-1)^{j+n} \binom{2k}{k-j} (k+1) \frac{j^{2n}}{2^{k-1}}</math>
und für die Anzahl der Up-Down- oder Down-Up-Permutationen gerader Länge die entsprechende Darstellung
- <math>A_{2n} = \sum_{j=1}^n \sum_{k=j}^n (-1)^{j+n} \binom{2k}{k-j} \frac{j^{2n}}{2^{k-1}}</math>.
Insgesamt erhält man so für die Anzahl der Up-Down- oder Down-Up-Permutationen <math>A_n</math> die Folge
und für die Gesamtzahl <math>2A_n</math> der alternierenden Permutationen der Länge <math>n</math> die Folge
Korrespondenz zu Binärbäumen[Bearbeiten]
Im Folgenden werden Binärbäume betrachtet, deren Knoten mit den ersten natürlichen Zahlen bezeichnet sind. Ein Binärbaum heißt voll, wenn jeder Knoten entweder zwei oder keine Kindknoten hat. In einem partiell geordneten Binärbaum sind alle Knoten derart markiert, dass die Zahl eines Vaterknotens immer größer, als die Zahlen der Kindknoten sind. Jede Up-Down-Permutation ungerader Länge <math>\pi \in S_{2n+1}</math> entspricht nun einem vollen, partiell geordneten Binärbaum mit <math>2n+1</math> Knoten.<ref>Bornemann: Konkrete Analysis: für Studierende der Informatik. 2008, S. 139.</ref> Um diese Korrespondenz zu konstruieren, wählt man die größte Zahl <math>\pi(j) = 2n+1</math> als Wurzelknoten des Baums aus und betrachtet die Teilpermutationen
- <math>(\pi(1), \ldots , \pi(j-1))</math> und <math>(\pi(j+1), \ldots , \pi(2n+1))</math>
links und rechts dieser Zahl. Die beiden Teilpermutationen sind nun wieder Up-Down-Permutationen jeweils einer Teilmenge der Zahlen <math>\{ 1, \ldots , 2n\}</math>. Von diesen Teilpermutationen kann nun wieder jeweils das größte Element ausgewählt werden und auf diese Weise rekursiv ein voller, partiell geordneter Binärbaum aufgebaut werden (siehe Abbildung). Die rekursive Struktur der Binärbäume kann man sich nun zunutze machen, um weitere Rekurrenzen herzuleiten. Der Wurzelknoten muss einen geraden Index <math>j \in \{ 2, 4, \ldots, 2n \}</math> aufweisen, sodass der linke Teilbaum <math>j-1</math> Knoten und der rechte Teilbaum <math>2n-j+1</math> Knoten besitzt. Es gibt nun genau <math>\tbinom{2n}{j-1}</math> Möglichkeiten, die Zahlen des linken Teilbaums auszuwählen, wodurch die übrigen Zahlen im rechten Teilbaum stehen müssen. Setzt man <math>i=j/2</math>, so folgt daraus für die Anzahl der Up-Down-Permutationen ungerader Länge die Rekurrenz<ref name="bornemann140">Bornemann: Konkrete Analysis: für Studierende der Informatik. 2008, S. 140.</ref>
- <math>A_{2n+1} = \sum_{i=1}^n \binom{2n}{2i-1} A_{2i-1} A_{2n-2i+1}</math>
mit Startwert <math>A_1=1</math>. Jede Up-Down-Permutation gerader Länge <math>\pi \in S_{2n}</math> entspricht einem fast vollen, partiell geordneten Binärbaum mit <math>2n</math> Knoten, bei dem nur das am weitesten rechts stehende Blatt des Baums fehlt. Für die Anzahl der Up-Down-Permutationen gerader Länge erhält man die entsprechende Rekurrenz
- <math>A_{2n} = \sum_{i=1}^n \binom{2n-1}{2i-1} A_{2i-1} A_{2n-2i}</math>
mit Startwert <math>A_0=1</math>. Analog zu diesen beiden Fällen entspricht jede Down-Up-Permutation einem bezüglich der umgedrehten Ordnung partiell geordneten Binärbaum, der bei ungerader Länge voll und bei gerader Länge fast voll ist. Aufgrund der Spiegelsymmetrie erhält man so für die Gesamtzahl der alternierenden Permutationen der Länge <math>n</math> die Rekurrenz<ref name="stanley47">Stanley: Enumerative Combinatorics. 2011, S. 47.</ref>
- <math>2A_{n+1} = \sum_{i=0}^n \binom{n}{i} A_{i} A_{n-i}</math>
und nach Setzen von <math>a_i = A_i / i!</math> die diskrete Faltung<ref name="bornemann140" />
- <math>2a_{n+1} = \frac{1}{n+1} \sum_{i=0}^n a_i a_{n-i}</math>.
Erzeugende Funktionen[Bearbeiten]
Differentialgleichung[Bearbeiten]
Die exponentiell erzeugende Funktion der Folge <math>A_n</math>
- <math>f(x) = \sum_{n=0}^\infty A_n \frac{x^n}{n!} = \sum_{n=0}^\infty a_n x^n</math>
erfüllt die gewöhnliche Differentialgleichung
- <math>2f'(x) = 1 + (f(x))^2</math>
mit der Anfangsbedingung <math>f(0)=1</math>, wie durch Einsetzen der obigen Rekurrenz nachgerechnet werden kann. Durch Separation der Variablen erhält man die Lösung dieses Anfangswertproblems als
- <math>f(x) = \sec x + \tan x = \tan \left( \frac{x}{2} + \frac{\pi}{4} \right)</math>.
Dieses klassische Resultat der analytischen Kombinatorik aus dem Jahr 1881 geht auf den französischen Mathematiker Désiré André zurück.<ref>Flajolet, Sedgewick: Analytic Combinatorics. 2009, S. 2.</ref>
Maclaurin-Reihen[Bearbeiten]
Die Zahlen <math>A_n</math> werden für gerades <math>n</math> auch Sekantenzahlen genannt und treten in der Maclaurin-Reihe der Sekansfunktion
- <math>\sec x = A_0 + A_2 \frac{x^2}{2!} + A_4 \frac{x^4}{4!} + \ldots</math>
auf, während die Zahlen für ungerades <math>n</math> auch Tangentenzahlen genannt werden und in der Reihenentwicklung der Tangensfunktion
- <math>\tan x = A_1 x + A_3 \frac{x^3}{3!} + A_5 \frac{x^5}{5!} + \ldots</math>
vorkommen.<ref name="stanley47" /> Die Zahlen <math>A_n</math> stehen dabei in enger Verwandtschaft zu den Bernoulli-Zahlen <math>B_n</math>.<ref name="bornemann141">Bornemann: Konkrete Analysis: für Studierende der Informatik. 2008, S. 141–142.</ref>
Asymptotik[Bearbeiten]
Für den Anteil der alternierenden Permutationen in der Menge aller Permutationen gilt für <math>n \to \infty</math> asymptotisch
- <math>\frac{A_n}{n!} \simeq 2 \left( \frac{2}{\pi} \right)^{n+1}</math>.
Dieser Anteil entspricht der Wahrscheinlichkeit, dass eine (gleichverteilt) zufällige Permutation der Länge <math>n</math> alternierend ist.<ref name="bornemann141" />
Literatur[Bearbeiten]
- Folkmar Bornemann: Konkrete Analysis: für Studierende der Informatik. Springer, 2008, ISBN 978-3-540-70854-4.
Weblinks[Bearbeiten]
- Eric W. Weisstein: Alternating Permutation. In: MathWorld (englisch).
- Eric W. Weisstein: Euler Zigzag Number. In: MathWorld (englisch).
- Eric W. Weisstein: Entringer Number. In: MathWorld (englisch).
Einzelnachweise[Bearbeiten]
<references />