ترکیبیات: چرا و چگونه؟
ایده اصلی: به جای شمارش تکتک حالتها، ساختار مسئله را ببین و از فرمول استفاده کن.
ترکیبیات ابزار شمارش است و در رمزنگاری، احتمال، تحلیل الگوریتم و شمارش مسیرها به کار میآید.
اصول پایه شمارش
اصل جمع و اصل ضرب: اگر کارها با «یا» به هم وصل شوند حالتها را جمع میکنیم و اگر با «و» وصل شوند در هم ضرب میکنیم.
جایگشت ادامهٔ فرمول را افقی ببین
ادامهٔ فرمول را افقی ببینتعریف: انتخاب و چیدن ادامهٔ فرمول را افقی ببین شیء از ادامهٔ فرمول را افقی ببین شیء متمایز با در نظر گرفتن ترتیب.
تعداد عوامل: دقیقاً ادامهٔ فرمول را افقی ببین عامل، از ادامهٔ فرمول را افقی ببین شروع و رو به پایین.
ترکیب ادامهٔ فرمول را افقی ببین
ادامهٔ فرمول را افقی ببینتعریف: انتخاب ادامهٔ فرمول را افقی ببین شیء از ادامهٔ فرمول را افقی ببین شیء متمایز بدون در نظر گرفتن ترتیب.
رابطهٔ این دو: ادامهٔ فرمول را افقی ببین — زیرا هر ترکیب ادامهٔ فرمول را افقی ببین عنصری را میتوان به ادامهٔ فرمول را افقی ببین شکل مرتب کرد.
خواص مهم:
ادامهٔ فرمول را افقی ببیننکتهٔ طلایی: ادامهٔ فرمول را افقی ببین تعداد زیرمجموعههای ادامهٔ فرمول را افقی ببین عنصری یک مجموعهٔ ادامهٔ فرمول را افقی ببین عنصری است.
مثلث پاسکال: مجموع ردیف ادامهٔ فرمول را افقی ببینام برابر ادامهٔ فرمول را افقی ببین است؛ قطر اول همه ادامهٔ فرمول را افقی ببین، قطر دوم اعداد طبیعی و قطر سوم اعداد مثلثیاند.
جایگشت با تکرار و دستهبندی
ادامهٔ فرمول را افقی ببینقضیه: اگر از ادامهٔ فرمول را افقی ببین شیء، ادامهٔ فرمول را افقی ببین تا از نوع اول تا ادامهٔ فرمول را افقی ببین تا از نوع ادامهٔ فرمول را افقی ببینام باشد، تعداد جایگشتهای متمایز برابر است با:
شهود: اگر همه متمایز بودند ادامهٔ فرمول را افقی ببین حالت داشتیم؛ اشیای همنوع تفاوتی ایجاد نمیکنند، پس بر ادامهٔ فرمول را افقی ببین تقسیم میشود.
دستهبندی (بلوکبندی): اشیای «کنار هم» را یک بلوک واحد فرض کن، بقیه را کنارش بچین، سپس جایگشت داخل بلوک را هم حساب کن.
چیدن یکدرمیان: اگر ادامهٔ فرمول را افقی ببین باشد جواب ادامهٔ فرمول را افقی ببین است و اگر ادامهٔ فرمول را افقی ببین باشد گروه بزرگتر اول و آخر را میگیرد و جواب ادامهٔ فرمول را افقی ببین میشود. برای شرط «هیچ دو تایی کنار هم نباشند» از روش شکاف استفاده کن.
توزیع و معادلات ترکیبیاتی
مسئله: ادامهٔ فرمول را افقی ببین شیء یکسان را بین ادامهٔ فرمول را افقی ببین گروه توزیع کن — معادلِ یافتن جوابهای صحیح نامنفی ادامهٔ فرمول را افقی ببین.
روش ستاره و خط جواب میدهد:
ادامهٔ فرمول را افقی ببینبرای شرط ادامهٔ فرمول را افقی ببین فرمول به ادامهٔ فرمول را افقی ببین و برای شرط کلی ادامهٔ فرمول را افقی ببین با جایگزینی ادامهٔ فرمول را افقی ببین به ادامهٔ فرمول را افقی ببین تبدیل میشود.
اگر اشیاء متمایز باشند و گروهها هم متمایز، جواب ادامهٔ فرمول را افقی ببین است، زیرا هر شیء مستقلاً میتواند در یکی از ادامهٔ فرمول را افقی ببین گروه قرار گیرد.
اصل شمول و عدم شمول
قاعدهٔ طلایی: یکتاییها را جمع کن، دوتاییها را کم کن، سهتاییها را اضافه کن و همینطور یکدرمیان ادامه بده.
ادامهٔ فرمول را افقی ببینکاربرد رایجش مسائل بخشپذیری و شمارش توابع پوشا است:
ادامهٔ فرمول را افقی ببیناصل لانه کبوتری
اصل ساده: ادامهٔ فرمول را افقی ببین کبوتر و ادامهٔ فرمول را افقی ببین لانه با ادامهٔ فرمول را افقی ببین ← حداقل یک لانه با ادامهٔ فرمول را افقی ببین کبوتر.
تعمیم: با ادامهٔ فرمول را افقی ببین کبوتر ← حداقل یک لانه با ادامهٔ فرمول را افقی ببین کبوتر.
این اصل برای مسائل وجودی به کار میرود: جایی که باید ثابت کنی حالتی حتماً وجود دارد، بدون آنکه بتوانی آن را بسازی. مثلاً در هر گراف ساده با ادامهٔ فرمول را افقی ببین رأس، حتماً دو رأس همدرجه وجود دارد.
قضیهٔ دوجملهای
ادامهٔ فرمول را افقی ببینجملهٔ عمومی ادامهٔ فرمول را افقی ببین که شامل ادامهٔ فرمول را افقی ببین باشد:
ادامهٔ فرمول را افقی ببینبا جایگذاری ادامهٔ فرمول را افقی ببین به ادامهٔ فرمول را افقی ببین و با ادامهٔ فرمول را افقی ببین به ادامهٔ فرمول را افقی ببین میرسیم.
هویتهای پرکاربرد: پاسکال ادامهٔ فرمول را افقی ببین، واندرموند ادامهٔ فرمول را افقی ببین و جذب ادامهٔ فرمول را افقی ببین.
استراتژی حل مسائل شمارش
- آیا ترتیب مهم است؟ بله ← جایگشت، خیر ← ترکیب.
- اشیاء یکساناند یا متمایز؟ متمایز در ظرف متمایز ← ادامهٔ فرمول را افقی ببین؛ یکسان در ظرف متمایز ← ستاره و خط.
- شرط مجاورت؟ کنار هم ← بلوکبندی؛ عدم مجاورت ← روش شکاف.
- توزیع با حداقل؟ جایگزینی متغیر ادامهٔ فرمول را افقی ببین.
- مسئلهٔ وجودی؟ اصل لانه کبوتری.
- بخشپذیری یا چند شرط همزمان؟ اصل شمول و عدم شمول.