רוטר - P=NP! עולם המתמטיקה סוער מפיצוח החידה

יומן פעילות	לוח שנה	מבזקי חדשות	תקנון	RSS	כותרות	כותרות לפי תגובה	ניקוי קוקיז	IP	להורדת אפליקציה
eBay	AliExpress	GearBest	Amazon	Booking	Kiwi	SkyScanner	Trip Advisor

"P=NP! עולם המתמטיקה סוער מפיצוח החידה"

גירסת הדפסה

קבוצות דיון לימודים, מדע ותרבות נושא #10431	מנהל סגן המנהל מפקח Winner צל"ש מומחה

אשכול מספר 10431

CarpeDiem
חבר מתאריך 7.7.02
155749 הודעות

10:26 11.08.10

P=NP! עולם המתמטיקה סוער מפיצוח החידה

המתמטיקאי ההודי וינאי דולאליקר פרסם הוכחה לאחת החידות הגדולות של עולם המתמטיקה ומדעי המחשב. האם P = NP.
לפי דולאליקר, עובד במעבדות המחקר של חברת HP, התשובה היא לא.
ההוכחה של דולאליקר, שמשתרעת על 102 עמודים, עדיין צריכה אישור סופי מצד הקהילה המתמטית, אבל ההערכה היא שמדובר בהוכחה נכונה.
אם אכן יתברר שדולאליקר הצליח לענות על השאלה, הוא צפוי לקבל פרס של מיליון דולר ממכון Clay למתמטיקה.
http://www.livemint.com/2010/08/10230113/Indian-scientist-offers-proof.html?h=E
http://today24news.com/education/vinay-deolalikar-purporting-to-show-that-p-np-092808

שתף

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

האשכול	מחבר	תאריך כתיבה	מספר
אני יכולתי להגיד לו את זה....	madnaor	11.08.10 11:32	1
היית נותן קצת רקע שנבין על מה מדובר...כרגע זה לא אומר לי שום דבר	Sylver	11.08.10 13:01	2
הייתי צריך לפרסם גם פה.	Deuce	11.08.10 14:29	3
''ההערכה היא שמדובר בהוכחה נכונה''?!?! הערכה של מי?!?!	Zippo	11.08.10 16:34	4
האמת כותב האשכול במקרה זה מטעה.	Deuce	11.08.10 17:42	5
קטונתי מלנסות ולהבין את ההוכחה והשיטות הלא טריוויאליות	Zippo	11.08.10 19:45	6
תסלח לי. אבל בדקתי את ההוכחה חזור ובדוק. והיא ראויה!!	CarpeDiem	12.08.10 00:36	7
בהחלט הוכחה ריגורוזית.	Deuce	12.08.10 17:21	9
מה תפסת תחת עם השמש שלך?	CarpeDiem	12.08.10 17:22	10
חחח חכה שאני אבוא לפורום חייפון, אני אצחק על המצלמה.	Deuce	12.08.10 17:50	11
תסתכל טוב... אתה לא רואה שפה יש P ובשני NP? זה לא אותו דבר נו בחיאת	donald	12.08.10 16:46	8
גאוני.. מגיע לך את ה 1,000,000$	Yariv-H	17.08.10 17:09	12
חח גדול	dvir8	27.08.10 01:27	13

madnaor
חבר מתאריך 20.3.02
21815 הודעות, 2 פידבק, 0 נקודות

11:32 11.08.10

1. אני יכולתי להגיד לו את זה....
בתגובה להודעה מספר 0

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Sylver
חבר מתאריך 1.7.02
11915 הודעות, 2 פידבק, 0 נקודות

13:01 11.08.10

2. היית נותן קצת רקע שנבין על מה מדובר...כרגע זה לא אומר לי שום דבר
בתגובה להודעה מספר 0

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Deuce
חבר מתאריך 1.9.08
6225 הודעות, דרג אמינות חבר זה

14:29 11.08.10

3. הייתי צריך לפרסם גם פה.
בתגובה להודעה מספר 0

פתחתי על זה פוסט לפני מספר ימים בפורום תכנות:
http://rotter.name/nor/prog/10020.shtml

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Zippo
חבר מתאריך 26.5.02
7921 הודעות, דרג אמינות חבר זה

16:34 11.08.10

4. ''ההערכה היא שמדובר בהוכחה נכונה''?!?! הערכה של מי?!?!
בתגובה להודעה מספר 0

האמת, שאומנם סביר שאכן P שונה מ-NP, אבל ההוכחה עדיין לא עברה בדיקה מקיפה.
אני בספק רב אם ההוכחה נכונה או ברת תיקון.
בניגוד לפרופ' סקוט ארונסון מ-M.I.T, אני לא אהמר על אי-נכונות ההוכחה ב-200,000$ - http://scottaaronson.com/blog/?p=456
אבל אני כן חושב שבסופו של יום, זה "סתם" עוד נסיון כושל להוכיח משפט שאולי כלל לא ניתן להוכיח...

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Deuce
חבר מתאריך 1.9.08
6225 הודעות, דרג אמינות חבר זה

17:42 11.08.10

5. האמת כותב האשכול במקרה זה מטעה.
בתגובה להודעה מספר 4

אף אחד לא העריך שההוכחה נכונה; בסה"כ נראית הוכחה רצינית עם כיוון מעניין, לא יותר מזה.
פרופ' סקוט אהרונסון עשה מעשה לא מכובד.
בכל אופן אתמול התגלו 4 טעויות בהוכחה, אבל תהליך שכזה לוקח זמן. אני לא חושב שההוכחה שפורסמה היא בגדר "סתם" נסיון כושל - הטכנקיות שהוא משתמש בהן לא טריוויאליות וייתכן מאד שיהווה תרומה קונקרטית לעולם התיאוריה של מדעי המחשב.

באשר לעובדה שכן או לא הוכיחו את המשפט - היו משפטים שלא הוכחו תקופה ארוכה פי כמה אשר נחקרו ע"י רבים וטובים מהחוקרים. יש השערות שהצפי להוכחתן גדול יותר מאשר בעיית P = NP שתלוייה באוויר אולי 30 שנה, שזה לא כ"כ הרבה.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Zippo
חבר מתאריך 26.5.02
7921 הודעות, דרג אמינות חבר זה

19:45 11.08.10

6. קטונתי מלנסות ולהבין את ההוכחה והשיטות הלא טריוויאליות
בתגובה להודעה מספר 5

ואכן, אולי המילה "סתם" לא הייתה במקומה.
ומי יודע, אולי המסמך הזה הוא בסיס טוב ובר-תיקון להוכחה תקפה.
(כמו ההוכחה של אנדרו ווילס למשפט פרמה שהייתה בעיה פתוחה במשך כ-300 שנה, ולא רק 30, והייתה מלאה בחורים שתוקנו לאחר הפרסום)
אבל קרא לזה תחושת בטן, קשה לי להאמין שההוכחה נכונה. (או אפילו ברת תיקון)

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

CarpeDiem
חבר מתאריך 7.7.02
155749 הודעות

00:36 12.08.10

7. תסלח לי. אבל בדקתי את ההוכחה חזור ובדוק. והיא ראויה!!
בתגובה להודעה מספר 5

ראשית, התחלתי עם האלגוריתם הבא:
http://www.krellinst.org/uces/archive/modules/diffeq/img80.gif
ומשם:
http://cr4.globalspec.com/PostImages/200609/Cubic2_EB3C1182-E01B-0FD2-BAF1BB0D460C2CC1.jpg
ואז לפה:
http://gemsres.com/story/may06/217534/albrecht-equation2.gif
ולאחר ההפנמה האנומלית.. הגעתי למסקנה ברורה ומיידית:
http://rlv.zcache.com/p_not_eqaul_np_tshirt-p235336613976258287trlf_400.jpg

בפעם הבאה שאתה יוצא בהשמצות, תדאג שאני לא יודע היכן אתה ממוקם.