הוכחה ש-P שונה מ-NP? 547997
גדי אלכסנדרוביץ' יום ב', 9/8/2010, 15:45
הוכחות לכך ש-P שונה מ-NP, שווה לו או שבכלל הבעיה אינה כריעה הן דבר די נפוץ, אבל הרבה פחות נפוצות הוכחות שנראה על פניו שיש בהן משהו ומעוררות התרגשות בקהילה, ועושה רושם שצצה עכשיו אחת כזו. מצד אחד:

ומצד שני, פחות אופטימי:

בכל מקרה יהיה מעניין לעקוב ולראות מה קורה עם זה.

לתוהים - לא, הוכחה לא תגרום לשינוי מהותי במדעי המחשב (להבדיל ממה שהוכחה ש-P=NP הייתה גורמת), אלא בעיקר לאישוש של מה שכולם בטוחים שהוא נכון וכנראה לקידום טכניקת ההוכחה ולשימושים נוספים שלה. מצד שני, זה עדיין פתרון של חידה עתיקה יחסית בענף וההתרגשות מוצדקת.
הוכחה ש-P שונה מ-NP? 548469
גדי אלכסנדרוביץ'  (אתר) • בתשובה לגדי אלכסנדרוביץ' יום ו', 13/8/2010, 18:21
עדכון: חוות הדעת הנוכחית שכמה מהשמות הגדולים מביעים בבלוגים שבהם מתקיים דיון בנושא - ההוכחה לא עובדת, לא ניתן לתקן אותה, ואין בה רעיונות חדשים טובים שאפשר להשתמש בהם בכל זאת.

חבל.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות