یک جدولِ $6\times6$ را در نظر بگیرید که در هر خانهی آن، یک دانشآموزِ کلاسِ اول، دوم یا سوم ایستاده است. به مجموعهی دانشآموزانِ همسطر یا همستونِ یک دانشآموز (بهغیر از خودش)، سیطرهی دیدِ آن دانشآموز گفته میشود. پس سیطرهی دید هر دانشآموز، مجموعهای $10$ عضوی است.
اگر در سیطرهی دیدِ هر دانشآموزِ کلاس اولی، حداقل یک دانشآموزِ کلاس دومی، و در سیطرهی دیدِ هر دانشآموزِ کلاس دومی، حداقل یک دانشآموزِ کلاس سومی باشد، حداکثر چند دانشآموزِ کلاس اولی میتواند در جدول وجود داشته باشد؟
پاسخ
گزینه (1) درست است.
ابتدا با استفاده از برهان خلف اثبات میکنیم که جواب از $29$ بیشتر نیست. فرض میکنیم حداقل $30$ کلاس اولی داشته باشیم و روی تعداد کلاس دومیها حالتبندی میکنیم:
حال یک مثال از جدولی که شامل $29$ کلاس اولی، $6$ کلاس دومی، و $1$ کلاس سومی است را ارائه میدهیم:
اگر در سیطرهی دیدِ هر دانشآموزِ کلاس اولی، تعدادِ دانشآموزانِ کلاس دومی حداقل بهاندازهی تعدادِ دانشآموزانِ کلاس اولی (در سیطرهی دیدِ او) باشد، و در سیطرهی دیدِ هر دانشآموزِ کلاس دومی، تعدادِ دانشآموزانِ کلاس سومی حداقل بهاندازهی تعدادِ دانشآموزانِ کلاس دومی باشد، حداکثر چند دانشآموزِ کلاس اولی میتواند در جدول وجود داشته باشد؟
پاسخ
گزینه (1) درست است.
برای اثبات، ابتدا از برهان خلف استفاده میکنیم و نشان میدهیم که تعداد کلاس اولیها نمیتواند بیشتر از $18$ باشد.
فرض کنید که تعداد کلاس اولیها بیشتر از $18$ باشد. در این صورت، حداقل یک سطر و یک ستون وجود دارد که هرکدام حداقل $4$ کلاس اولی دارند. بدون کاسته شدن از کلیت مسئله، فرض کنیم این سطر و ستون، سطر اول و ستون اول باشند. حال روی خانهی تقاطع این سطر و ستون (خانهی تقاطع) حالتبندی میکنیم:
بنابراین ثابت میشود که تعداد کلاس اولیها نمیتواند بیشتر از $18$ باشد.
مثال برای $18$: یک نمونه چیدمان برای $18$ کلاس اولی در جدول زیر آمده است: