اصل شمول و عدم شمول
اصل شمول و عدم شمول در ترکیبیات شمارشی، تعداد اعضای اجتماع چند مجموعه را محاسبه میکند. این اصل کاربردهای بسیاری دارد که برخی از آنها در این صفجه ذکر شده است. استفاده از این اصل را در احتمال، گراف، الگوریتم و بسیاری از مسائل شمارشی از جمله اتحادهای ترکیبیاتی، خواهید دید.
حالت ۲ مجموعه
ابتدا حالت ۲ مجموعه را در نظر بگیرید. اصل شمول و عدم شمول میگوید:
با کشیدن نمودار ون، بیشتر میتوانید عبارت بالا را درک کنید.
مثال:
در یک مدرسه، ۲۳ نفر در تیم فوتبال و ۱۲ نفر در تیم والیبال عضو هستند. ۴ نفر نیز در هر دو تیم عضو هستند. چند نفر از دانشآموزان مدرسه، در دست کم یکی از ۲ تیم ورزشی مدرسه هستند؟
پاسخ
اگر و را به ترتیب، مجموعهی دانشآموزان عضو در تیم فوتبال و والیبال در نظر بگیریم، طبق اصل شمول و عدم شمول، پاسخ ما خواهد بود.
حالت ۳ مجموعه
حال فرض کنیم ۳ مجموعهی داریم و میخواهیم را محاسبه کنیم. اصل شمول و عدم شمول میگوید:
سعی کنید با استفاده از شکل زیر، عبارت بالا را بهتر درک کنید:
مثال:
در یک مدرسه، ۱۲ فوتبالیست، ۱۶ والیبالیست و ۸ تیرانداز وجود دارد. ۴ نفر هم فوتبالیست و هم والیبالیست هستند. ۳ نفر هم فوتبالیست و هم تیرانداز هستند. ۱ نفر در هر ۳ ورزش فعالیت میکند و در مجموع کسانی که ورزش میکنند، ۴۰ نفر هستند. چند نفر در این مدرسه، هم والیبالیست و هم تیرانداز هستند؟
پاسخ
اگر و و را به ترتیب مجموعهی فوتبالیستها، والیبالیستها و تیراندازهای مدرسه در نظر بگیریم، در واقع باید را پیدا کنیم. طبق اصل شمول و عدم شمول داریم:
پس پاسخ برابر ۲ است.
حالت کلی
در حالت کلی اگر مجموعهی، را داشته باشیم، اصل شمول و عدم شمول برای محاسبهی میگوید:
در واقع عبارت بالا به صورت خودمانی میگوید که ابتدا باید جمع تعداد اعضای تک تک مجموعهها را حساب کنیم؛ سپس آن را منهای تعداد اعضای اشتراکهای دو به دوی مجموعهها کنیم؛ سپس آن را با تعداد اعضای اشتراکهای ۳-تایی مجموعهها جمع کنیم و همین طور ادامه دهیم.
به صورت فشردهتر، اصل شمول و عدم شمول را میتوان به صورت زیر هم بیان کرد:
مثال:
ثابت کنید تعداد اعضایی از مجموعهی که بر عدد طبیعی بخشپذیر هستند، برابر است.
تعداد اعداد طبیعی مجموعهی که نه بر ۲، نه بر ۳، نه بر ۵ و نه بر ۷ بخشپذیرند، چندتاست؟
پاسخ
قسمت اول: اعدادی که بر بخشپذیر هستند، به صورت هستند. باید باشد. پس داریم . از آنجایی که نیز عددی طبیعی است، پس داریم . پس ، حالت دارد.
قسمت دوم: اگر و و و را به ترتیب، تعداد اعدادی از بگیریم که بر ۲، بر ۳، بر ۵ و بر ۷ بخشپذیر هستند، ما باید را بیابیم. طبق اصل شمول و عدم شمول، پاسخ برابر است با:
پریشها
پریش از پریشانی میآید. یک جایگشت از اعداد را پریش (پریشان) میگوییم، هرگاه هیچ -ای وجود نداشته باشد که باشد. در واقع هیچ کس سر جای خودش نیست. مثلن جایگشت یک پریش است. تعداد پریشهای -عنصره را با نشان میدهیم؛ هر چند در برخی از منابع، آن را نیز نمایش دادهاند.
میخواهیم تعداد پریشهای عنصره را بیابیم. زیرمجموعههای از تمام جایگشتهای خطی عنصره را به این صورت تعریف میکنیم که ، شامل جایگشتهایی است که عنصر -ام سر جای خودش باشد. در واقع ما باید را پیدا کنیم.
ابتدا با اصل شمول و عدم شمول، مقدار را مییابیم.
از طرفی میدانیم هر یک از های بالا، شامل تعدادی جملهی برابر هستند؛ زیرا -ها تقارن دارند. پس داریم:
حال بیابید به ازای یک ، مقدار را محاسبه کنیم. به وضوح باید عناصر سر جای خود باشند و بقیهیک جایگشت -عنصره هستند که حالت دارند. پس داریم:
از طرفی داریم:
پس داریم:
پس پاسخ برابر است با:
پس:
یک نکته:
اگر چنانچه مفهوم حد در بینهایت و بسط تیلور ( همان عدد نپر است که حدود میباشد) را بدانید، با بردن به سمت و قرار دادن ، به میل میکند و این نتیجه میدهد اگر به حد کافی زیاد باشد (از حدود به بعد این را خواهید دید)، از حدود هر ۳ جایگشت تصادفی، انتظار میرود حدود یکی از آنها پریش باشد! در شکل زیر میتوانید رشد تعداد پریشها را با رشد تعداد کل جایگشتها، با بالا رفتن ، مقایسه کنید:
مثال:
چند پریش از اعداد وجود دارد که عدد ۹ در مکان ۱۰-ام جایگشت آمده باشد؟
پاسخ
در یک پریش، مکان عدد ۹ هر جایی جز مکان ۹-ام میتواند باشد؛ پس ۹ حالت دارد و طبق تقارن، این ۹ حالت تفاوتی با هم ندارند. پس پاسخ برابر
است که از فرمول بالا به دست میآید.
در بخش روابط بازگشتی، بیشتر در مورد پریشها بحث خواهد شد.
تابع فی اویلر
تعداد اعداد که نسبت به اول هستند را مینامیم. این تابع را فی اویلر میگویند. برای مثال زیرا ۱ و ۳ نسبت به ۴، اول هستند.
فرض کنید تجزیهی به عوامل اول، به صورت باشد. میخواهیم فرمولی برای بر حسب ها (عوامل اول ) بیابیم. مجموعههای را به این صورت تعریف میکنیم که ، شامل اعدادی از است که بر بخشپذیر هستند. داریم:
طبق اصل شمول و عدم شمول داریم:
از طرفی، طبق مثالهای ذکر شده، مقدار برابر
است. از آنجایی که تمام ها عامل اول هستند، پس مقدار داخل عددی طبیعی است. پس:
پس داریم:
از طرفی با بسط دادن عبارت
مقدار بالا به دست میآید. پس داریم:
برای مثال، با استفاده از فرمول، مقدار برابر به دست میآید که برابر ۲ است (همان مقداری که به دست آورده بودیم).
تعداد توابع پوشا
فرض کنید مجموعههای و به ترتیب و عضو داشته باشند. میخواهیم تعداد توابع پوشای را بیابیم.
مجموعههای
را به این صورت تعریف میکنیم که شامل توابعی است که عضو -ام پوشش داده نشده باشد (یعنی هیچ -ای وجود نداشته باشد که برابر عضو -ام شود).
ابتدا مقدار
را به ازای
حساب میکنیم. تابع ما باید عضوهای -ام، -ام، … و -ام از را پوشش ندهد. پس برای هر عضو مانند ، مقدار ، حالت دارد. پس تعداد حالات مطلوب، است.
اگر تعداد کل توابع را با نشان دهیم، پاسخ طبق اصل شمول و عدم شمول برابر است با:
سایر مثالها
مثال:
به چند طریق میتوان ۱۰ خانه از یک جدول را علامت زد؛ طوری که در هر سطر، حداقل یک خانه، علامت زده شده باشد؟
پاسخ
مجموعههای را به این صورت تعریف میکنیم که شامل حالاتی است که سطر -ام، خانهی علامت زده نداشته باشد. طبق اصل شمول و عدم شمول برای حالت ۳ مجموعه، داریم:
با توجه به اینکه ها از نظر تعداد شبیه هم هستند و تقارن دارند، داریم:
از طرفی، ،
و . پس:
اگر تعداد کل حالات قرار دادن مهرهها در جدول باشد، پاسخ برابر است با:
مثال:
با استفاده از اصل شمول و عدم شمول ثابت کنید:
پاسخ
مجموعههای را در نظر بگیرید. طبق اصل شمول و عدم شمول داریم:
از آنجایی که اشتراک و اجتماع هر چندتا از -ها یک عضوی است، داریم:
با قرار دادن به جای ۱ و بردن تمام جملات به سمت چپ داریم:
پس:
پس حکم ثابت شد.
مسائل نمونه