בתשובה לאלון עמית, 31/08/03 7:46
 |
|
 |
||
|
||||
 |
לשני המחברים יש דף בית. רזבורוב: רודיך: המאמר הנ"ל מראה שלא תיתכן הוכחה "טבעית" שP שונה מNP, אלא אם כן לכל פונקציה יעילה, אפשר לחשב באופן יעיל את הפונקציה ההופכית שלה. בפרט לא תיתכן הוכחה כזו אם בעית ה factoring היא קשה. שים לב, שלאור העובדה שכל השיטות הידועות היום להוכחת חסמים תחתונים לא מדגדגות את בעית P מול NP, גם בלי המאמר הזה ברור שצריך יהיה למצוא שיטה חדשה ממש כדי לפתור אותה. |
 |
 |
 |
|
|
|
||
|
||||
|
מסכים, אבל "לא מדגדגות" ו-"ברור" זה אחרת מהגדרה פורמלית ומשכנעת של הוכחה "טבעית", והוכחה פורמלית שאין כזו אלא אם השמיים נופלים ( = קל לפרק לגורמים). כל השיטות שבידינו לא מדגדגות את בעיית ה-3n+1, או את השאלה אם פאי מספר נורמלי. כולם חשים שצריך שיטות חדשות, אבל אם מישהו *יוכיח* את זה, זה יהיה מרשים מאוד. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |