בתשובה לדורפל, 21/08/06 14:38
 |
|
 |
||
|
||||
 |
ממש לא. מקרה הבסיס הוא לא קבוצה בעלת שני סוסים, מקרה הבסיס הוא קבוצה בעלת סוס אחד, ועבורו גדי הוכיח את המקרה, והוכיח יפה. לאינדוקציה יש שלושה חלקים: 1. הנחת האינדוקציה. 2. הוכחה עבור מקרה יחיד. 3. הוכחה עבוד המקרה "הבא" בהנחה שהמקרה "הקודם" מתרחש. כששולשת התנאים האלה מתקיימים יש לך הוכחה באינדוקציה. מאחר שאין לנו דרך לתקוף את 1, ומאחר ש-3 נראה בלתי תקיף, הדבר הקל הוא תמיד "לחפש" טעויות ב-2. זה מה שאתה עשית, וטעית. הטריק הוא ב-3, בגלל ש-3 לא נכון עבור כל n אלא רק עבור n>1. חבל שתמשיך להתעקש. |
 |
 |
 |
|
|
|
||
|
||||
|
הניסוח שלי לא היה אידיאלי, אבל דיברתי על אותו הדבר - שההסקה עובדת רק למקרים שבהם n>=2, כי חייב להשאר לפחות סוס אחד בקבוצה בכל רגע ורגע. דרך יותר קצרה היא להגיד שמקרה הבסיס צריך להיות n=2. הניסוח הזה לא מסביר למה מקרה הבסיס n=1 לא עובד, ולכן הוא לא טוב. אבל רציתי לקצר, אז השתמשתי בו. נראה לי די ברור שגדי ואני התכוונו לאותו הדבר. אני לא מתעקש מתוך רשעות. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |