בתשובה לאורי גוראל-גורביץ', 13/06/08 23:21
כמה הערות 481360
הכל? בהחלט לא, כי מגבילים את גודל ה"רמז" שהמכונה מקבלת להיות פולינומי. הדוגמה הקלאסית היא המחלקה P/poly (מכונה פולינומית/רמז פולינומי לכל גודל קלט) שמכריעה שפות לא כריעות ולכן מהווה מודל "דמיוני", אבל לא מסוגלת להכריע כל דבר, ולכן עדיין מעניינת (בתור "חסם עליון" על מה שכן אפשר להכריע, כי היא מכילה את BPP).

כמה הערות 481362
תודה, אבל זה עדיין רמאות: כמו לקרוא ל- P מודל חישובי.
כמה הערות 481363
זה דומה, אבל אני לא מסכים שזה זהה (כאן זו שאלה של גודל התיאור, לא של כמה משאבים אנחנו מרשים למכונה לצרוך). מצד שני, מדובר כאן על הבדל שהוא פילוסופי בעיקרו ואנחנו ממילא באותו צד אז לא נריב.

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

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