الدرس 05: بناء المسافة واختبار التأثير المحلي

دع العمليات تحدد الجيران

ابدأ بعلامات السجلات المكتملة. عرّف علامتين بأنهما متجاورتان عندما تصلهما مقارنة أولية مسموحة. ينتج عن ذلك رسم بياني: العلامات رؤوس والمقارنات حواف. يساعدنا الرسم على رؤية شبكة العلاقات، لكن المواضع على الصفحة لا تحدد هندستها الإجرائية. وإضافة حافة بين علامتين تبدوان متباعدتين تجعلهما جارتين بحكم تعريف المقارنات المسموحة.

ينبغي أن تنشأ هذه الحواف في بناء نموذج الموناد المفرد من قانون عمليات المصدر وذاكرته المستمرة. يمكن لجدول تحويل مبرمج أن ينتج شبكة منتظمة ويثبت إمكانها. أما بيان سبب اختيار تلك البنية وبقائها مستقرة تحت الاضطرابات المسموحة فهو نتيجة فيزيائية أقوى. افصل قاعدة التحضير عن الديناميكيات اللاحقة التي تؤثر في الرسم البياني المحضَّر.

مثال محلول: المسار الأقل كلفة يحدد المسافة

أسند كلفاً موجبة إلى الحواف، وعرّف المسافة بأنها أصغر كلفة كلية لمسار يصل بين الطرفين. لنفترض أن كلفة A–B اثنان، وكلفة B–C ثلاثة، وكلفة A–C سبعة. كلفة الطريق المباشر من A إلى C سبعة، بينما تبلغ كلفة الطريق عبر B المقدار 2+3=5. ولذلك تكون المسافة خمسة.

يمكن أيضاً قراءة هذه المسافة من خلال كميات مرصودة مقيدة. لتُسند f قراءة حقيقية إلى كل رأس، على ألا تتجاوز الفروق كلفة الحافة. تحد متباينة المثلث فرقَ القراءة الكلي على أي مسار بكلفة ذلك المسار. ويحقق الاختيار f(A)=0, f(B)=2, f(C)=5 القيود الثلاثة كلها ويبلغ خمسة. وهكذا أعادت حدود المقارنة المحلية بناء المسافة الكلية نفسها.

لا تختار ثلاثة اتجاهات متريّة واحدة

تأمل شبكة مربعة ذات حواف أفقية ورأسية بطول الوحدة. من (0,0) إلى (1,1)، يتكون كل أقصر مسار مسموح من خطوتين، فتكون المسافة البيانية اثنين. أما المسطرة الإقليدية الموضوعة قطرياً على الرسم فتعطي √2. يقيس الجوابان مقارنات مسموحة مختلفة. ولا يزيل مجرد جعل الحواف المحورية أدقَّ التفضيلَ نفسه للحركة المحورية، إلا إذا تغير إجراء المقارنة أيضاً.

وبالمثل، للرسم البياني المكعبي ثلاثي الأبعاد مسافة مانهاتن التي تساوي مجموع القيم المطلقة لفروق الإحداثيات. وقد ينمو عدد مواقعه في منطقة كبيرة كتكعيب نصف القطر، بينما يبقى معياره مختلفاً عن الطول الإقليدي. تجيب الرتبة وبُعد النمو والمتريّة عن أسئلة مختلفة. ويحتاج الحد الفيزيائي المتساوي الخواص إلى آلية إضافية مبررة، لا إلى إعادة تسمية أحد المقاييس التشخيصية.

قانون منتهٍ يحفظ محلية التأثير

ضع سجلاً عند كل رأس. افترض أن دورة مكتملة واحدة تعمل أولاً داخل المواقع المنفردة، ثم تتبادل منافذ مخصصة عبر الحواف المجاورة. وافترض أن طبقة الحواف تتكون من مبادلات منافذ منفصلة لا تتداخل، وألا تصل قناة تحكم غير مدرجة مواقع متباعدة. لا يستطيع اضطراب محلي ابتدائي خلال تلك الدورة التأثير إلا في موقعه الأصلي والمواقع المجاورة.

كرر الحجة: بعد k دورات يُحصر تأثيره في الجوار البياني ذي نصف القطر k. هذا برهان بالاستقراء. تعطي الدورة الأولى دعوى الخطوة الواحدة؛ وتضيف كل دورة لاحقة حافة واحدة على الأكثر إلى كل مسار تأثير ممكن. والنتيجة حد دقيق لنطاق التأثير السببي في بنية الدارة هذه. وهي لا تتطلب افتراض أن المسح الداخلي للعداد حركة جسيم في حد ذاته.

أضف مسطرة وساعة فعلية

ليكن لكل حافة طول معاير ℓ، ولتستغرق كل دورة مكتملة مدة Δt تقيسها ساعة محددة. يصبح حد نطاق التأثير السابق ميلاً أقصى مقداره ℓ/Δt. فعندما يكون ℓ=3 وحدات طول وΔt=2 وحدتي زمن، تستغرق أربع دورات ثماني وحدات زمن وتبلغ اثنتي عشرة وحدة طول على الأكثر، فيكون الميل 3/2.

قد يؤدي مصدر تسلسلي عمليات داخلية كثيرة لتنفيذ دورة واحدة، ولذلك لا يثبت تسميتها نبضةً قيمةَ Δt. افحص أيضاً ذاكرة وحدة التحكم المحفوظة. فالسجل الذي يحمل معلومات غير معلومة بين مواقع متباعدة ينشئ قناة نقل؛ ويجب تمثيل رحلته في الرسم البياني أو استبعادها بالديناميكيات. وإلا فإن حد المحلية المدعى يحذف طريقاً فعلياً للتأثير.

استخدم اختبارات منفصلة قبل وصل النواتج

يعيد اختبار هندسي عملي أولاً بناء التجاور من العمليات، ثم يقيس أطوال المقارنات، ثم يثير اضطراباً في سجل محلي ويتتبع الاستجابات المتاحة. كرر ذلك بعد تغييرات صغيرة في تحضير المصدر. ينبغي للبناء المتين أن يحفظ جواراته المقصودة وقواعد انتشاره معاً، ضمن أخطاء معلنة.

تجعل نظرية ازدواجية الزمن حد الاكتمال مهماً بصورة خاصة: فالدورة المكتملة هي موضع تقييم الرسم البياني المحفوظ وعبارة نطاق التأثير. قد تنظم ستة أدوار داخلية متداخلة التحضير، بينما تصدّق الواجهة الخارجية النتيجة. يطور دليل المحلية البرهان الدقيق لنطاق التأثير، ويطور دليل المتريّة المقارنات المطبّعة. وينتقل الدرس 06 إلى بنية أخرى مطلوبة: حامل للطور يدعم ديناميكيات متماسكة قبل التسجيل.

تمارين وإجابات مفصلة

حاول حل كل سؤال، ثم افتح الإجابة لمقارنة الخطوات.

مقالات مرتبطة بالإنجليزية

• Why local geometry can be statistically rare

  Lattice-like signed operation tables are rare in the stated permutation ensemble, with an entropy penalty of order N log N. Bounded selection costs cannot overcome that asymptotic disadvantage under the theorem's assumptions.

• Generating a neighborhood and preserving local transport

  A generated graph predicts local influence only when later operations respect its edges and retained ports. Guarded transport supplies a finite-update support bound while exposing runtime and controller-memory requirements.

• A finite-update cone

  A stated quadratic update bound produces a candidate cone and an integrated speed limit. Its interpretation as physical causality also requires calibrated readings and dynamics that keep every relevant signal inside it.

• Graph distance from a normalized spectral block

  A direct sum of normalized edge blocks gives a commutator seminorm equal to the largest edge slope. Its state distance is exactly weighted shortest-path distance on a connected finite graph.