Sharof rashidov nomidagi

3- teorema. ta elementdan tadan gruppalashlar soni eng kattasi ga teng bo‘lgan ta ketma-ket natural sonlar ko‘paytmasining dastlabki ta natural sonlar ko‘paytmasiga nisbati kabidir: .
4- misol. Qurilish tashkilotining duradgorlar bo‘limida 15 nafar ishchi bor. Ko‘p qavatli uyning eshiklarini ta’mirlash uchun 3 nafar duradgorni tanlash zarur. Agar bo‘limdagi har bir duradgor bu topshiriqni bajarishga layoqatli bo‘lsa, bunday tanlash imkoniyatlari (variantlari) qancha?
Bo‘limdagi har bir duradgor ta’mirlash ishini bajarishga layoqatli bo‘lgani uchun, bu masalani hal qilishda gruppalashlar sonini topish formulasidan foydalanish mumkin. Bu yerda , va . Demak, 15 nafar duradgorlar orasidan 3 nafarini tanlash imkoniyatlari soni 455 ekan. ■
Agar ta’rif sifatida qabul qilinsa, ta elementdan tadan gruppalashlar soni uchun yuqorida keltirilgan formula bo‘lgan holda ham to‘g‘ri bo‘ladi: . Tabiiyki, ta elementdan barcha elementlarni o‘z ichiga oladigan faqat bitta gruppalash tashkil etish mumkin: .
Gruppalashlar sonini hisoblash uchun
,
ko‘rinishdagi formulalardan ham foydalanish mumkin. Bu formulalar quyidagi tengliklardan kelib chiqadi:

.
Ixtiyoriy natural soni uchun gruppalashlar soni bir qator xossalarga ega, masalan,
( ),
( ).
Haqiqatdan ham,
,



.

Gruppalashlarning barcha holatlarini ekranga chiqaruvchi dastur tuzamiz.

Biz python dasturlash tilida gruppalashlarni tayyor kutubxona (itertools) yordamida holatlarini aniqlashimiz yoki alohida funksiya yordamida ishlashimiz mumkin:
1) Tayyor itertools kutubxonasi yordamida:

from itertools import permutations

perm = permutations([1, 2, 3, 4], 2)

for i in list(perm):
print (i)