|
(אם הבנתי נכון:) אילו "מצב" היה קט עם מקדם רציונלי (או רציונלי + רציונלי כפול שורש שתיים, לא משנה), ומצבים כאלה היו נכפלים ומחוברים ועוברים שערי H ו-T וכו', היה קל לסמלץ קלאסית. זה היה נכון גם אם "מצב" היה צ"ל של מספר פולינומי של קטים כאלה. (כששאלתי את השאלה היתה לי בראש תמונה של מספר קטן של קטים).
אבל נראה ש"מצב" הוא צ"ל של מספר אקספוננציאלי (בגודל ה"קלט") של קטים, ובצעד-חישוב אחד אתה משנה את המקדמים של כל המצב, כלומר מספר אקספוננציאלי של מספרים. זה באמת נותן יותר כח - כמה יותר, כבר תלוי במרחב התמרון המותר עם הפעולות הללו.
איני חושב שעושים שימוש כלשהו במקדמים ממשיים שרירותיים בקלט, זה נשמע לי לא מעשי להחריד. אני חושב שהכל קורה בשדה מספרים (הרחבה סופית, בפרט בת-מנייה, של Q, אולי פשוט ((Q(sqrt(2 ).
|
|