# Pólya enumeration theorem Pólya enumeration theorem "Polya theorem" leitet hier weiter. For Pólya's theorem for positive polynomials on simplex, see Positive polynomial. For the recurrence of lattice random walks, see Random walk § Higher dimensions.

The Pólya enumeration theorem, also known as the Redfield–Pólya theorem and Pólya counting, is a theorem in combinatorics that both follows from and ultimately generalizes Burnside's lemma on the number of orbits of a group action on a set. The theorem was first published by J. Howard Redfield in 1927. Im 1937 it was independently rediscovered by George Pólya, who then greatly popularized the result by applying it to many counting problems, in particular to the enumeration of chemical compounds.

The Pólya enumeration theorem has been incorporated into symbolic combinatorics and the theory of combinatorial species.

Inhalt 1 Vereinfacht, unweighted version 2 Voll, weighted version 3 Beispiele 3.1 Necklaces and bracelets 3.2 Colored cubes 3.3 Graphs on three and four vertices 3.4 Rooted ternary trees 4 Beweis des Satzes 5 Siehe auch 6 Verweise 7 Externe Links Vereinfacht, unweighted version Let X be a finite set and let G be a group of permutations of X (or a finite symmetry group that acts on X). The set X may represent a finite set of beads, and G may be a chosen group of permutations of the beads. Zum Beispiel, if X is a necklace of n beads in a circle, then rotational symmetry is relevant so G is the cyclic group Cn, while if X is a bracelet of n beads in a circle, rotations and reflections are relevant so G is the dihedral group Dn of order 2n. Suppose further that Y is a finite set of colors — the colors of the beads — so that YX is the set of colored arrangements of beads (more formally: YX is the set of functions {displaystyle Xto Y} .) Then the group G acts on YX. The Pólya enumeration theorem counts the number of orbits under G of colored arrangements of beads by the following formula: {Anzeigestil links|Y^{X}/Gright|={frac {1}{|G|}}Summe _{Gin G}m^{c(g)}} wo {Anzeigestil m=|Y|} is the number of colors and c(g) is the number of cycles of the group element g when considered as a permutation of X.

Voll, weighted version In the more general and more important version of the theorem, the colors are also weighted in one or more ways, and there could be an infinite number of colors provided that the set of colors has a generating function with finite coefficients. In the univariate case, nehme an, dass {Anzeigestil f(t)=f_{0}+f_{1}t+f_{2}t^{2}+cdots } is the generating function of the set of colors, so that there are fw colors of weight w for each integer w ≥ 0. In the multivariate case, the weight of each color is a vector of integers and there is a generating function f(t1, t2, ...) that tabulates the number of colors with each given vector of weights.

The enumeration theorem employs another multivariate generating function called the cycle index: {Anzeigestil Z_{G}(t_{1},t_{2},Punkte ,t_{n})={frac {1}{|G|}}Summe _{Gin G}t_{1}^{c_{1}(g)}t_{2}^{c_{2}(g)}cdots t_{n}^{c_{n}(g)}} where n is the number of elements of X and ck(g) is the number of k-cycles of the group element g as a permutation of X.

A colored arrangement is an orbit of the action of G on the set YX (where Y is the set of colors and YX denotes the set of all functions φ: X→Y). The weight of such an arrangement is defined as the sum of the weights of φ(x) over all x in X. The theorem states that the generating function F of the number of colored arrangements by weight is given by: {Anzeigestil F(t)=Z_{G}(f(t),f(t^{2}),f(t^{3}),Punkte ,f(t^{n}))} or in the multivariate case: {Anzeigestil F(t_{1},t_{2},Punkte )=Z_{G}(f(t_{1},t_{2},Punkte ),f(t_{1}^{2},t_{2}^{2},Punkte ),f(t_{1}^{3},t_{2}^{3},Punkte ),Punkte ,f(t_{1}^{n},t_{2}^{n},Punkte )).} To reduce to the simplified version given earlier, if there are m colors and all have weight 0, then f(t) = m and {Anzeigestil links|Y^{X}/Gright|=F(0)=Z_{G}(m,m,Punkte ,m)={frac {1}{|G|}}Summe _{Gin G}m^{c(g)}.} In the celebrated application of counting trees (siehe unten) and acyclic molecules, an arrangement of "colored beads" is actually an arrangement of arrangements, such as branches of a rooted tree. Thus the generating function f for the colors is derived from the generating function F for arrangements, and the Pólya enumeration theorem becomes a recursive formula.

Examples Necklaces and bracelets Main article: Necklace (combinatorics) Colored cubes How many ways are there to color the sides of a three-dimensional cube with m colors, up to rotation of the cube? The rotation group C of the cube acts on the six sides of the cube, which are equivalent to beads. Its cycle index is {Anzeigestil Z_{C}(t_{1},t_{2},t_{3},t_{4})={frac {1}{24}}links(t_{1}^{6}+6t_{1}^{2}t_{4}+3t_{1}^{2}t_{2}^{2}+8t_{3}^{2}+6t_{2}^{3}Rechts)} which is obtained by analyzing the action of each of the 24 elements of C on the 6 sides of the cube, see here for the details.

We take all colors to have weight 0 and find that there are {Anzeigestil F(0)=Z_{C}(m,m,m,m)={frac {1}{24}}links(m^{6}+3m^{4}+12m^{3}+8m^{2}Rechts)} different colorings.

Graphs on three and four vertices A graph on m vertices can be interpreted as an arrangement of colored beads. The set X of "beads" is the set of {Anzeigestil {manche von ihnen {m}{2}}} possible edges, while the set of colors Y = {Schwarz, Weiß} corresponds to edges that are present (Schwarz) or absent (Weiß). The Pólya enumeration theorem can be used to calculate the number of graphs up to isomorphism with a fixed number of vertices, or the generating function of these graphs according to the number of edges they have. For the latter purpose, we can say that a black or present edge has weight 1, while an absent or white edge has weight 0. Daher {Anzeigestil f(t)=1+t} is the generating function for the set of colors. The relevant symmetry group is {displaystyle G=S_{m},} the symmetric group on m letters. This group acts on the set X of possible edges: a permutation φ turns the edge {a, b} into the edge {Phi(a), Phi(b)}. With these definitions, an isomorphism class of graphs with m vertices is the same as an orbit of the action of G on the set YX of colored arrangements; the number of edges of the graph equals the weight of the arrangement.

All graphs on three vertices Nonisomorphic graphs on three vertices The eight graphs on three vertices (before identifying isomorphic graphs) are shown at the right. There are four isomorphism classes of graphs, also shown at the right.

The cycle index of the group S3 acting on the set of three edges is {Anzeigestil Z_{G}(t_{1},t_{2},t_{3})={frac {1}{6}}links(t_{1}^{3}+3t_{1}t_{2}+2t_{3}Rechts)} (obtained by inspecting the cycle structure of the action of the group elements; siehe hier). Daher, according to the enumeration theorem, the generating function of graphs on 3 vertices up to isomorphism is {Anzeigestil F(t)=Z_{G}links(t+1,t^{2}+1,t^{3}+1Rechts)={frac {1}{6}}links((t+1)^{3}+3(t+1)(t^{2}+1)+2(t^{3}+1)Rechts),} which simplifies to {Anzeigestil F(t)=t^{3}+t^{2}+t+1.} Thus there is one graph each with 0 zu 3 Kanten.

Isomorphism classes of graphs on four vertices.

The cycle index of the group S4 acting on the set of 6 edges is {Anzeigestil Z_{G}(t_{1},t_{2},t_{3},t_{4})={frac {1}{24}}links(t_{1}^{6}+9t_{1}^{2}t_{2}^{2}+8t_{3}^{2}+6t_{2}t_{4}Rechts)} (see here.) Somit {Anzeigestil F(t)=Z_{G}links(t+1,t^{2}+1,t^{3}+1,t^{4}+1Rechts)={frac {(t+1)^{6}+9(t+1)^{2}(t^{2}+1)^{2}+8(t^{3}+1)^{2}+6(t^{2}+1)(t^{4}+1)}{24}}} which simplifies to {Anzeigestil F(t)=t^{6}+t^{5}+2t^{4}+3t^{3}+2t^{2}+t+1.} These graphs are shown at the right.

Rooted ternary trees The set T3 of rooted ternary trees consists of rooted trees where every node (or non-leaf vertex) has exactly three children (leaves or subtrees). Small ternary trees are shown at right. Note that rooted ternary trees with n nodes are equivalent to rooted trees with n vertices of degree at most 3 (by ignoring the leaves). Im Algemeinen, two rooted trees are isomorphic when one can be obtained from the other by permuting the children of its nodes. Mit anderen Worten, the group that acts on the children of a node is the symmetric group S3. We define the weight of such a ternary tree to be the number of nodes (or non-leaf vertices).

Rooted ternary trees on 0, 1, 2, 3 und 4 Knoten (=non-leaf vertices). The root is shown in blue, the leaves are not shown. Every node has as many leaves as to make the number of its children equal to 3.

One can view a rooted, ternary tree as a recursive object which is either a leaf or a node with three children which are themselves rooted ternary trees. These children are equivalent to beads; the cycle index of the symmetric group S3 that acts on them is {Anzeigestil Z_{S_{3}}(t_{1},t_{2},t_{3})={frac {t_{1}^{3}+3t_{1}t_{2}+2t_{3}}{6}}.} The Polya enumeration theorem translates the recursive structure of rooted ternary trees into a functional equation for the generating function F(t) of rooted ternary trees by number of nodes. This is achieved by "coloring" the three children with rooted ternary trees, weighted by node number, so that the color generating function is given by {Anzeigestil f(t)=F(t)} which by the enumeration theorem gives {Anzeigestil {frac {F(t)^{3}+3F(t)F(t^{2})+2F(t^{3})}{6}}} as the generating function for rooted ternary trees, weighted by one less than the node number (since the sum of the children weights does not take the root into account), so dass {Anzeigestil F(t)=1+tcdot {frac {F(t)^{3}+3F(t)F(t^{2})+2F(t^{3})}{6}}.} This is equivalent to the following recurrence formula for the number tn of rooted ternary trees with n nodes: {Anzeigestil {Start{ausgerichtet}t_{0}&=1\t_{n+1}&={frac {1}{6}}links(Summe _{a+b+c=n}t_{a}t_{b}t_{c}+3Summe _{a+2b=n}t_{a}t_{b}+2Summe _{3a=n}t_{a}Rechts)Ende{ausgerichtet}}} where a, b and c are nonnegative integers.

The first few values of {Anzeigestil t_{n}} sind 1, 1, 1, 2, 4, 8, 17, 39, 89, 211, 507, 1238, 3057, 7639, 19241 (sequence A000598 in the OEIS) Proof of theorem The simplified form of the Pólya enumeration theorem follows from Burnside's lemma, which says that the number of orbits of colorings is the average of the number of elements of {Anzeigestil Y^{X}} fixed by the permutation g of G over all permutations g. The weighted version of the theorem has essentially the same proof, but with a refined form of Burnside's lemma for weighted enumeration. It is equivalent to apply Burnside's lemma separately to orbits of different weight.

For clearer notation, Lassen {Anzeigestil x_{1},x_{2},Punkte } be the variables of the generating function f of {Anzeigestil Y} . Given a vector of weights {Anzeigestil Omega } , Lassen {Anzeigestil x^{Omega }} denote the corresponding monomial term of f. Applying Burnside's lemma to orbits of weight {Anzeigestil Omega } , the number of orbits of this weight is {Anzeigestil {frac {1}{|G|}}Summe _{Gin G}links|(Y^{X})_{Omega ,g}Rechts|} wo {Anzeigestil (Y^{X})_{Omega ,g}} is the set of colorings of weight {Anzeigestil Omega } that are also fixed by g. If we then sum over all possible weights, wir erhalten {Anzeigestil F(x_{1},x_{2},Punkte )={frac {1}{|G|}}Summe _{Gin G,Omega }x^{Omega }links|(Y^{X})_{Omega ,g}Rechts|.} Meanwhile a group element g with cycle structure {Anzeigestil j_{1}(g),j_{2}(g),Punkte ,j_{n}(g)} will contribute the term {Anzeigestil t_{1}^{j_{1}(g)}t_{2}^{j_{2}(g)}cdots t_{n}^{j_{n}(g)}} to the cycle index of G. The element g fixes an element {displaystyle phi in Y^{X}} if and only if the function φ is constant on every cycle q of g. For every such cycle q, the generating function by weight of |q| identical colors from the set enumerated by f is {displaystyle fleft(x_{1}^{|q|},x_{2}^{|q|},x_{3}^{|q|},ldots right).} It follows that the generating function by weight of the points fixed by g is the product of the above term over all cycles of g, d.h.

{Anzeigestil {Start{ausgerichtet}Summe _{Omega }x^{Omega }links|(Y^{X})_{Omega ,g}Rechts|&=prod _{q{Text{ cycle of }}g}geflogen(x_{1}^{|q|},x_{2}^{|q|},x_{3}^{|q|},ldots right)\&=f(x_{1},x_{2},Punkte )^{j_{1}(g)}geflogen(x_{1}^{2},x_{2}^{2},ldots right)^{j_{2}(g)}cdots fleft(x_{1}^{n},x_{2}^{n},ldots right)^{j_{n}(g)}Ende{ausgerichtet}}} Substituting this in the sum over all g yields the substituted cycle index as claimed.

See also Labelled enumeration theorem References Redfield, J. Howard (1927). "The Theory of Group-Reduced Distributions". Amerikanisches Journal für Mathematik. 49 (3): 433–455. doi:10.2307/2370675. JSTOR 2370675. HERR 1506633. Frank Harary; Ed Palmer (1967). "The Enumeration Methods of Redfield". Amerikanisches Journal für Mathematik. 89 (2): 373–384. doi:10.2307/2373127. JSTOR 2373127. HERR 0214487. G. Pucken (1937). "Kombinatorische Anzahlbestimmungen für Gruppen, Graphen und chemische Verbindungen". Zeitschrift für Mathematik. 68 (1): 145–254. doi:10.1007/BF02546665. G. Pucken; R. C. Read (1987). Combinatorial Enumeration of Groups, Grafiken, and Chemical Compounds. New York: Springer-Verlag. ISBN 0-387-96413-4. HERR 0884155. External links Applying the Pólya-Burnside Enumeration Theorem by Hector Zenil and Oleksandr Pavlyk, The Wolfram Demonstrations Project. Weißstein, Erich W. "Polya Enumeration Theorem". MathWorld. Frederic Chyzak Enumerating alcohols and other classes of chemical molecules, an example of Pólya theory. Kategorien: Enumerative combinatoricsGraph enumerationTheorems in combinatorics

Wenn Sie andere ähnliche Artikel wissen möchten Pólya enumeration theorem Sie können die Kategorie besuchen Enumerative combinatorics.

Geh hinauf

Wir verwenden eigene Cookies und Cookies von Drittanbietern, um die Benutzererfahrung zu verbessern Mehr Informationen