نسخهای که میبینید نسخهای قدیمی از صفحه است که توسط Mrddjdd(بحث | مشارکتها) در تاریخ ۲۲ ژوئن ۲۰۲۳، ساعت ۲۱:۴۳ ویرایش شده است. این نسخه ممکن است تفاوتهای عمدهای با نسخهٔ فعلی داشته باشد.
نسخهٔ ویرایششده در تاریخ ۲۲ ژوئن ۲۰۲۳، ساعت ۲۱:۴۳ توسط Mrddjdd(بحث | مشارکتها)
This is a quick summary of what the different cases mean. The cases are described in detail below.
Think of a set of X numbered items (numbered from 1 to x), from which we choose n, yielding an ordered list of the items: e.g. if there are items of which we choose , the result might be the list (5, 2, 10). We then count how many different such lists exist, sometimes first transforming the lists in ways that reduce the number of distinct possibilities.
Then the columns mean:
Any f
After we choose an item, we put it back, so we might choose it again.
Injective f
After we choose an item, we set it aside, so we can't choose it again; hence we'll end up with n distinct items. Necessarily, then, unless , no lists can be chosen at all.
Surjective f
After we choose an item, we put it back, so we might choose it again — but at the end, we have to end up having chosen each item at least once. Necessarily, then, unless , no lists can be chosen at all.
And the rows mean:
Distinct
Leave the lists alone; count them directly.
Sn orbits
Before counting, sort the lists by the item number of the items chosen, so that order doesn't matter, e.g., (5, 2, 10), (10, 2, 5), (2, 10, 5) → (2, 5, 10).
Sx orbits
Before counting, renumber the items seen so that the first item seen has number 1, the second 2, etc. Numbers may repeat if an item was seen more than once, e.g., (3, 5, 3), (5, 2, 5), (4, 9, 4) → (1, 2, 1) while (3, 3, 5), (5, 5, 3), (2, 2, 9) → (1, 1, 2).
Sn × Sx orbits
Two lists count as the same if it is possible to both reorder and relabel them as above and produce the same result. For example, (3, 5, 3) and (2, 9, 9) count as the same because they can be reordered as (3, 3, 5) and (9, 9, 2) and then relabeling both produces the same list (1, 1, 2).
For example, if n = 10 and k = 4, the theorem gives the number of solutions to x1 + x2 + x3 + x4 = 10 (with x1, x2, x3, x4) as:
for , and the signed Lah numbers are related to them by .
For example, the number of distinct anagrams of the word MISSISSIPPI is:[۳]
.
A k-permutation of a multiset M is a sequence of length k of elements of M in which each element appears a number of times less than or equal to its multiplicity in M (an element's repetition number).
توپهای آمیخته
(n1 در جعبه اول
(n2 در جعبه دوم ... )
بدون محدودیت
حداکثر یکی
حداکثر rتا
دقیقاْ یکی
حداقل یکی
حداقل rتا
..
..
..
..
..
..
.
.
مجموع niها=n
مجموع niها=r و r<n
مجموع niها=r و r>n
توپها
جعبهها
ترتیب مهم نباشد
ترتیب مهم باشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم باشد
ترتیب مهم نباشد
گنجایش هر جعبه دقیقاْ معلوم باشد
گنجایش هر جعبه دقیقاْ معلوم نباشد
گنجایش همه جعبه مساوی باشد
متمایز
متمایز
تابع
f متمایز
مثال
مثال
مثال
ابتدا انتخاب r از n × افراز مورد نظر/ اصل جمع
0
مشابه
متمایز
چندمجموعه
Sn orbits f ∘ Sn
متمایز
مشابه
افراز مجموعهها
Sk orbits Sk ∘ f
..
مثال
مثال
مشابه
مشابه
افراز عدد صحیح
Sn×Sk orbits Sk ∘ f ∘ Sn
تعداد راههای توزیع و تقسیم n توپ در k جعبه
N → X :ƒ
تعبیر عمل
کلاسبندی هر حالت
توزیع توپها : گنجایش هر جعبه ثابت نباشد
تقسیم توپها : گنجایش هر جعبه ثابت نباشد
جعبهها میتوانند خالی بمانند
هیچ جعبهای خالی نماند
توپهای آمیخته (n1 توپ ر جعبه اول (n2 توپ در جعبه دوم ... )
بدون محدودیت
حداکثر یکی
حداکثر rتا
دقیقاْ یکی
حداقل یکی
حداقل rتا
مجموع niها=n
مجموع niها=r و r<n
مجموع niها=r و r>n
شرط همگروهیها
..
..
..
..
..
..
.
.
گنجایش هر جعبه دقیقاْ معلوم باشد
گنجایش هر جعبه دقیقاْ معلوم نباشد
توپها
جعبهها
ترتیب مهم نباشد
ترتیب مهم باشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم نباشد
ترتیب مهم باشد
ترتیب مهم نباشد
گنجایشهای غیر مساوی
برخی از گنجایشها مساوی
گنجایشهای مساوی
گنجایشهای غیر مساوی
برخی از گنجایشها مساوی
گنجایشهای مساوی
متمایز
متمایز
تابع
f متمایز
ابتدا انتخاب r از n × افراز مورد نظر/ اصل جمع
0
مهم نباشد
مشابه
متمایز
چندمجموعه
Sn orbits f ∘ Sn
متمایز
مشابه
افراز مجموعهها
Sk orbits Sk ∘ f
..
مهم باشد
مشابه
مشابه
افراز عدد صحیح
Sn×Sk orbits Sk ∘ f ∘ Sn
Example:
در ترکیبیات، بسیاری از مسائل شمارشی را میتوان برحسب "تعداد راههای توزیع توپها در جعبهها" بیان کرد.
این مُدل دارای ۴ حالت زیر میباشد:
الف) تعداد راههای توزیع n توپ متمایز در k جعبه متمایز
ب) تعداد راههای توزیع n توپ یکسان در k جعبه متمایز
ج) تعداد راههای توزیع n توپ متمایز در k جعبه یکسان
د) تعداد راههای توزیع n توپ یکسان در k جعبه یکسان
نامهای دیگر
مدل توزیع اشیاء در ظرفها
مدل توزیع گویها در کیسهها
مفهوم یکسان و متمایز بودنویرایش
منظور از یکسان بودن توپها:
۱- فقط توپهای قرار گرفته در هر جعبه مهم است.
۲- ارزش و ماهیت توپها یکسان است.(جابجایی یک توپ از یک جعبه با توپ دیگر از جعبه دیگر، حالت جدیدی را ایجاد نمیکند.)
منظور از متمایز بودن توپها:
۱- هم توپهای قرار گرفته در هر جعبه مهم است و هم ارزش و ماهیت توپهای قرار گرفته در هر جعبه.
منظور از یکسان بودن جعبهها:
۱- برای هر توپ فقط همگروهیهای آن مهم است.
۲- ارزش و ماهیت جعبهها یکسان است.
منظور از متمایز بودن جعبهها:
۱- برای هر توپ، هم همگروهیهای آن مهم است و هم جعبهای که در آن قرار گرفته است.
قرارداد:
۱- همواره انسانها را متمایز فرض میکنیم. (مگر اینکه ذکر شود "ارزش افراد یکسان است"، و یا "فقط افراد قرار گرفته در هر محل مهم است")
۲-همواره حیوانات و میوهها را یکسان فرض میکنیم.
۳- مکانهای فیزیکی در یک مختصات منحصر به فرد قرار گرفتهاند و متمایز فرض میشوند.( مگر اینکه ذکر شود "فقط همگروهیهای آن مهم است و نه محلی که در آن قرار میگیرد.")
۴- وقتی صحبت از "تیمهای بدون نام و نشان" میشود، تقسیمبندی افراد مطرح است. به عبارت دیگر، میخواهیم توپهای متمایز را در جعبههای یکسان قرار دهیم.
تشکیل جدول
در ترکیبیات، طبقهبندیهای منظمی از مسائل شoمارشی(شامل مسائل کلاسیک شمارش جایگشتها، ترکیبها، مجموعههای چندگانه و افراز یک مجموعه) ابداع شده است:
روش راههای دوازدهگانه:
این طبقهبندی منظم از ۱۲ مسئله شمارشی در مورد دو مجموعه محدود است. ایده این طبقهبندی به Gian_Carlo_Rota نسبت داده شده است وop نام آن توسط جوئل اسپنسر پیشنهاد شده است.
روش راههای بیستگانه:
این طبقهبندی، تعمیم روش دوازدهگانه میباشد که توسط کنت پی.بوگارت در کتاب خود "ترکیب از طریق کشف هدایت شده" ارائه شده است.
حالت اول
Nn-set
Xx-set.
f متمایز
1...........
۲..............
۳........
۴..............
۵
۶
حالت دوم
1
۲
۳
۴
۵
۶
حالت سوم
1
۲
۳
۴
۵
۶
حالت چهارم
1
۲
۳
۴
۵
۶
k
n
0
1
2
3
4
5
6
7
8
9
10
0
1
1
0
1
2
0
1
1
3
0
1
3
1
4
0
1
7
6
1
5
0
1
15
25
10
1
6
0
1
31
90
65
15
1
7
0
1
63
301
350
140
21
1
8
0
1
127
966
1701
1050
266
28
1
9
0
1
255
3025
7770
6951
2646
462
36
1
10
0
1
511
9330
34105
42525
22827
5880
750
45
1
↑Lah, Ivo (1954). "A new kind of numbers and its application in the actuarial mathematics". Boletim do Instituto dos Actuários Portugueses. 9: 7–15.