בתשובה לצפריר כהן, 23/09/19 13:52
מהעשיתם ביום 20/9/19? 709622
ןשאלה למבינים - האם מחשב קוונטי הוא מכונת טיורינג? (אני מניח שהתשובה היא כן והשאלה אידיוטית, ועדיין).
מהעשיתם ביום 20/9/19? 709624
לא. אין מחשב (קוונטי או קלאסי) שהוא מכונת טיורינג, ולו כי מכונת טיורינג היא בעלת סרט (זיכרון) אינסופי.
אם השאלה שלך היא אם מכונת טיורינג מסוגלת לחשב כל חישוב שמחשב קוונטי מסוגל לבצע, התשובה היא כן.
אם השאלה שלך היא אם מחשב קוונטי מסוגל לבצע חישוב בפחות צעדי חישוב (אסימפטוטית בגודל הקלט) מאשר מכונת טיורינג (דטרמיניסטית), התשובה היא שאנחנו לא יודעים.
מהעשיתם ביום 20/9/19? 709633
===> לא. אין מחשב (קוונטי או קלאסי) שהוא מכונת טיורינג, ולו כי מכונת טיורינג היא בעלת סרט (זיכרון) אינסופי.

תשובה קצת טהרנית.. לדעתי אפשר לכתוב בכיף‏1: מחשב קוואנטי ומחשב קלאסי שניהם שקולים למכונת טיורינג.

הסבר:

הדרך היחידה שבה מכונת טיורינג יכולה לנצל את הסרט האינסופי היא אם היא לעולם לא עוצרת. ויקי מספרת לי על הגרסא הזו של מכונת טיורינג, שהיא חסומה במשאבים: אוטומט חסום לינארית [ויקיפדיה]. בכל מקרה, בשפה בלתי פורמלית מקובל להגיד "מחשב א שקול למכונת טיורינג" או ש "שפת תכנות קוקוריקו שקולה למכונת טיורינג" והכוונה היא שהם יכולים ב*קירוב טוב* לחשב מה שכל מחשב (או שפת תכנות) אחרת יכולים לחשב. בקירוב טוב, דהיינו בהתעלם מכל מיני מגבלות זכרון, באגים, סיבוכיות וכו'. למשל בדיון 2762 גדי כותב: "חשוב לציין שגם המחשבים האמיתיים של ימינו, כמו זה שעל מסכו אתם קוראים מאמר זה, הוכחו כשקולים למכונת טיורינג – אין חישוב שניתן לבצע על מחשב מודרני, ואשר אינו ניתן לביצוע על מכונת טיורינג – ולהיפך. "

----
1 אלא אם כן אתה כותב מאמר פורמלי
מהעשיתם ביום 20/9/19? 709636
זה פשוט לא נכון.
מכונת טיורינג, עבור אלגוריתם נתון (למעשה תיאור של מכונת טיורינג אחרת שמורצת על מכונת טיורינג אוניברסלית) לא מגבילה את גודל הקלט ויכולה להריץ את האלגוריתם על כל גודל של קלט, ובהנחה שהאלגוריתם תמיד עוצר, היא תעצור עבור קלט בכל גודל. לכל מחשב (קלאסי או קוונטי) יש מגבלה על גודל הקלט שהוא יכול להריץ, לפחות עבור אלגוריתמים מסויימים (אני מניח שחישוב זוגיות, למשל, ניתן לבצע במחשב קלאסי על כל גודל של קלט, אבל אלגוריתמים שדורשים שטח אחסון שתלוי בגודל הקלט, לא).
מהעשיתם ביום 20/9/19? 709637
הרשה לי לנסח את אחד המשפטים שכתבתי מחדש. אם יש לי מחשב עם משאבים של X ג'יגהבייט, אז היכולת העקרונית של מכונת טיורינג לרוץ על קלט של "יותר גדול מ X" היא ממש לא מעניינת. אם הפונז צריך לעבוד על קלט יותר גדול מ X אז הוא יקנה עוד דיסקים עד שזה יהיה לו יקר מדי או משעמם מדי.

בקריאה שניה של התגובה שלך אני לא חושב שיש ביננו הרבה מחלוקת, פשוט זה עניין של טעם. אם מישהו אומר לי "האם נכון להגיד שסרגל הוא ישר" אני לא אגיד לו "לא! ולו בגלל שישר זה צורה אידאלית שבכל רזולציה הנגזרת שלה היא אפס" - אלא אני אגיד לו "כן, עד כדי שגיאה קטנה"
מהעשיתם ביום 20/9/19? 709638
*לישר יש נגזרת קבועה, לא אפס. וואטאבר
מהעשיתם ביום 20/9/19? 709645
תשובה טהרנית: הוא לא ישר. הוא קטע.
מהעשיתם ביום 20/9/19? 709655
קטעים איתכם.
מהעשיתם ביום 20/9/19? 709643
אכן, זו הטרמינולוגיה שאני מכיר ולשם כיוונה השאלה.

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

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