מפגש שלושה עשה- 05.07.23
בפגישה השלוש עשרה בחנו טענות שונות בקומבינטוריקה, והשווינו בין ההוכחות שלהן באמצעות טיעונים הסתברותיים ובין הוכחות שלהן באמצעות טיעון אי-הדחיסות. בין השאר דברנו על גרפים של תחרויות ותחרויות עם תכונות, וחסימת מספר השחקנים המקיימים תכונה כלשהי בתחרויות. שם השיטה ההסתברותית וזו של אי-הדחיסות שקולות מציגות הוכחה די זהה. באופן דומה, גם בחסימת מספרי רמזי מלמטה (מתי מובטחים לנו תתי-אובייקטים גדולים בתוך אובייקט גדול?) הגישה ההסתברותית וזו של קולמוגורוב מניבות תוצאות זהות. לבסוף, בחנו את בעיית שקילת המטבעות. שם לראשונה מצאנו שההוכחה בשיטת אי הדחיסות פשוטה ואלגנטית, ואף שונה באופן מהותי מזו של השיטה ההסתברותית.