# Pólya'nın sayma teoremi
Pólya'nın sayma teoremi (Redfield – Pólya teoremi olarak da bilinir), bir küme üzerindeki bir grup davranışının yörünge sayısını veren Burnside önsavını izleyen ve genelleştiren bir kombinatorik teoremidir. Teorem; ilk olarak 1927 yılında J. Howard Redfield tarafından yayımlanmış, 1937'de ise teoremin ortaya çıkardığı sonuçları birçok sayma problemine, özellikle kimyasal bileşiklerin sayımına uygulayarak büyük ölçüde yaygınlaştıran George Pólya tarafından yeniden keşfedilmiştir.
Pólya'nın sayma teoremi, sembolik kombinatorik ve kombinatoryal türler teorisi bağlamında da çeşitli uygulama alanlarına sahiptir.


## Basitleştirilmiş, ağırlıksız versiyon.
"X," sonlu bir küme ve "G," "X" kümesinin permütasyonlarının grubu (ya da "X" kümesi üzerinde davranan sonlu bir simetri grubu) olsun. Bu durumda "X" kümesi, sonlu sayıda boncuktan oluşan bir yığını temsil edebilir ve "G", bu boncukların permütasyonlarından oluşan bir grup olabilir. Örneğin, "X" kümesi bir daire etrafındaki "n" adet boncuktan oluşan bir kolye ise bu küme üzerinde dönme simetrisi önem taşır. Bu nedenle "G," döngüsel grup "Cn" olur. Benzer şekilde, "X" kümesi bir daire etrafındaki "n" adet boncuktan oluşan bir bilezik ise bu küme üzerinde dönme ve yansıma simetrisi önem taşır. Bu nedenle "G," dihedral grup "Dn" olur. Bunun dışında, "Y'nin" sonlu sayıda renkten (boncukların renkleri) oluşan bir küme olduğunu varsayalım. Bu boncukların renkli düzenlemelerinin kümesi (başka bir deyişle, X →Y biçimindeki fonksiyonların kümesi), "YX" olsun. Bu durumda "G" grubu, "YX" kümesinin üzerinde davranır. Pólya'nın sayma teoremi, aşağıdaki formülle "G" grubunun "YX" kümesi üzerindeki davranışının yörünge sayısını hesaplayarak boncukların renkli düzenlemelerinin sayısını verir:
 |Y^X/G | = 1/∑_g ∈G m^c(g)
(m=|Y|, kullanılan renklerin sayısı ve "c"("g"), "G" grubunun bir "g" elemanının "X'in" permütasyonu olarak değerlendirilmesi durumunda bulundurduğu döngü sayısıdır).


## Tam, ağırlıklı versiyon.
Teoremin daha genel ve daha önemli olan versiyonunda, kullanılan renkler bir ya da daha fazla şekilde "ağırlıklandırılır" ve renklerden oluşan kümenin sonlu katsayılara sahip bir üretim fonksiyonuna sahip olması şartıyla sonsuz sayıda renk kullanılabilir. Kullanılan renklere verilen ağırlık değerlerinin sayısı, kümenin üretim fonksiyonunun değişken sayısını belirler. Tek değişkenli durumda,
 f(t) = f_0 + f_1 t + f_2 t^2 + ⋯
fonksiyonu, her "w" ≥ 0 tam sayısı için ağırlık değeri "w" olan "fw" adet renk bulunmak üzere renk kümesinin üretim fonksiyonu olur. Çok değişkenli durumda ise her rengin ağırlığı, doğal sayılardan oluşan bir vektördür. Bu şekildeki her 𝐚 = (w_1, w_2, …) vektörü için ağırlık değeri 𝐚 olan f_𝐚 adet renk bulunmak üzere
 f(t_1, t_2, …) = ∑_w_1, w_2, …∈ℕ f_𝐚 t_1^w_1 t_2^w_2⋯
fonksiyonu, renk kümesinin üretim fonksiyonu olur.
Teorem, döngü indeksi olarak adlandırılan çok değişkenli başka bir fonksiyon daha kullanır:
 Z_G(t_1,t_2,…,t_n) = 1/∑_g ∈G t_1^c_1(g) t_2^c_2(g) ⋯t_n^c_n(g)
"(n", "X" kümesinin eleman sayısı ve "ck(g)," "G" grubunun bir "g" elemanının "X'in" permütasyonu olarak değerlendirilmesi durumunda bulundurduğu k elemanlı döngü sayısıdır).
"X" kümesinin elemanı olan boncukların renkli bir düzenlemesi, "G" grubunun "YX" kümesi üzerindeki davranışının bir yörüngesidir. φ ∈ "YX" fonksiyonu, bu yörüngenin temsilci bir elemanı olmak üzere bu biçimdeki bir düzenlemenin "ağırlığı", her "x" ∈ "X" elemanı için φ("x") renklerinin ağırlıklarının toplamı olarak tanımlanır. Teorem, boncukların renkli düzenlemelerinin ağırlıklarına göre sayısını veren üretim fonksiyonunun aşağıdaki bağıntı ile verildiğini belirtir:
 F(t) = Z_G(f(t),f(t^2),f(t^3),…,f(t^n)).
Çok değişkenli durumda ise teorem, aşağıdaki gibi ifade edilebilir:
 F(t_1,t_2,…) = Z_G(f(t_1,t_2,…),f(t_1^2,t_2^2,…),f(t_1^3,t_2^3,…),…,f(t_1^n,t_2^n,…)).
Bu bağıntıyı daha önce verilen basitleştirilmiş versiyona indirgemek için, "m" adet rengin kullanıldığını ve her birinin ağırlığının 0 olduğunu kabul edebiliriz. O hâlde, "f"("t") = "m" ve
 |Y^X/G | =F(0)= Z_G(m,m,…,m) = 1/∑_g ∈G m^c(g).
Pólya'nın sayma teoreminin çizge kuramında ağaçlara ve kimyada açık halkalı moleküllere uygulanması sırasında, "boncukların" renkli bir düzenlemesi aslında bu yolla elde edilen düzenlemelerin bir düzenlemesi olarak kabul edilir. Böylece, renk kümesinin üretim fonksiyonu olan "f," "renkli" düzenlemelerin üretim fonksiyonu olan "F" fonksiyonundan türetilir ve Pólya'nın sayma teoremi, özyinelemeli bir formül hâline gelir.


## Örnekler.
### Renkli küpler.
Verilen "m" değişik renk kullanılarak bir küpün yüzleri boyanıyor. Küpün istenildiği kadar ve istenen istikametlerde döndürülmesiyle elde edilen herhangi iki boyama özdeş kabul edildiğinde bu boyama işleminin kaç farklı biçimde gerçekleştirilebileceğinin hesaplanması için Pólya'nın sayma teoreminin ağırlıksız versiyonu kullanılabilir.
"X", küpün yüzlerinden oluşan bir küme, "Y", "m" farklı renkten oluşan bir küme ve "G", küpün dönme simetrilerinden oluşan bir grup olsun. Teoremin bahsedilen probleme uygulanabilmesi için "G" grubunun her bir elemanının "X" kümesinin bir permütasyonu olarak değerlendirilmesi durumunda bulundurduğu döngü sayısı hesaplanmalıdır. Bu doğrultuda, "G" grubunun 24 elemanı aşağıdaki gibi beş gruba ayrılabilir:
  - Birim eleman:
 Bu şekilde yalnızca bir permütasyon bulunur ve döngü sayısı, "e" birim elemanı göstermek üzere, c(e) = 6 olarak verilir.
  - Yüzeylerin 90 derecelik dönme hareketleri:
 Bu permütasyonlar, seçilen bir yüzeyin ve onun karşısında bulunan yüzeyin merkezinden geçen bir eksen etrafında küpü döndürür. Bu şekilde altı permütasyon bulunur ve döngü sayıları, c(g) = 3 olarak verilir.
  - Yüzeylerin 180 derecelik dönme hareketleri:
 Bu permütasyonlar, küpü bir öncekine benzer şekilde hareket ettirir. Bu şekilde üç permütasyon bulunur ve döngü sayıları, c(g) = 4 olarak verilir.
  - Köşelerin 120 derecelik dönme hareketleri:
 Bu permütasyonlar, cisim köşegeni etrafında küpü döndürür. Bu şekilde sekiz permütasyon bulunur ve döngü sayıları, c(g) = 2 olarak verilir.
  - Kenarların 180 derecelik dönme hareketleri:
 Bu permütasyonlar, birbirine paralel olup aynı yüzeyde bulunmayan iki kenarın orta noktalarını birleştiren bir eksen etrafında küpü döndürür. Bu şekilde altı permütasyon bulunur ve döngü sayıları, c(g) = 3 olarak verilir.
Bu değerler, Pólya'nın sayma teoreminde yerine konulduğunda
 |Y^X/G | = 1/24(m^6+ 3m^4 + 12m^3 + 8m^2)
farklı boyamanın gerçekleştirilebileceği sonucuna ulaşılır.


### Eşyapılı olmayan basit çizgeler.
Çizge kuramında bir basit çizge, herhangi bir döngüsü veya aynı iki köşeyi birleştiren birden fazla kenarı bulunmayan bir yönsüz çizge olarak tanımlanır. Belirli bir sayıda bulunan köşeler birleştirilerek eşyapılı olmayan kaç adet basit çizge oluşturulabileceğinin hesaplanması için Pólya'nın sayma teoreminin ağırlıksız versiyonu kullanılabilir.
Bir basit çizgeyi, kenarların renkli bir düzenlemesi olarak yorumlamak mümkündür. "m" adet köşeden oluşan bir basit çizge için "X", çizilebilecek m2 adet kenardan oluşan bir küme, "Y" = {siyah, beyaz} kümesi ise bu kenarların görünüp görünmeyeceğini belirleyen bir renk kümesi olsun. G = S_m simetrik grubu, "X" kümesinin üzerinde davranır: "G" kümesinin elemanı olan bir "φ" permütasyonu, {"a, b"} biçimindeki bir kenarı {"φ(a), φ(b)"} kenarına dönüştürür. Buna göre, "m" kenarlı basit çizgelerden oluşan bir eşyapı sınıfı, "G" grubunun "YX" kümesi üzerindeki davranışının bir yörüngesi olur. Bu grubun her bir elemanının "X" kümesinin bir permütasyonu olarak değerlendirilmesi durumunda bulundurduğu döngü sayısı teoremde yerine konulduğunda istenen sonuca ulaşılır.
Bir simetrik grup elemanının döngü sayısı, o elemanın bulunduğu eşlenik sınıfına bağlıdır. Bu nedenle eşyapılı olmayan "m" köşeli basit çizgelerin sayısını bulmak için, verilen "m" değerine göre "Sm" grubunun eşlenik sınıflarının incelenmesi gerekir. Örneğin, "m" = 3 alındığında "S3" grubunun elemanları aşağıdaki gibi incelenebilir:
   - YÖNLENDİRME döngü tipi:
 Bu şekilde iki permütasyon bulunur ve bu permütasyonlar, "X" kümesinin her bir elemanını bir diğerine dönüştürebilir. Bu nedenle bu permütasyonların döngü sayısı 1 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde üç permütasyon bulunur ve bu permütasyonlar, kenarlardan birini sabit tutarken diğerlerini birbirine dönüştürür. Bu nedenle bu permütasyonların döngü sayısı 2 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde bir permütasyon bulunur ve bu permütasyon bütün kenarları sabit tutar. Bu nedenle bu permütasyonun döngü sayısı 3 olur.
Bu değerler, Pólya'nın sayma teoreminde yerine konulduğunda
 |Y^X/G | = 1/6(2·2^1 + 3·2^2 + 2^3) = 4
adet eşyapılı olmayan "m" köşeli basit çizge olduğu sonucu elde edilir. Bu eşyapı sınıfları, sağda gösterilmiştir.
Benzer işlemler, "m" = 4 değeri için de tekrarlanabilir:
   - YÖNLENDİRME döngü tipi:
 Bu şekilde 6 permütasyon bulunur ve bu permütasyonlar, "X" kümesinin elemanlarını biri dört elemanlı, diğeri iki elemanlı olan iki farklı döngüye ayırır. Bu nedenle bu permütasyonların döngü sayısı 2 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde 8 permütasyon bulunur ve bu permütasyonlar, "X" kümesinin elemanlarını üç elemanlı iki farklı döngüye ayırır. Bu nedenle bu permütasyonların döngü sayısı 2 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde 3 permütasyon bulunur ve bu permütasyonlar, kenarlardan iki tanesini sabit tutarken diğer kenarları iki elemanlı iki farklı döngüye ayırır. Bu nedenle bu permütasyonların döngü sayısı 4 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde 6 permütasyon bulunur ve bu permütasyonlar, kenarlardan iki tanesini sabit tutarken diğer kenarları iki elemanlı iki farklı döngüye ayırır. Bu nedenle bu permütasyonların döngü sayısı 4 olur.
   - YÖNLENDİRME döngü tipi:
 Bu şekilde bir permütasyon bulunur ve bu permütasyon bütün kenarları sabit tutar. Bu nedenle bu permütasyonun döngü sayısı 6 olur.
Bu değerler, Pólya'nın sayma teoreminde yerine konulduğunda
 |Y^X/G | = 1/24(6·2^2 + 8·2^2 + 3·2^4 + 6·2^4 + 2^6) = 11
adet eşyapılı olmayan "m" köşeli basit çizge olduğu sonucu elde edilir. Bu eşyapı sınıfları, sağda gösterilmiştir.
Eşyapılı olmayan basit çizgelerin sayısı incelenirken Pólya'nın sayma teoreminin ağırlıklı versiyonu da kullanılabilir. Böylece, söz konusu çizgeleri kenar sayısına göre sınıflandıran bir üretim fonksiyonu elde edilebilir. Bunun için, siyah renge boyanan (görünen) bir kenarın ağırlığının 1, beyaz renge boyanan (görünmeyen) bir kenarın ağırlığının ise 0 olduğunu söyleyebiliriz. Bu durumda bir çizgenin kenar sayısı, o çizgeye karşılık gelen renkli düzenlemenin ağırlığına eşit olur. Ayrıca, verilen ağırlık değerleri için "f0" = 1 ve "f1" = 1 olur. Bu durumda renk kümesinin üretim fonksiyonu, f(t)=1+t olarak yazılabilir.
Üç köşeli basit çizgeler için, 32 = 3 kenardan oluşan "X" kümesi üzerinde davranan "S3" grubunun döngü indeksi, yukarıdaki inceleme göz önünde bulundurularak şu şekilde ifade edilebilir:
 Z_G(t_1,t_2,t_3) = 1/6 (t_1^3 + 3 t_1 t_2 + 2 t_3)
Böylece, istenen üretim fonksiyonu aşağıdaki gibi elde edilebilir:
 F(t) amp;= Z_G(t+1,t^2+1,t^3+1) 
 amp;= 1/6((t+1)^3 + 3 (t+1) (t^2+1) + 2 (t^3+1)) 
 amp;= t^3+t^2+t+1.
Dört köşeli basit çizgeler için ise 42 = 6 kenardan oluşan "X" kümesi üzerinde davranan "S4" grubunun döngü indeksi, yukarıdaki inceleme göz önünde bulundurularak şu şekilde ifade edilebilir:
 Z_G(t_1,t_2,t_3,t_4) = 1/24(t_1^6 + 9 t_1^2 t_2^2 + 8 t_3^2 + 6 t_2 t_4)
Böylelikle,
 F(t) amp;= Z_G (t+1,t^2+1,t^3+1,t^4+1) 
 amp;= 1/24((t+1)^6 + 9 (t+1)^2 (t^2+1)^2 + 8 (t^3+1)^2 + 6 (t^2+1) (t^4+1)) 
 amp;= t^6 + t^5 + 2 t^4 + 3 t^3 + 2 t^2 + t + 1
olduğu sonucuna varılabilir.


### Kolye ve bilezikler.
#### Kolyeler.
Kombinatorikte, "n" uzunluğunda bir "k'lı kolye", "k" elemanlı bir alfabe ile oluşturulan "n" karakterli dizelerin her bir döngüsel ötelemesinin bir diğerine denk kabul edilmesiyle oluşan bir denklik sınıfı olarak tanımlanır. Bu denklik sınıfları, "k" farklı renkle boyanabilen "n" adet boncuğun bir çember etrafına dizilmesiyle oluşan yapıları temsil eder. Bu tanımdan yola çıkılarak bir "kolye", bir döngüsel grubun "n" karakterli dizeler üzerindeki davranışının bir yörüngesi olarak kabul edilebilir.
"X", "n" adet boncuktan oluşan bir küme; "Y", "k" farklı renkten oluşan bir küme ve "G", döngüsel grup "Cn" olsun. Birbirinden farklı, "n" uzunluğundaki "k'lı kolyelerin" sayısını "Nk(n)" ile gösterelim. Bu değerin hesaplanması için Pólya'nın sayma teoreminin ağırlıksız versiyonu kullanılabilir. Bunun için, "G" grubunun her bir elemanının "X" kümesinin bir permütasyonu olarak değerlendirilmesi durumunda bulundurduğu döngü sayısının hesaplanması gerekir. "G" grubu, üretici elemanı da kullanılarak "G" = ⟨"g"⟩ biçiminde ifade edilebilir. "z" ∈ ℤ olmak üzere "G" grubunun bir "gz" elemanının derecesi, |"gz"| = "x" olarak verilirse "e = gn" olmak üzere "gxz" "= e" olur. Bu durumda n |xz olur. O hâlde,
 xz ≡0 n,
 x(z/ebob(n,z)) ≡0 n/ebob(n,z)
yazılabilir. Bu koşulu sağlayan en küçük "x" pozitif tam sayısı, n/ebob(n,z) olacaktır. Bu nedenle |g^z| = n/ebob(n,z) olur. "G" grubunun her bir elemanı, "n" elemanlı "X" kümesinin bir permütasyonu olarak değerlendirileceği için, grubun üretici elemanı olan "g'nin" "n" elemanlı bir döngüsel permütasyon olması gerekir. Bu noktadan hareketle, c(g^z) = ebob(n,z) olarak bulunur. Böylece,
 |Y^X/G | = 1/n∑_z=0^n-1 k^ebob(n,z)
eşitliği elde edilir.
Bu sonuçtan daha kullanışlı bir bağıntının elde edilmesi için, "z" ∈ {0, 1, ..., "n"-1} olmak üzere d = ebob(n,z) denkleminin çözümlerinin sayısı hesaplanmalıdır. Bu ifade, ebob(n/d, z/d) = 1 denklemi ile aynı anlama gelmektedir. Buradan, denklemin çözüm sayısının φ(n/d) olduğu anlaşılır (φ, Euler'in fi fonksiyonunu göstermektedir.). Buna göre,
 N_k(n)=1/n∑_d|nφ(n/d)k^d=1/n∑_d|nφ(d)k^n/d
olduğu sonucuna varılabilir.
Bu bağıntı yoluyla, kullanılan boncuk ve renk sayısı bilinen bir kolyenin kaç farklı şekilde oluşturulabileceğini hesaplamak mümkündür. Fakat hangi rengin kaç defa kullanıldığının bilindiği durumlarda Pólya'nın sayma teoreminin ağırlıklı versiyonu kullanılarak renkli boncuklardan oluşan her bir çoklu küme için kaç farklı kolye oluşturulabileceğini gösteren bir üretim fonksiyonunun elde edilmesi gerekir. Bu fonksiyonu "Nn,k(t"1, "t"2, ...")" ile gösterelim. Yukarıda belirtildiği üzere, "G" = ⟨"g"⟩ ve "z" ∈ ℤ olmak üzere c(g^z) = ebob(n,z) olur. "G" grubunun bir "gz" elemanı, aynı zamanda "X" kümesinin bir permütasyonu olduğu için x = n/ebob(n,z) durumunda c_x(g^z) = ebob(n,z) ve "x" tam sayısının bundan farklı herhangi bir değeri için c_x(g^z) = 0 olur.
Bunun dışında, 1 < "i" ≤ "k" aralığındaki her "i" tam sayısı için "ri" ifadesi bir rengi temsil etmek üzere "Y =" {"r1, r2, ..., rk"} yazılabilir. Bu kümenin her bir elemanı için, 𝐚_1=(1,0,⋯,0), 𝐚_2=(0,1,0,⋯,0), …, 𝐚_k=(0,⋯,0,1) olmak üzere w(r_i)=𝐚_i biçiminde bir ağırlık değeri tanımlandığında elde edilecek olan üretim fonksiyonu, oluşabilecek kolyelerin sayısını renklerin kullanım sayısına göre gruplandırır. Bu durumda, her ağırlık değeri ("w") için "fw" = 1 olur. Buna göre,
 f(t_1, t_2, …) = t_1 + t_2 + ⋯
yazılabilir. Böylece, istenen üretim fonksiyonu aşağıdaki gibi elde edilebilir:
 N_n,k(t_1, t_2, …) amp;= Z_G((t_1+t_2+⋯), (t_1^2+t_2^2+⋯), …, (t_1^n+t_2^n+⋯))
 amp;= 1/∑_g ∈ G (t_1+t_2+⋯)^c_1(g) (t_1^2+t_2^2+⋯)^c_2(g)⋯ (t_1^n+t_2^n+⋯)^c_n(g)
 amp;= 1/n∑_z=0^n-1 (t_1+t_2+⋯)^c_1(g^z) (t_1^2+t_2^2+⋯)^c_2(g^z)⋯ (t_1^n+t_2^n+⋯)^c_n(g^z)
 amp;= 1/n∑_d| n (t_1^n/d+t_2^n/d+⋯)^d φ(n/d)
 amp;= 1/n∑_d| n (t_1^d+t_2^d+⋯)^n/dφ(d).


#### Bilezikler.
Kombinatorikte, "n" uzunluğunda bir "k'lı bilezik", "k" elemanlı bir alfabe ile oluşturulan "n" karakterli dizelerin her bir döngüsel ötelemesinin ve yansımasının bir diğerine denk kabul edilmesiyle oluşan bir denklik sınıfı olarak tanımlanır (Bu durumda her bir dize, tersten yazılmış hâli ile aynı denklik sınıfında bulunur). Bu denklik sınıfları, "kolyelerin" temsil ettiği yapıların belli bir eksen etrafındaki yansımalarının birbirine denk kabul edilmesiyle somutlaştırılabilir. Bu tanımdan yola çıkılarak bir "bilezik", bir dihedral grubun "n" karakterli dizeler üzerindeki davranışının bir yörüngesi olarak kabul edilebilir.
"X", "n" adet boncuktan oluşan bir küme; "Y", "k" farklı renkten oluşan bir küme ve "G", dihedral grup "Dn" olsun. Birbirinden farklı, "n" uzunluğundaki "k'lı bileziklerin" sayısını "Bk(n)" ile gösterelim. Bu değerin hesaplanması için, kolyelerde de olduğu gibi, Pólya'nın sayma teoreminin ağırlıksız versiyonu kullanılabilir. "G = Dn" grubu, "n" kenarlı bir düzgün çokgene ait "n" adet dönme simetrisi ve "n" adet yansıma simetrisinden oluşmaktadır. Bu çokgenin saat yönünde #YÖNLENDİRME derecelik bir dönüşünü, "a" elemanı ile gösterelim. Benzer şekilde, çokgenin her bir yansıma simetrisini "s1, s2, ..., sn" elemanları ile gösterelim. Bu durumda "G" grubunu, "a0 = e" olmak üzere "G" = ({"e, a, a2, ..., an, s1, s2, ..., sn"}, ∘) biçiminde ifade edebiliriz (∘, fonksiyonların bileşke işlemini göstermektedir).
Bir önceki bölümde belirtildiği üzere, "z" ∈ ℤ olmak üzere c(a^z) = ebob(n,z) olur. Yansıma simetrisini gösteren elemanlar için ise simetri eksenlerinin düzgün çokgene ait köşe ve kenarları birbirine bağlama durumuna göre aşağıdaki eşitlik geçerli olur:
 c(s_z) = 
(n+1)/2 amp; n tek ise 
n/2 amp; n çift ve z tek ise 
(n+2)/2 amp; n çift ve z çift ise
Böylelikle, şu sonuca ulaşılabilir:
 |Y^X/G | amp;= 1/2n(∑_z=0^n-1 k^ebob(n,z) + ∑_z=1^n k^c(s_z)) 
 amp;= 1/2 N_k(n) + 1/2n∑_z=1^n k^c(s_z),
dolayısıyla
 B_k(n) = 
12 N_k(n) + 14 (k+1)k^n/2 amp; n çift ise 
12 N_k(n) + 12 k^n+1/2 amp; n tek ise.
Kolyelerde olduğu gibi bileziklerde de bu yolla ulaşılan bir bağıntı, yalnızca kullanılan boncuk ve renk sayısının bilindiği durumlarda istenen sonucu verir. Renkli boncuklardan oluşan her bir çoklu kümeden kaç farklı bilezik oluşturulabileceğini gösteren bir üretim fonksiyonunun elde edilmesi için Pólya'nın sayma teoreminin ağırlıklı versiyonu kullanılmalıdır. Bu fonksiyonu "Bn,k(t1, t2, ...)" ile gösterelim. Bir önceki bölümde belirtildiği üzere, "z" ∈ ℤ olmak üzere "G" grubunun bir "az" elemanı, aynı zamanda "X" kümesinin bir permütasyonu olduğu için x = n/ebob(n,z) durumunda c_x(a^z) = ebob(n,z) ve "x" tam sayısının bundan farklı herhangi bir değeri için c_x(a^z) = 0 olur. Yansıma simetrisini gösteren elemanların bulundurduğu döngüler ise ya bir ya da iki elemanlı olacaktır. Bu durumda aşağıdaki eşitlik geçerli olur:
 c_x(s_z) = 
1 amp; n tek ve x = 1 ise 
(n-1)/2 amp; n tek ve x = 2 ise 
n/2 amp; n çift, z tek ve x = 2 ise 
2 amp; n çift, z çift ve x = 1 ise 
(n-2)/2 amp; n çift, z çift ve x = 2 ise
Kullanılan renklerin ağırlıklandırılması, kolyelerdekine benzer şekilde gerçekleştirilebilir: 𝐚_1=(1,0,⋯,0), 𝐚_2=(0,1,0,⋯,0), …, 𝐚_k=(0,⋯,0,1) olmak üzere "Y =" {"r1, r2, ..., rk"} kümesinin her bir elemanı için w(r_i) = 𝐚_i olsun. Bu durumda, her ağırlık değeri ("w") için "fw" = 1 olur. Buna göre,
 f(t_1, t_2, …) = t_1 + t_2 + ⋯
yazılabilir. Böylece, istenen üretim fonksiyonu aşağıdaki gibi elde edilebilir:
 B_n,k(t_1, t_2, …) amp;= Z_G((t_1+t_2+⋯), (t_1^2+t_2^2+⋯), …, (t_1^n+t_2^n+⋯))
 amp;= 1/∑_g ∈ G (t_1+t_2+⋯)^c_1(g) (t_1^2+t_2^2+⋯)^c_2(g)⋯ (t_1^n+t_2^n+⋯)^c_n(g)
 amp;= 1/2 N_n,k(t_1, t_2, …) + 1/2n∑_z=1^n (t_1+t_2+⋯)^c_1(s_z) (t_1^2+t_2^2+⋯)^c_2(s_z),
dolayısıyla
 B_n,k(t_1, t_2, …) = 
12 N_n,k(t_1, t_2, …) + 12 (t_1+t_2+⋯)(t_1^2+t_2^2+⋯)^n-1/2 amp; n tek ise 
12 N_n,k(t_1, t_2, …) + 14 ((t_1+t_2+⋯)^2(t_1^2+t_2^2+⋯)^n-2/2 + (t_1^2+t_2^2+⋯)^n/2) amp; n çift ise.


### Köklü üçlü ağaçlar.
Çizge kuramında bir köklü ağaç, bir köşesi "kök" olarak belirlenmiş bir ağaç olarak tanımlanır. Üçlü ağaç ise, her bir köşesi tam olarak üç adet alt köşeye sahip olan ("düğüm") ya da hiçbir alt köşeye sahip olmayan ("yaprak") ağaçların ismidir. Pólya'nın sayma teoremi, belli bir düğüm sayısına sahip kaç adet eşyapılı olmayan köklü üçlü ağaç oluşturulabileceğini hesaplamada kullanılabilir. Bir köklü ağaç, başka bir köklü ağacın düğümlerinin alt köşelerinin dizilimlerinin değiştirilmesiyle elde edilebiliyorsa bu iki ağaç eşyapılı olur. Buna göre, köklü bir üçlü ağacın bir düğümünün alt köşeleri üzerinde davranan grup, "S3" simetrik grubu olur. Bu grubun döngü indeksi,
 Z_S_3(t_1,t_2,t_3) = 1/6 (t_1^3 + 3 t_1 t_2 + 2 t_3)
olarak yazılabilir.
Bir köklü üçlü ağaç, ya bir yaprak ya da her biri yine bir köklü üçlü ağaç olan üç adet alt köşesi bulunan bir düğüm olarak değerlendirilebilir. Pólya'nın sayma teoremi, köklü üçlü ağaçların bu özyinelemeli yapısını fonksiyonel bir eşitliğe çevirir. Bunun için, bir köklü üçlü ağacın ağırlık değerini bu ağacın düğümlerinin sayısı olarak tanımlayalım. Eşyapılı olmayan köklü üçlü ağaçların sayısını düğümlerinin sayısına göre veren üretim fonksiyonu, "F(t)" olsun. Bir düğümün sahip olduğu üç alt köşeyi, düğüm sayısı ile ağırlıklandırılmış köklü üçlü ağaçlar ile "boyadığımızda" yeni bir köklü üçlü ağaç elde ederiz. Bu nedenle, renk kümesinin üretim fonksiyonu f(t) = F(t) olur. Bu durumda Pólya'nın sayma teoremi,
F(t)^3 + 3 F(t)F(t^2) + 2 F(t^3)/6
ifadesini köklü üçlü ağaçların üretim fonksiyonu olarak verir. Ancak bu işlem sırasında ağacın "kökü" hesaba katılmadığı için bu fonksiyon ile üretilen bir köklü üçlü ağacın ağırlık değeri, olması gerekenden bir eksik bulunur. Bu nedenle,
F(t) = 1 + t/6 ·(F(t)^3 + 3 F(t)F(t^2) + 2 F(t^3))
olur. Bu ifade, "n" düğümlü köklü üçlü ağaçların sayısını veren "tn" dizisi için a, b ve c sayıları negatif olmayan tam sayılar olmak üzere aşağıda verilen özyinelemeli bağıntıya denktir:
 t_0 amp;= 1 
 t_n+1 amp;= 1/6(∑_a+b+c=n t_a t_b t_c + 3∑_a+2b=n t_a t_b + 2 ∑_3a=n t_a )
Bu dizinin ilk birkaç terimi aşağıdaki gibidir:
1, 1, 1, 2, 4, 8, 17, 39, 89, 211, 507, 1238, 3057, 7639, 19241 (OEIS'de dizisi)


## Teoremin ispatı.
Teoremin ağırlıksız versiyonunun ispatı, bir küme üzerindeki bir grup davranışının yörünge sayısını veren Burnside önsavı kullanılarak yapılabilir. Burnside önsavı, bir "X" kümesinin üzerinde davranan bir "G" grubu için aşağıdaki biçimde ifade edilebilir:
(X^g, "X" kümesinin "G" grubuna ait bir "g" elemanı tarafından sabitlenen elemanlarından oluşan kümedir).
"YX" kümesinin bir elemanının X kümesinin bir permütasyonu tarafından sabitlenmesi için, aynı döngüdeki her bir elemanın aynı renge sahip olması gerekir. Bu nedenle,
 |(Y^X)^g| = |Y|^c(g)
olur. Burnside önsavı, bu bilgi de kullanılarak "G" grubunun "YX" kümesi üzerindeki davranışına uygulandığında m = |Y| olmak üzere,
 |Y^X/G | = 1/∑_g ∈G m^c(g)
sonucuna ulaşılır.
Teoremin ağırlıklı versiyonunun ispatında, "f" ve "F" üretim fonksiyonları aşağıdaki gibi ifade edilecektir:
 ω= (w_1, w_2, …), bir ağırlık vektörüdür.
 f_ω, ağırlığı ω olan renklerin sayısıdır.
 m_ω, ağırlığı ω olan birbirinden farklı renkli düzenlemelerin sayısıdır.
 t^ω = t_1^w_1 t_2^w_2 ⋯ olarak tanımlanıyor.
 f(t_1, t_2, …) = ∑_w_1, w_2, …∈ℕ f_ω t^ω.
 F(t_1, t_2, …) = ∑_w_1, w_2, …∈ℕ m_ω t^ω.
Bir ω ağırlık vektörü için m_ω değerinin hesaplanmasında Burnside önsavı kullanılabilir. (Y^X)_ω kümesi, ağırlığı ω olan renkli düzenlemelerin kümesi olmak üzere,
 m_ω = |(Y^X)_ω/G| = 1/∑_g ∈G |(Y^X)_ω^g|
olur. Bu durumda,
 F(t_1, t_2, …) = 1/∑_g ∈G, ω t^ω |(Y^X)_ω^g|
yazılabilir.
"YX" kümesinin bir elemanının X kümesinin bir permütasyonu tarafından sabitlenmesi için, aynı döngüdeki her bir elemanın aynı renge sahip olması gerekir. Bu nedenle, bir "g" ∈ "G" elemanının her bir döngüsü ("q") için yapılabilecek boyamaları ağırlığına göre veren üretim fonksiyonu
f(t_1^, t_2^, t_3^, …) = ∑_w_1, w_2, …∈ℕ f_ω t_1^w_1|q| t_2^w_2|q| ⋯
olur. Buna göre,
 ∑_ω t^ω|(Y^X)_ω^g| amp;= ∏_q döngüsüdür g f (t_1^, t_2^, t_3^,…) 
 amp;= f(t_1, t_2, …)^c_1(g) f (t_1^2, t_2^2, …)^c_2(g)⋯ f (t_1^n, t_2^n, …)^c_n(g)
eşitliği sağlanır. Böylece,
 F(t_1, t_2, …) amp;= 1/∑_g ∈ G f(t_1, t_2, …)^c_1(g) f (t_1^2, t_2^2, …)^c_2(g)⋯ f (t_1^n, t_2^n, …)^c_n(g)
 amp;= Z_G(f(t_1,t_2,…),f(t_1^2,t_2^2,…),f(t_1^3,t_2^3,…),…,f(t_1^n,t_2^n,…))
olduğu sonucuna ulaşılır.