Schröder-Zahlen

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Schröderzahl)
Wechseln zu: Navigation, Suche
Die großen Schröder-Zahlen geben die Anzahl der horizontal, vertikal oder diagonal verlaufenden Pfade in einem quadratischen Gitter an, die von der linken unteren zur rechten oberen Ecke verlaufen und dabei die Diagonale nicht überschreiten

Die Schröder-Zahlen sind eine Folge natürlicher Zahlen mit einer Reihe unterschiedlicher Bedeutungen in der Kombinatorik. Sie tauchen unter anderem bei der Aufzählung bestimmter Gitterpfade, Polygonzerlegungen, Bäume oder Permutationen auf. Man unterscheidet große Schröder-Zahlen und kleine Schröder-Zahlen, die im Wesentlichen nur um einen Faktor zwei voneinander abweichen.

Die Schröder-Zahlen sind nach dem deutschen Mathematiker Ernst Schröder benannt, der im Jahr 1870 das Problem untersuchte, auf wie viele Weisen Klammern in eine Summe geschrieben werden können. Sie sollen jedoch bereits dem griechischen Astronom Hipparchos von Nicäa bekannt gewesen sein.

Definitionen[Bearbeiten]

Große Schröder-Zahlen[Bearbeiten]

Die großen Schröder-Zahlen S_n sind für n \in \N_0 rekursiv durch S_0 = 1 und

S_n = S_{n-1} + \sum_{k=0}^{n-1} S_k \cdot S_{n-k-1}

für n \geq 1 definiert. Sie bilden die Folge

1, 2, 6, 22, 90, 394, 1806, 8558, \ldots   (Folge A006318 in OEIS).

Kleine Schröder-Zahlen[Bearbeiten]

Die kleinen Schröder-Zahlen s_n werden entsprechend durch s_0 = 1 und

s_n = \frac{S_n}{2} = -s_{n-1} + 2 \, \sum_{k=0}^{n-1} s_k \cdot s_{n-k-1}

für n \geq 1 definiert. Sie bilden die Folge

1, 1, 3, 11, 45, 197, 903, 4279, \ldots   (Folge A001003 in OEIS).

Nach Plutarch soll diese Zahlenfolge bereits dem griechischen Astronom Hipparchos von Nicäa bekannt gewesen sein, weshalb sie auch Hipparchus-Zahlen oder Schröder-Hipparchus-Zahlen genannt werden.[1][2] Sie sind eng mit den Catalan-Zahlen verwandt und werden daher auch als Super-Catalan-Zahlen bezeichnet.[3]

Bedeutungen[Bearbeiten]

Klammerungen[Bearbeiten]

Ernst Schröder betrachtete 1870 das Problem, auf wie viele Weisen es möglich ist, Klammern in eine Summe bestehend aus n+1 Termen zu setzen.[4] Die Klammern sollen dabei korrekt geschachtelt sein und jeweils mindestens zwei Terme umfassen. Beispielsweise gibt es die folgenden elf solcher Klammerungen von vier Termen:

a+b+c+d \quad (a+b)+c+d \quad a+(b+c)+d \quad a+b+(c+d) \quad (a+b+c)+d \quad a+(b+c+d)
(a+b)+(c+d) \quad ((a+b)+c)+d \quad (a+(b+c))+d \quad a+((b+c)+d) \quad a+(b+(c+d))

Die Anzahl der auf diese Weise möglichen Klammerungen wird gerade durch die kleinen Schröder-Zahlen angegeben. Wenn man Klammern um die ganze Summe herum ebenfalls zulässt, erhält man als Lösung des Problems die großen Schröder-Zahlen. Im Vergleich dazu geben die Catalan-Zahlen die Anzahl der möglichen Klammerungen durch genau n-1 Klammerpaare an, die jeweils genau zwei Terme umfassen.[5] Diese Klammerungen entsprechen der zweiten Zeile im obigen Beispiel.

Gitterpfade[Bearbeiten]

Die sechs möglichen Pfade in einem (2 × 2)-Gitternetz

Die großen Schröder-Zahlen geben auch die Anzahl der möglichen Pfade in einem quadratischen Gitternetz der Kantenlänge n unter den folgenden Bedingungen an:[6]

  • Jeder Pfad verläuft von der linken unteren Ecke (0,0) zur rechten oberen Ecke (n,n).
  • Ein Schritt darf nur nach rechts (+1,0), nach oben (0,+1) oder schräg nach rechts oben (+1,+1) erfolgen.
  • Die Diagonale von links unten nach rechts oben darf nicht überschritten werden.

Solche Pfade werden auch Schröder-Pfade oder Königspfade genannt, da sie den Zugmöglichkeiten des Königs im Schach entsprechen.[6] Die kleinen Schröder-Zahlen entsprechen der Anzahl derjenigen Pfade, bei denen kein Teilstück auf der Diagonale verläuft.[3]

Die entsprechenden sechs Pfade in einem (4 × 2)-Gitternetz

Äquivalent dazu geben die großen Schröder-Zahlen die Anzahl der Pfade in einem Gitternetz der Größe 2n \times n an, die folgenden Bedingungen genügen:[7]

  • Jeder Pfad verläuft von der linken unteren Ecke (0,0) zur rechten unteren Ecke (2n,0).
  • Ein Schritt darf nur schräg nach rechts oben (+1,+1), schräg nach rechts unten (+1,-1) oder als Doppelschritt nach rechts (2,0) erfolgen.
  • Die Null-Linie darf nicht unterschritten werden.

Diese Pfade entstehen durch Drehung, Streckung und Spiegelung der jeweiligen Pfade in dem quadratischen Gitternetz. Ein Doppelschritt entspricht so im quadratischen Gitter einem Diagonalschritt und die beiden schrägen Schritte entsprechen dort den Schritten jeweils nach rechts und nach oben. Die kleinen Schröder-Zahlen charakterisieren auch diejenigen Pfade, die keinen Scheitelpunkt bei y=1 aufweisen.[3]

Zerlegungen[Bearbeiten]

Die sechs möglichen Unterteilungen eines regelmäßigen Fünfecks

Die großen Schröder-Zahlen zählen auch die Anzahl der Möglichkeiten, ein regelmäßiges Polygon mit n+3 Ecken unter den folgenden Bedingungen zu zerlegen:[6]

  • Jeder Schnitt verläuft durch zwei nicht benachbarte Ecken.
  • Die Schnittlinien dürfen sich an den Ecken berühren aber im Inneren nicht schneiden.
  • Eine vorher ausgewählte Ecke darf nicht Endpunkt eines Schnitts sein.

Die kleinen Schröder-Zahlen entsprechen der Anzahl möglicher Zerlegungen eines regelmäßigen (n+2)-Ecks, bei denen keine Ecke ausgespart wird.[8]

Die sechs möglichen Zerlegungen eines Quadrats in Rechtecke mit zwei Schnitten

Äquivalent dazu zählen die großen Schröder-Zahlen auch die Anzahl der Möglichkeiten, ein Quadrat der Seitenlänge n+1 mit n Schnitten in n+1 Rechtecke unter den folgenden Bedingungen zu zerlegen:[9]

  • Innerhalb des Quadrats befinden sich die n Punkte (1,1), \ldots , (n,n).
  • Jeder Schnitt verläuft horizontal oder vertikal durch genau einen dieser Punkte.
  • Jeder Schnitt unterteilt nur ein einzelnes Rechteck.

Permutationen[Bearbeiten]

Die sechs möglichen mit + und − bezeichneten Binärbäume mit drei Blättern

Die großen Schröder-Zahlen zählen auch die Anzahl der geordneten Binärbäume mit n+1 Blättern, die die folgenden Bedingungen erfüllen:[10]

Jedem solchen Binärbaum entspricht eine separable Permutation der Länge n+1. Separable Permutationen sind diejenigen Permutationen, die sich durch direkte oder schiefe Summen von trivialen Permutationen darstellen lassen. Sie sind auch diejenigen Permutationen, die die beiden Permutationsmuster (2, 4, 1, 3) und (3, 1, 4, 2) vermeiden. Die kleinen Schröder-Zahlen geben die Anzahl der Bäume an, bei denen der Wurzelknoten positiv ist.

Kombinatorische Äquivalenz[Bearbeiten]

Zur Äquivalenz von Zerlegungen, Bäumen und Klammerungen

All diese Konstruktionen sind kombinatorisch äquivalent, das heißt es gibt eine bijektive Abbildung zwischen jeweils einander entsprechenden Objekten. Jeder Polygonzerlegung kann ein geordneter Baum zugeordnet werden, der dem dualen Graphen der Zerlegung entspricht. Die Flächen der Zerlegung entsprechen den inneren Knoten des Baums und die Seiten des Polygons seinen Blättern. Eine vorher ausgewählte Seite wird dabei der Wurzel des Baums zugeordnet.[8]

Jede Polygonzerlegung entspricht auch einer zulässigen Klammerung einer Summe von Termen. Hierzu werden die Seiten des Polygons der Reihe nach den einzelnen Termen zugeordnet, wobei eine vorher ausgewählte Seite wiederum ausgelassen wird. Jede Ecke des Polygons entspricht dann einer Stelle, an der eine Klammer gesetzt werden kann und jede Schnittlinie genau einem Klammerpaar.[8]

Alle Konstruktionen, die durch die großen Schröder-Zahlen aufgezählt werden, weisen eine grundlegende Symmetrie auf. Ihre Objekte fallen in zwei disjunkte Klassen, die gleich mächtig sind und jeweils durch die kleinen Schröder-Zahlen aufgezählt werden.

Eigenschaften[Bearbeiten]

Rekurrenzen[Bearbeiten]

Dreieck der Zahlen Sn,k
{}_{n} \! \diagdown \!\! {}^{k} 0 1 2 3 4 5 Summe
0 1 1
1 1 2 3
2 1 4 6 11
3 1 6 16 22 45
4 1 8 30 68 90 197
5 1 10 48 146 304 394 903

Eine lineare Differenzengleichung zweiter Ordnung ist für die großen Schröder-Zahlen durch[6]

(n+1)S_n = (6n-3)S_{n-1} - (n-2)S_{n-2}

gegeben. Betrachtet man die Zahlen S_{n,k}, die der linearen Rekurrenz

S_{n,k} = S_{n,k-1} + S_{n-1,k} + S_{n-1,k-1}   (Folge A033877 in OEIS)

genügen, wobei S_{n,0}=1 und S_{n,k}=0 für k>n gesetzt werden, dann ergeben sich die großen Schröder-Zahlen auf der Diagonalen, also

S_n = S_{n,n}.

Die kleinen Schröder-Zahlen erfüllen entsprechend die lineare Differenzengleichung[11]

n s_n = (6n-9)s_{n-1} - (n-3)s_{n-2}.

Sie ergeben sich für n>0 als Summe

s_n = \sum_{k=1}^{n-1} S_{n-1,k}.

Explizite Formeln[Bearbeiten]

Die großen Schröder-Zahlen besitzen die expliziten Darstellungen

S_n = 2 \, _2F_1(-n+1,n+2;2;-1),

wobei _2F_1 eine hypergeometrische Funktion ist,

S_n = -\frac12 \, C_{n+1}^{(-1/2)}(3),

wobei n>1 und C_n^{(k)} ein Gegenbauer-Polynom vom Grad n ist, und

S_n = \frac12 \left( -P_{n-1}(3)+6P_n(3)-P_{n+1}(3) \right),

wobei P_n das Legendre-Polynom vom Grad n ist.

Erzeugende Funktionen[Bearbeiten]

Die erzeugende Funktion der großen Schröder-Zahlen ist[6]

G(x) = \sum_{n=0}^\infty S_n x^n = \frac{1-x-\sqrt{1-6x+x^2}}{2x}

und die der kleinen Schröder-Zahlen entsprechend[3]

g(x) = \sum_{n=0}^\infty s_n x^n = \frac{1+x-\sqrt{1-6x+x^2}}{4x}

Die erzeugenden Funktionen erfüllen die Identitäten

(1-x)G(x) - x G(x)^2 = 1

sowie

(1+x)g(x) - 2 g(x)^2 = x.

Literatur[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1.  R. P. Stanley: Enumerative Combinatorics. Band 1, Cambridge University Press, 2002, S. 51.
  2.  R. P. Stanley: Hipparchus, Plutarch, Schröder, and Hough. In: American Mathematical Monthly. 104, Nr. 4, 1997, S. 344–350.
  3. a b c d Folge A001003 in OEIS
  4.  E. Schröder: Vier combinatorische Probleme. In: Zeitschrift für Mathematik und Physik. 15, 1870.
  5.  R. P. Stanley: Enumerative Combinatorics. Band 2, Cambridge University Press, 2001, S. 177f.
  6. a b c d e Folge A006318 in OEIS
  7.  R. Grimaldi: Fibonacci and Catalan Numbers: An Introduction. John Wiley & Sons, 2012, S. 34.4.
  8. a b c  L. Shapiro, R. Sulanke: Bijections for the Schröder numbers. In: Mathematics Magazine. 73, Nr. 5, 2000, S. 369–376.
  9.  R. P. Stanley: Catalan addendum to Enumerative Combinatorics. Band 2, 2013.
  10.  L. Shapiro, A. B. Stephens: Bootstrap percolation, the Schröder numbers, and the N-kings problem. In: SIAM Journal on Discrete Mathematics. 4, 1991, S. 275–280.
  11.  D. Foata, D. Zeilberger: A classic proof of a recurrence for a very classical sequence. In: Journal of Combinatorial Theory. A 80, Nr. 2, 1997, S. 380–384.

Weblinks[Bearbeiten]