حاسبة تسريع فكّ التشفير التخميني
المدخلات
| معدّل القبول | 70 % |
|---|---|
| رموز المسوّدة لكل دورة | 5 |
| نسبة كلفة المسوّدة | 15 % |
حاسبة تسريع فكّ التشفير التخميني
تقدير تسريع فكّ التشفير من المعاينة التخمينية: أدخل معدّل قبول المسوّدة، ورموز المسوّدة لكل دورة، وكلفة المسوّدة النسبية للحصول على الرموز المتوقَّع قبولها والتسريع الفعلي.
المدخلات
النموذج المسوّد
النتائج
أدخل قيمة لعرض النتائج.
تفاصيل
تسريع فكّ التشفير التخميني
يسرّع فكّ التشفير التخميني توليد النموذج اللغوي بالسماح لنموذج مسوّد صغير ورخيص بتخمين عدة رموز مقدمًا، يتحقّق منها النموذج الهدف الكبير دفعة واحدة. فحين تصدُق التخمينات، ينتج الهدف عدة رموز بثمن تمريرة أمامية واحدة؛ وحين تخطئ، يعود إلى فكّ التشفير العادي. تقدّر هذه الحاسبة التسريع الناتج من ثلاثة أرقام: كم مرة تُقبل رموز المسوّدة، وكم رمزًا يُقترَح في كل دورة، وكم يكلّف النموذج المسوّد نسبةً إلى الهدف.
كيف يعمل
في المُفكِّك العادي يُشغَّل النموذج الهدف مرة واحدة لكل رمز. أما فكّ التشفير التخميني فيطلب من النموذج المسوّد اقتراح رمز، ثم يشغّل الهدف مرة واحدة للتحقق منها على التوازي. ويقبل الهدف كل رمز مقترَح ما دام يوافق ما كان الهدف نفسه سيعاينه، ويتوقّف عند أول اختلاف، ويعيد معاينة ذلك الموضع من توزيعه الخاص. ولأن الرموز المرفوضة تُصحَّح من الهدف، يكون المُخرَج مطابقًا إحصائيًا لفكّ التشفير العادي — فالطريقة تقايض حسابًا إضافيًا للمسوّدة بتمريرات هدف باهظة أقل دون تغيير ما يقوله النموذج.
الصيغة
إذا قُبل كل رمز باستقلال باحتمال ، فإن العدد المتوقَّع للرموز المُنتَجة لكل تمريرة هدف هو
τ=1−α1−αγ+1وهذا هو التسريع لو كان النموذج المسوّد مجانيًا. وبتحميل كل تمريرة مسوّدة كسرًا من تمريرة هدف، يصير التسريع الفعلي مقارنةً بفكّ التشفير العادي
S=(γc+1)(1−α)1−αγ+1يكافئ البسطُ القبولَ والاقتراحات الأطول؛ ويعاقب المقامُ عملَ المسوّدة الذي تكلّفه تلك الاقتراحات.
مثال محلول
لنفترض أن النموذج المسوّد يُقبل 70% من الوقت، ويقترح 5 رموز لكل دورة، وأن كل تمريرة مسوّدة تكلّف 15% من تمريرة هدف:
τS=1−0.71−0.76=0.30.8824≈2.94=(5×0.15+1)(0.3)0.8824=0.5250.8824≈1.68تُنتج كل تمريرة هدف نحو ثلاثة رموز في المتوسط، لكن بعد دفع ثمن خمس تمريرات مسوّدة يكون التسريع المُحقَّق نحو 1.7×. ورفع القبول إلى 90% يرفعه إلى ما يفوق 2× بكثير، بينما نموذج مسوّد أثقل — لنقل 40% من كلفة الهدف — يستعيد جزءًا كبيرًا من المكسب.
اختيار التهيئة
تهيمن أداتان. معدّل القبول يرتفع حين يكون النموذج المسوّد متوافقًا تمامًا مع الهدف، لذا تكون المسودات عادةً نماذج أصغر من العائلة نفسها أو نماذج مُقطَّرة من الهدف. أما طول المسوّدة فله نقطة مثلى: لأن القبول يتراكم، تتناقص احتمالية بقاء الشوط كله هندسيًا، فبعد بضعة رموز تطغى كلفة المسوّدة الإضافية على حالات القبول الطويلة النادرة. ويُظهر مسح عدد رموز المسوّدة هنا أين يبلغ التسريع ذروته لمعدّل قبول معيّن. ولرؤية كيف تتغذّى السرعة المحسَّنة لكل رمز في زمن الاستجابة الكلي، انظر حاسبة زمن استجابة الاستدلال.
الأسئلة الشائعة (FAQ)
ما معدّل القبول؟
بعد أن يقترح النموذج المسوّد متتالية من الرموز، يتحقّق منها النموذج الهدف ويقبل كلًا منها ما دام مطابقًا لما كان الهدف سيعاينه. ومعدّل القبول هو احتمال تلك المطابقة لكل رمز.
ويرتفع حين يكون النموذج المسوّد متوافقًا تمامًا مع الهدف — مثلًا نسخة أصغر من العائلة نفسها أو نموذج مضبوط لمحاكاته — وينخفض على النص الصعب أو خارج التوزيع.
والأهم أن فكّ التشفير التخميني دقيق: تُعاد معاينة الرموز المرفوضة من الهدف، فيكون توزيع المُخرَج مطابقًا لفكّ التشفير العادي.
لماذا تقلّل كلفة النموذج المسوّد التسريع؟
تشغّل كل دورة النموذج المسوّد عدة مرات لاقتراح الرموز والنموذج الهدف مرة واحدة للتحقق منها. ولو كان النموذج المسوّد مجانيًا لساوى التسريعُ عددَ الرموز المتوقَّع قبولها لكل تمريرة هدف. وعمليًا تستغرق كل تمريرة مسوّدة وقتًا، لذا يضيف المقام رموز المسوّدة مضروبةً في كلفتها النسبية.
والنموذج المسوّد الكبير جدًا يُبدِّد فائدته، ولهذا تكون المسودات الفعّالة أصغر من الهدف بكثير.
كم رمز مسوّدة ينبغي اقتراحه لكل دورة؟
ثمة نقطة مثلى. فاقتراح رموز أكثر يرفع أفضل حالة، لكن لأن القبول يتراكم تتناقص فرصة بقاء الشوط كله هندسيًا — فمتى رُفض رمز، طُرح كل اقتراح لاحق في تلك الدورة.
وبعد بضعة رموز تطغى كلفة المسوّدة المضافة على حالات القبول الطويلة النادرة. وتعتمد القيمة المثلى على معدّل القبول وكلفة المسوّدة؛ وتجربة عدة قيم هنا تُظهر أين يبلغ التسريع ذروته.
إخلاء المسؤولية
هذا نموذج مبسّط يفترض معدّل قبول ثابتًا لكل رمز وكلفة مسوّدة نسبية ثابتة. يختلف القبول الواقعي تبعًا للنص ودرجة حرارة المعاينة، ويضيف التحقق نفقات لا يلتقطها هذا النموذج، لذا تختلف التسريعات المقيسة. استعمل القيمة لمقارنة التهيئات لا بوصفها تنبؤًا دقيقًا.