בתשובה לגלעד ברזילי, 22/02/03 23:24
קצת BS של CS 131390
לפי מיטב ידיעתי, הסיבה היחידה ש עבור BQP יש יותר תקווה שזה יקרה, היא שלא השקיעו עדיין את הזמן הדרוש על השוואה בין BQP לבין שאר המשפחות, על מנת להגיע למסקנה (אליה הגיעו עבור המשפחות הקלאסיות), שכנראה לא נגיע להוכחה. עבור P ו-NP יש למשל רשימה גדולה של כיווני הוכחת שיוויון או אי-שיוויון, שניתן לפסול מסיבות שונות. אולי עוד כמה שנים יפרסם מישהו רשימה של כיווני הוכחה שניתן לפסול לגבי יחסה של BQP למשפחות השונות, ואז נוכל להתייאש גם ממנה.

(אני מצטרף להתנצלות של גלעד, לאו דווקא לשאר הסוגריים שלו.)

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים