תזכורת ועידכונים לגבי המצגת והעבודה המסכמת | |
שלום לכולם לגבי המצגת - חלק משמעותי מהמצגות עדיין לא הגיעו למצב שנכון לשים אותן באתר. שלחתי פידבק פרטני. אם יש שאלות, נא לשאול באימייל כל אחד מוזמן לשלוח פידבק לכל סטודנט אחר על המצגת של האחר (בעיקר עבור שיפור העבודה המסכמת), אפשרי ואף רצוי עם סי.סי. אלי אם יש מישהו שחושב שכדאי להחליף את המצגת שלו/שלה שבאתר - נא לכתוב לי כעיקרון כל המצגות כבר היו אמורות להיות בגירסא סופית באתר לגבי העבודה הסופית - צריכה להיראות כמו מאמר, ההנחיות (כפי שנכתב בתחילת הסמסטר) כאשר הפונט 12, האורך 16-24 עמודים בפורמט וורד או פי.די.אף גם כאן באופן פרטני הצעתי מה להוסיף ומה להוריד בהשוואה למצגת, ואם יש שאלות נא לפנות אלי. סביר שיהיו כשתי איטרציות (לעתים אחת לעתים שלש תלוי בבן אדם ועד כמה הגירסא הראשונית תקינה) סביב העבודה המסכמת של כל אחד מכם מי שעדיין רחוק מגירסא ראשונית - זה בסדר להמתין עד אחרי תקופת המבחנים ואז להשקיע הכך. אך הדדליין הוא לסיים הכל עד סוף סמסטר קיץ. כלומר שעד אז כבר סיימנו את כל האיטרציות! לכן רצוי שגירסא ראשונית תישלח אלי מוקדם ככל האפשר, ובכל מקרה, לא הרבה זמן לאחר תקופת המבחנים של מועדי אלף בהצלחה במבחנים |
עדכון אחרון ב-10/7/2020, 18:11:05 Last updated on 10/7/2020, 18:11:05 Последняя модификация10/7/2020, 18:11:05 تمت الحتلنة الأخيرة ب-10/7/2020, 18:11:05 |
עידכון - מחר לא יהיה שיעור השלמה | |
עדיין אין משהו חדש להציג, אז לא יהיה מחר שיעור השלמה. בהמשך הדרך - אם יהיו הרצאות, הנוכחות תהיה רשות ולא חובה בנושא אחר - בימים הקרובים אדון עם כל אחד ואחד לגבי מה נותר לעשות עד לסיום ועד לקבלת ציון - כי זה שונה מאדם לאדם בהצלחה בתקופת המבחנים טל |
פורסם ב-7/7/2020, 19:40:38 Created on 7/7/2020, 19:40:38 Создано7/7/2020, 19:40:38 تم النشر ب-7/7/2020, 19:40:38 |
תזכורת - היום מתחילים באחת וחצי. רביע יהיה ראשון, ניצן תהיה שניה, מתן שלישי |
פורסם ב-1/7/2020, 12:53:00 Created on 1/7/2020, 12:53:00 Создано1/7/2020, 12:53:00 تم النشر ب-1/7/2020, 12:53:00 |
השיעור הקרוב, שיעור ההשלמה, ושתי הרצאות שמועלות כעת לאתר | |
שלום לכולם הרצאות שמועלות לאתר: ראו בחומר הקורס, הרצאה של ויקטור ששמעתם בשבוע שעבר, והרצאה של רביע שנשמע ברביעי הקרוב שיעור השלמה: כזכור דחינו שעתיים נשלים אותן כך: ברביעי הקרוב נתחיל בשעה 13:30, והראשון שידבר הוא רביע, בנושא הוכחות-אפס-מידע והקשר לקיו.אם.איי המצגת שלו כעת מועלית לאתר בשעתיים הרגילות יציגו מתן וניצן, אני מקווה להעלות את השקפים שלהם בהקדם כנ"ל אני מקווה להעלות לאתר גם את של שגב מישל ואולי גם מיקו יציגו בשבוע הבא ביום רביעי בשעות הרגילות של הקורס התוספת של ההרצאה של מישל היא השעה השניה של שיעור ההשלמה (נעשה זאת משתיים וחצי עד שלש ועשרים), ואילו המצגת של מיקו (משלש וחצי עד ארבע ועשרים) - זה כבר בונוס ולא תהיה חובת נוכחות בהרצאתו של מיקו אם למישהו יש מבחן ברביעי הבא או חמישי שאחריו - אז יהיה פטור מלהיות נוכח אפילו בהרצאתה של מישל |
עדכון אחרון ב-30/6/2020, 02:41:35 Last updated on 30/6/2020, 02:41:35 Последняя модификация30/6/2020, 02:41:35 تمت الحتلنة الأخيرة ب-30/6/2020, 02:41:35 |
המפגש היום | |
שלום לכולם הייתה התקדמות יפה השבוע, אם כי רבים מכם עדיין ממש זקוקים לשעה פרטנית או לשעה פרטנית נוספת כולי תקווה ששבוע הבא נצליח לסיים, ושנוסיף את שעתיים ההשלמה כבר ברביעי הבא (בזמן ההשלמה המקובל שזה רביעי משתים עשרה וחצי עד שתיים וחצי), ובכך נסיים עדיין בתוך הסמסטר אך זה ידרוש מאמץ מכולנו לאחר התלבטויות רבות, החלטתי שהיום יציגו ויקטור (הנושא הינו וריפיקציה) ושגב (הנושא הוא הארטרי-פוק), וכל האחרים.... אינשאללה.... ברביעי הבא חשוב לי להדגיש שהתנגשנו במאמרים שחלקם מאד מאד קשים ומאתגרים ושלעתים דורשים ידע מוקדם רב במיוחד כנראה שגם התחלתי ללחוץ עליכם מאוחר מידי, וכך במחצית הראשונה של הסמסטר לא הפקתי מכם זמן עבודה מספק - חוץ מאשר מרומן כמובן בסופו של יום - זה לגיטימי אם אחוז ניכר (בחלק מהמקרים) יוקדש לחומר רקע, ורק קצת למאמר המקורי שבחרתם, אך כן חשוב שנראה כולנו כיצד זה מתקשר גם למאמר המקורי שבחרתם בברכה, טל |
פורסם ב-24/6/2020, 12:28:09 Created on 24/6/2020, 12:28:09 Создано24/6/2020, 12:28:09 تم النشر ب-24/6/2020, 12:28:09 |
יום רביעי, ה-17 ליוני, הודעה חשובה מאד | |
שלום לסטודנטים מאד ניסיתי לגרום לכך שישלחו לי מצגת בערך-מוכנה כדי שנוכל להציג 2-3 עבודות מחר זה לא הצליח לנו, ורק לרומן יש מוכן את החלק השלישי, אבל רומן כבר הרצה והרצה (ונראה לי שאין הגיון שהוא ירצה שוב מבחינת השיעורים שנותרו לנו עד תום הסמסטר) , וקריטי שגם לאחרים תהיה כבר מצגת ראויה לפי החישובים שלי - אחרי מחר נותרו רק שני שיעורים - כך שזה ממש לא מספיק, ואנו מתקשים להתקדם. מצד שני איני רוצה להכריח סטודנט שעדיין אין לו (לה) מצגת סבירה להציג, כי אין בכך טעם וזה גם עלול להיות לא מהנה (בלשון המעטה) לשאר הנוכחים והמנסים להבין עקב כך נעשה את הפרוצדורה הבאה א. כל אחד מכם (חוץ מרומן) יקבע איתי באימייל חצי-שעה עד שעה מפגש פרטני למחר בתנאי שיש לסטודנט משהו חדש להראות או מה לשאול ולהבהיר היכן תקועים ומדוע, כדי שאנסה לעזור ולכוון ב. השיעור של מחר מבוטל ויינתן בהזדמנות אחרת ג. בשעות הרגילות שלי כלומר בין שתיים וחצי לחמש וחצי אני זמין כמובן, אך יש לקבוע מראש, רצוי לשלוח אימייל עוד הערב או מחר מוקדם ככל האפשר, וגם להבהיר ככל הניתן כבר באימייל אם יש בעיה מדעית שלא מסתדרים איתה ותקועים ד. בשעות אחרות מחר - כמובן בתנאי שנצליח לתאם מראש, גם אתאמץ להיות זמין ה. כל סטודנט חייב לשלוח לי מצגת שראויה להצגה בערך בימים הקרובים, כך שעד רביעי הבא נספיק לעשות איטרציה או שתיים בהתאם לצורך ו. סטודנט שלא יהיה מוכן להציג ברביעי הבא, או כמעט מוכן עם מצגת סבירה, אי העמידה בהכנת המצגת (כי כבר היה המון זמן) תתחיל להשפיע על הציון, והציון המקסימלי של אותו האדם בקורס כולו יופחת בחמש נקודות ז. סטודנט שעד תום השעתיים של השלמה והשעתיים האחרונות של הסמסטר עדיין לא יהיה עם מצגת סבירה, הציון המקסימלי בקורס כולו יורד ל-90 צר לי אך אני מקווה שאתם מבינים שאין לי ברירה בהצלחה! טל נ"ב גם כששולחים לי מצגת לא תמיד אני זמין (למשל סופ"ש למשל כי מלמד עוד קורס, או למשל כי שלחו לי יותר מידי מצגות בערך באותו הזמן), אז מאד לא מומלץ להמתין לדקה התשעים |
עדכון אחרון ב-16/6/2020, 22:35:06 Last updated on 16/6/2020, 22:35:06 Последняя модификация16/6/2020, 22:35:06 تمت الحتلنة الأخيرة ب-16/6/2020, 22:35:06 |
Lectures for today, see material |
עדכון אחרון ב-10/6/2020, 13:42:18 Last updated on 10/6/2020, 13:42:18 Последняя модификация10/6/2020, 13:42:18 تمت الحتلنة الأخيرة ب-10/6/2020, 13:42:18 |
A small update in Assignments: you may submit PDF or PPT | |
You may submit PDF or PPT But please do not submit ZIP. You may ALSO (not instead of) send me your presentation via email. |
פורסם ב-1/6/2020, 13:23:04 Created on 1/6/2020, 13:23:04 Создано1/6/2020, 13:23:04 تم النشر ب-1/6/2020, 13:23:04 |
URGENT: Please submit 5-7 slides till Wednesday morning. See details in "Assignments". | |
ראו "תרגילי בית" |
פורסם ב-31/5/2020, 20:39:04 Created on 31/5/2020, 20:39:04 Создано31/5/2020, 20:39:04 تم النشر ب-31/5/2020, 20:39:04 |
Please see "materials" for a file for the coming class |
פורסם ב-27/5/2020, 02:06:36 Created on 27/5/2020, 02:06:36 Создано27/5/2020, 02:06:36 تم النشر ب-27/5/2020, 02:06:36 |
Important. Please read. | |
Dear students, Since I have received hardly any initial versions of a presentation, I believe the best thing may be to assign two dates to each person: One date for sending me a (reasonably good) first version. A second date - the date of presenting to the class. If by this coming Saturday I do not receive reasonable initial versions of presentations from at least two people, I will assign dates. The first presentation time slots will go to those who have already chosen a topic and have had enough time to begin preparing. Best regards, Tal |
עדכון אחרון ב-26/5/2020, 00:50:20 Last updated on 26/5/2020, 00:50:20 Последняя модификация26/5/2020, 00:50:20 تمت الحتلنة الأخيرة ب-26/5/2020, 00:50:20 |
two issues | |
First, material for lecture this Wednesday is added to course material. Slides by Roman Shapira. Second, please clarify the status of your project - when will you send me a first version of slides? Thanks, Tal |
פורסם ב-20/5/2020, 01:49:37 Created on 20/5/2020, 01:49:37 Создано20/5/2020, 01:49:37 تم النشر ب-20/5/2020, 01:49:37 |
Reading Material (a list of more than 30 papers) added to the Course Material |
פורסם ב-18/5/2020, 00:52:37 Created on 18/5/2020, 00:52:37 Создано18/5/2020, 00:52:37 تم النشر ب-18/5/2020, 00:52:37 |
הוספת מאמר רלוונטי, והחלפת קובץ בנושא מרחב פוק ומצבי פוק - בוזונים ופרמיונים | |
See materials |
עדכון אחרון ב-13/5/2020, 03:00:47 Last updated on 13/5/2020, 03:00:47 Последняя модификация13/5/2020, 03:00:47 تمت الحتلنة الأخيرة ب-13/5/2020, 03:00:47 |
a file describing fock states, bosons and fermions added to material | |
I will soon also explain this in class |
פורסם ב-6/5/2020, 13:13:26 Created on 6/5/2020, 13:13:26 Создано6/5/2020, 13:13:26 تم النشر ب-6/5/2020, 13:13:26 |
חומר להרצאה | |
In the first hour, Eshed (who was the TA in the intro course) will talk about a cryptosystem that has some chance to be secure against q.computers. In the second hour I will teach some material that in the past was part of the intro course but not anymore. My main goal in the second part is to see Hamiltonians and the resulting gates. And also to see creation and annihilation operators. More details - see in the added course material (one file and one folder containing five files) |
פורסם ב-6/5/2020, 02:46:19 Created on 6/5/2020, 02:46:19 Создано6/5/2020, 02:46:19 تم النشر ب-6/5/2020, 02:46:19 |
קבוצה בפייסבוק | |
אז יופי - רומן נענה לאתגר ויש כעת קבוצה בפייסבוק https://www.facebook.com/groups/270583717302981/ בתקווה לדיונים מעניינים ומפרים טל |
פורסם ב-23/4/2020, 19:41:10 Created on 23/4/2020, 19:41:10 Создано23/4/2020, 19:41:10 تم النشر ب-23/4/2020, 19:41:10 |
קבוצה בפייסבוק | |
אז עלה הנושא של קבוצה בפייסבוק - אם כי אני לא מבטיח שאוכל להצטרף טעות שלי בהודעה הקודמת - כי אני מלמד שני קורסי נושאים מתקדמים אז בקורס הנוכחי - עדיין לא עלה הנושא אך אני בהחלט ממליץ שתפתחו קבוצה |
עדכון אחרון ב-23/4/2020, 15:18:50 Last updated on 23/4/2020, 15:18:50 Последняя модификация23/4/2020, 15:18:50 تمت الحتلنة الأخيرة ب-23/4/2020, 15:18:50 |
Plan for today | |
Link to zoom - same as last class. We shall repeat and complete some info from last class I uploaded two papers and we shall briefly discuss one and a bit more deeply the other Eshed Ram will tell us about MEC, a cryptosystem that can potentially replace RSA when q.computers will become a real risk to RSA Note - it is not the leading candidate, the leading candidate is "lattice-based" cryptography. Note - both MEC and lattice-based are just candidates. As far as I know, there is no serious evidence because not many people were working on these, and no serious problem (to complexity classes) is expected if q.comp will break them |
פורסם ב-22/4/2020, 13:05:46 Created on 22/4/2020, 13:05:46 Создано22/4/2020, 13:05:46 تم النشر ب-22/4/2020, 13:05:46 |
Additional explanations about QMA, and reading material (for the Project) added | |
It is all in the file LHP-RL-TM_v4; see material |
פורסם ב-10/4/2020, 22:27:55 Created on 10/4/2020, 22:27:55 Создано10/4/2020, 22:27:55 تم النشر ب-10/4/2020, 22:27:55 |
class at 14:30: material, and connection | |
Two relevant files were now added. And relevant pages/sections were described. See material. Please have the relevant pages in both documents available, so that you can write comments on them during class. We will spend the first half on completing the SAT topic. In the second half: the local Hamiltonian problem is QMA complete. Please note that even if you do not understand CNF, and even Cook-Levin, you can still understand QMA. The proof slightly resembles Cook-Levin, but not too much. Class at 14:30, same link as last week. See you, and be well |
פורסם ב-1/4/2020, 03:28:34 Created on 1/4/2020, 03:28:34 Создано1/4/2020, 03:28:34 تم النشر ب-1/4/2020, 03:28:34 |
A last-moment advanced QIP course in Physics (for grad students) | |
I was asked to advertise this course (I think it was only added a week or two ago): The lecturers told me that free listeners are also welcome, and are encouraged to give a talk. Itai Arad and Netanel Lindner are opening a new course: Seminar in Quantum Information and Computation (Course Number 118112). (Formal course title: Special Topics in Condensed Matter) The course will comprise of a series of lectures given by the students on recent and important developments in the rapidly developing field of Quantum Information and Computation. Specific topics will include: Quantum Algorithms in the NISQ Era (NISQ=Near-Term-Intermediate Scale Quantum Devices) Quantum Supremacy Machine Learning and Quantum Simulations Hamiltonian Complexity Quantum Benchmarking and Verification Quantum Thermodynamics The list of papers which will be presented can be found on the moodle page. The moodle website for the course is: https://moodle.technion.ac.il/course/view.php?id=2488 [moodle.technion.ac.il] Please register to the moodle website, even if you just want to be a "free listener". All communications regarding the course will be through the moodle participant list. Lecturers: Netanel Lindner and Itai Arad Hours: Tuesday 10:30-12:30 The first meeting will be on Tuesday, March 24th , 10:30. Pre-requisites: Quantum Information Theory (116031) is recommended. However, we do not ask for any formal pre-requisites. Before each lecture, we will send a list of important background topics if any are needed. |
פורסם ב-31/3/2020, 02:54:24 Created on 31/3/2020, 02:54:24 Создано31/3/2020, 02:54:24 تم النشر ب-31/3/2020, 02:54:24 |
A few TYPOS in Gai's document, and a few clarifications to help you read the document | |
PLAN: For any problem in NP, given an input of size n, let us call it x, and by checking all possible (polynomial size) hints y: the configurations-table of the (deterministic) Turing machine is built, starting from initial configuration (line 0) till final configuration (line t). It is a table of a polynomial size. Then these pages (52-54) show a method for obtaining the (CNF type) formula phi. TYPOS in Gai's document: A. Table on page 7, right column Current: (q2,0,S) (q2,0,S) Need to be: (q2,0,R) (q2,1,R) B. Page 52, 6 lines above bottom: y in {0,1} is wrong. Need to be y in {0,1} to the power p(|w|) Page 53 two TYPOs, in building phi: C. Middle of page, in the expression for phi: there is no phi_leagal Instead of phi_leagal it should be phi_cell D. Three lines below that: After phi_A missing equal sign. Needs to be phi_A = ... E. Page 54, comment in parenthesis on lines 7-8, comment saying (among other things) אבל אייל התעלם מהנושא Etc etc - is wrong, please ignore what is written in the parenthesis. The correct thing is that each Ci,j is influenced by four cells in the line above it: Cells j-1,j,j+1,j+2 (in line i-1). It is trivial to see by checking all the places q can be on line i-1 and the directions it can move, and check which ones influence Ci,j. F. Formula on line 11 is a little bit wrong: The boundaries need to be carefully checked (but it is just technical; anyhow we simply need to check ALL the rectangles). G. Line 12: the rectangle relevant for phi_move with index i and index j is the rectangle 2x4: (i-1,j-1) ; (i-1,j) ; (i-1,j+1) ; (i-1,j+2) (i,j-1) ; (i,j) ; (i,j+1) ; (i,j+2) So its left top corner is i-1 and j-1 (and not as written on line 12). Note that we can check all i,j in the entire configuration table, and see how to obtain Ci,j from the four terms (in the line above) that fully specify Ci,j. H. IF YOU SEE (OR YOU KNOW ABOUT) MORE TYPOS PLEASE EMAIL ME - I AM SURE THERE MUST BE A FEW MORE TYPOS. CONCLUSION FROM THIS THEOREM (COOK LEVIN THEOREM): Overall, pages 52-54 prove that for any problem in NP we can build a formula phi, such that if x is in L then phi is satisfiable.... (and vice versa - see below) E.g. for factoring we can ask about the larger factor of N=P*Q (say WLG the larger factor is Q): Is Q larger than some given number K? If N (namely Q that we do not know) satisfies it, then we say N is in L. The hint can be the factor Q itself. So in general, if x is in L, then phi that we built is satisfiable (there is a hint y that leads to HASSAMA that satisfies phi). If x is not in L, then there is no y that will satisfy phi (namely for EVERY hint y we get that phi is not satisfied, namely for every y we get phi=0). |
עדכון אחרון ב-25/3/2020, 04:22:02 Last updated on 25/3/2020, 04:22:02 Последняя модификация25/3/2020, 04:22:02 تمت الحتلنة الأخيرة ب-25/3/2020, 04:22:02 |
Zoom meeting today (and every Wednesday) at 14:30: 772-177-615 | |
Or - this link probably works: Join URL: https://technion.zoom.us/j/772177615 |
עדכון אחרון ב-25/3/2020, 03:22:01 Last updated on 25/3/2020, 03:22:01 Последняя модификация25/3/2020, 03:22:01 تمت الحتلنة الأخيرة ب-25/3/2020, 03:22:01 |
חומר חובה להרצאה של יום רביעי ה-25 למרץ - ראו בחומר הקורס | |
מדובר בשלשה נושאים הכרוכים זה בזה הגדרה מדויקת של מכונת טיורינג הוכחה שבעיית "סאט" היא אן-פי-שלמה הוכחה שבעיית "סאט-3" היא אן-פי-שלמה לינק למפגש זום יישלח ביום גימל להתראות ושתהיו בריאים |
עדכון אחרון ב-24/3/2020, 01:20:29 Last updated on 24/3/2020, 01:20:29 Последняя модификация24/3/2020, 01:20:29 تمت الحتلنة الأخيرة ب-24/3/2020, 01:20:29 |
meeting today at 14:30 | |
Here is the zoom link: https://technion.zoom.us/j/268720908 |
פורסם ב-18/3/2020, 13:30:46 Created on 18/3/2020, 13:30:46 Создано18/3/2020, 13:30:46 تم النشر ب-18/3/2020, 13:30:46 |
שלשה קבצים הוכנסו לאתר הקורס - הם חשובים לשיעור היום | |
בוקר טוב מומלץ שתעיינו בשלשת הקבצים עוד לפני השיעור השיעור יתנהל היום ככיתה הפוכה - אתם תשאלו שאלות ואני אענה ואולי גם אעמיק בכמה נקודות חשוב לי לציין שמעולם לא לימדתי אונליין ומעולם לא לימדתי כיתה הפוכה נקווה שנעבור את זה בכיף והיטב להתראות טל נ"ב לינק "זום" יישלח בהמשך |
פורסם ב-18/3/2020, 09:47:36 Created on 18/3/2020, 09:47:36 Создано18/3/2020, 09:47:36 تم النشر ب-18/3/2020, 09:47:36 |
שלום לכולם - ארבעה נושאים די דחופים | |
ברוכים הבאים לקורס המתקדם בחישוב קוונטי ============================== א. מחר יתקיים המפגש הראשון שלנו ב"זום". האם כולם כבר יודעים כיצד להתחבר? שכל אחד ייענה לי באימייל פרטי ב. שלחתי אימייל לכל מי שביקש להיות רשום לקורס, וגם לכל מי שביקש להיות שומע חופשי. אך ייתכן שעדיין ישנה אי-תאימות בין מי שרשום כאן באתר לבין מי שברשימת האימיילים שלי. גם את זה כדאי לסגור מולי בדחיפות באימייל פרטי קריטי לי כמובן שרשימת האימיילים אליהם אני שולח הודעות תהיה זהה לרשימה של הסטודנטים שמקבלים באימייל את ההודעה הזאת כך שכל מי שרואה את ההודעה באתר אך לא קיבל אימייל - שיודיע לי. את השומעים החופשיים אני אמור להוסיף ידנית (וכמדומני שכבר הוספתי את כולם), והמסטרנטים, סביר שאחד או שניים עדיין לא נקלטו במערכת או עדיין לא נרשמו פורמאלית ג. עדיין אין לי רשימה מלאה (ביקשתי מכם תשובה באימייל) לגבי מי לא למד חישוביות (זה לא קריטי כי אני מניח שרובכם לא למדתם). יותר קריטי לי לדעת מי לא למד אינפורמציה קוונטית ומי לא למד ספרתיות - תשובה לכך דחופה מאד, כבר לקראת השיעור הראשון, ועוד יותר לקראת השיעור השני ד. פרסמתי באימייל את הנושאים למחר - הסגנון מחר יהיה כיתה הפוכה, כלומר תשאלו שאלות על החומר ואני אענה. אם מישהו לא קיבל את האימייל - שיגיד לי בדחיפות. בעיקר מטרת השיעור מחר היא לראות שמסתדרים עם ה"זום", וגם ליישר קו מהר ככל האפשר מבחינת חומר הרקע שיש לכל הסטודנטים. לכן גם ביקשתי באותו האימייל שתעברו על חומר מסויים שרלוונטי ליישור הקו. מייד לאחר השיעור מחר או אולי כבר תוך כדי השיעור, אכוון אתכם ללימוד של משפט קוק-לוין, המשפט שלדעתי הוא החשוב ביותר בקורס בחישוביות: משפט זה מראה שקיימת בעיה שהיא NP-complete ומכאן ...... רגע, לא ברור לי אם אנגלית ועברית לא מתבלבלים לכם באימייל שאתם קוראים, אז אכתוב את הנ"ל בעברית בלבד: משפט קוק לוין מראה שקיימת בעיה שהיא אן-פי-שלמה ומכאן בקורס בחישוביות מפתחים עולם שלם של בעיות אן-פי-שלמות. מזכיר לכם שמשמעות הדבר היא שישנה בעיה כנראה מאד קשה (בהנחה שמתקיים פי שונה מאן-פי, אז הבעיה אכן מאד קשה), אך שבהינתן רמז, אזי מוודא קלסי יכול לוודא את הפתרון בצורה דטרמיניסטית. המטרה שלנו היא להבין את המשפט היטב בקריאה עצמית ובעזרתי - על מנת להתקדם (כנראה בשיעור השלישי) למשהו הרבה יותר מעניין עבורנו ב-"חישוביות קוונטית", כלומר להראות שיש בעיה קשה מאד שהיא שלמה לאנלוג הקוונטי של אן-פי, כלומר בהינתן רמז-קוונטי, הפתרון ניתן לבדיקה ע"י מוודא אשר יש בידיו מחשב קוונטי באימייל שלחתי לכם גם חומר עזר - שני קבצים בהקדם - גם אשים אותם כאן באתר תהיו בריאים להתראות ב"זום" - טל |
עדכון אחרון ב-17/3/2020, 18:15:49 Last updated on 17/3/2020, 18:15:49 Последняя модификация17/3/2020, 18:15:49 تمت الحتلنة الأخيرة ب-17/3/2020, 18:15:49 |