التجاور والمترية والانتشار نتائج متميزة. تعطي دائرة محلية مكتملة حداً لنطاق التأثير على الرسم البياني؛ أما السرعة المقيسة فتحتاج أيضاً إلى معايرة الطول والساعة.
ما ستتعلمه
- احسب مسافة أقصر مسار موزون.
- اشرح لماذا لا يؤدي التجاور المكعبي تلقائياً إلى المسافة الإقليدية.
- حوّل حد التحديث المحلي إلى حد مشروط لسرعة الانتشار.
قبل أن تبدأ: الدروس 01–04. تحتاج إلى الجمع ومتباينة المثلث والتمييز بين الحالة الكاملة وطريقة عرضها.
دع العمليات تحدد الجيران
ابدأ بتسميات السجلات المكتملة. اعتبر تسميتين متجاورتين عندما تربط بينهما مقارنة أولية مسموحة. ينتج من ذلك رسم بياني: التسميات رؤوس والمقارنات حواف. يساعدنا الرسم على رؤية الشبكة، لكن المواضع على الصفحة لا تحدد هندستها العملياتية. إن إضافة حافة بين تسميتين تبدوان متباعدتين تجعلهما جارتين، وفق تعريف المقارنات المسموحة.
في بناء لنموذج الموناد المفرد، ينبغي أن تنشأ هذه الحواف من قانون عمل المصدر وذاكرته الدائمة. يستطيع جدول إزاحات مبرمج إنتاج شبكة منتظمة وإثبات إمكان ذلك. لكن بيان سبب انتقاء هذه البنية وبقائها مستقرة تحت الاضطرابات المسموحة نتيجة فيزيائية أقوى. افصل قاعدة التحضير عن الديناميكيات اللاحقة التي تؤثر في الرسم البياني المحضّر.
افتح الرسم بالحجم الكامل ←
مثال محلول: المسار الأقل كلفة يحدد المسافة
أسند كلفاً موجبة إلى الحواف، وعرّف المسافة بأنها أقل كلفة كلية لمسار يصل بين الطرفين. افترض أن كلفة 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 إلى بنية أخرى لازمة: حامل للطور يدعم ديناميكيات متماسكة قبل التسجيل.
جرّب التمارين
حل كل سؤال، ثم افتح الإجابة لمقارنة الخطوات.
التمرين 1
إذا تغيرت كلفة الحافة المباشرة A–C من سبعة إلى أربعة، فاحسب d(A,C) واعرض قراءة مسموحة f تبلغ هذه المسافة.
اعرض الحل المفصّل
لا تزال كلفة المسار غير المباشر 2+3=5، بينما أصبحت كلفة المسار المباشر أربعة، ولذلك d(A,C)=4. اختر f(A)=0 وf(B)=2 وf(C)=4. الفروق الثلاثة اثنان واثنان وأربعة، ولا تتجاوز كلف الحواف اثنين وثلاثة وأربعة. تبلغ هذه القراءة المسافة الجديدة، وتؤكد أن الاختصار يغير المترية العملياتية.
التمرين 2
يبعد اضطراب خمس حواف عن كاشف. تسمح الحلقة الواحدة بانتقال التأثير حافة واحدة، وتستغرق ثلاث وحدات ساعة، وطول كل حافة وحدتان. أوجد أبكر وصول مسموح والميل الأقصى.
اعرض الحل المفصّل
لا يمكن لأقل من خمس حلقات أن تصل الاضطراب بالكاشف وفق حد نطاق التأثير المعلن. لذلك فإن أبكر زمن مسموح هو 5×3=15 وحدة ساعة، عبر طول بياني 5×2=10. والميل الأقصى هو 10/15=2/3 وحدة طول لكل وحدة ساعة. هذا حد أدنى لزمن الوصول، ولا يضمن وصول إشارة فعلية إلى الكاشف في ذلك الزمن.
تابع القراءة في المقالات
- لماذا قد تكون الهندسة المحلية نادرة إحصائياً
شرح حاجز الإنتروبيا أمام الذاكرات العلاقية الشبيهة بالشبكات ضمن مجموعة التباديل المحددة. تتعلق النتيجة بمسألة تحضير معينة، ولا تشمل كل آلية ممكنة لظهور المكان.
- توليد جوار والحفاظ على النقل المحلي
الفصل بين إعادة بناء التجاور المكاني واشتراط بقاء الديناميكيات اللاحقة محلية. وشرح قواعد النقل المقيّدة المستخدمة للحفاظ على المترية المتولدة.
- مخروط التحديث المحدود
تقديم الحد الذي يربط الإزاحة الأفقية بالإسقاط الزمني في مسودة السرعة الحدية. وتوضيح أن متباينة التحديث المحدود افتراض هندسي معلن.
- مسافة الرسم البياني من كتلة طيفية مطبّعة
تقديم بناء الكتلة البيانية الذي تساوي فيه مسافة كون مسافة أقصر مسار موزون. وشرح افتراضات التطبيع التي تقوم عليها هذه المساواة.