עקרון שובך היונים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 79.182.161.232 (שיחה) לעריכה האחרונה של 132.65.153.110 |
|||
שורה 24:
[[הוכחה בדרך השלילה|נניח בשלילה]] כי לתוך m תאים בשובך יש להכניס n יונים. נכניס לכל תא יונה אחת לכל היותר. קיבלנו כי הכנסנו, במקרה המקסימלי, m יונים, בסתירה לכך ש: n > m.
עקב פשטות ההוכחה של הטענה נעשה בה שימוש רב במחקר העוסק ב[[סיבוכיות]] של מערכות הוכחה (Proof Complexity)
== ראו גם ==
|