الخلاصة

  • لا تعني العدالة التناسبية أن يحصل الجميع على المعدّل نفسه. إنها تقارن التوزيع الممكن بكل بديل ممكن، وتسأل إن كان مجموع التغيّرات النسبية يمكن أن يصبح موجباً. لا يملك تدفق واحد هذه المقارنة.
  • فصل نموذج Kelly في 1997 بين منفعة المستخدم وقيود السعة. وفي 1998 ربط Kelly وAman Maulloo وDavid Tan هدفاً لوغاريتمياً موزوناً بخوارزميات موزعة أولية وثنائية.
  • سعر الظل ودالة Lyapunov دليلان داخل نموذج محدد، لا إيصالا دفع أو ضمانا عاماً. تتوقف دلالتهما على وحدة الهوية والأوزان والمسارات والسعات والتأخير والاضطراب.

المعدّل الفردي لم يحمل البدائل معه

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

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

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

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

نموذج 1997 أبقى المنفعة الخاصة خارج المركز

في Charging and rate control for elastic traffic يمثل Kelly قيمة المعدّل للمستخدم بدالة منفعة متزايدة ومقعّرة بصرامة. تستهلك المسارات سعات محدودة، ويبحث النظام عن أكبر مجموع للمنفعة من دون تجاوز تلك السعات.

الميزة التنظيمية هي التفكيك. يحل المستخدم مسألة محلية أمام سعر، وتحل الشبكة مسألة توزيع تحت القيود. تصل بينهما مضاعفات Lagrange. ويمكن قراءة مضاعف الوصلة بوصفه الكلفة الضمنية لوحدة تدفق إضافية أو سعر الظل لسعة إضافية.

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

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

آليتان محليتان اتجهتا إلى الهدف نفسه

ورقة 1998 عمل مشترك بين Frank Kelly وAman Maulloo وDavid Tan. تعظّم مجموعاً موزوناً للوغاريتمات تحت قيود السعة. يحوّل اللوغاريتم التغيير المطلق إلى تغيير نسبي، وتحول القيود شح الموارد إلى أسعار ظل على المسارات.

الحل المركزي يحتاج رؤية الشبكة كلها، كما تصبح اتصالاته معرضة للتأخير والفشل. لذلك درس المؤلفون عائلتين موزعتين.

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

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

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

برهان الاستقرار لم يلغ حدود النموذج

تحت شروط معلنة بنى المؤلفون دالة Lyapunov للنظام التفاضلي. تتحرك المسارات نحو نقطة مستقرة مرتبطة بمسألة التحسين المخففة. وبذلك حصل الانتقال من ردود محلية إلى خاصية عالمية على شاهد رياضي.

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

في مراجعته اللاحقة شدد Kelly على أن التدفق لا يعرف إلا خبرته بالازدحام وزمن عودة الإشارة. لا يعرف عدد المنافسين ولا بالضرورة عدد الموارد في مساره. ولعدم الاستقرار الناجم عن التأخير أسباب تختلف عن عدم الاستقرار العشوائي.

دالة Lyapunov إذن إيصال لنظام ديناميكي محدد. لا تشمل تلقائياً كل صفوف الانتظار، وأزمنة الذهاب والعودة، وتبدل المسارات، ووصول التدفقات القصيرة، وأخطاء القياس، والسلوك الاستراتيجي. وقد يأتي التوازن الصحيح بعد أن يكون التطبيق القصير قد انتهى.

وحدة العدالة كانت قراراً في السلطة

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

والوزن ليس ثابتاً طبيعياً. قد يمثل إنفاقاً أو أولوية أو حقاً تعاونياً في مورد. يمكن لتوزيع أن يكون متناسباً بالنسبة إلى أوزان معلنة، بينما يبقى وضع تلك الأوزان غامضاً أو منحازاً. شفافية الحساب لا تعوض غياب سجل الأوزان.

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

هذا الحد يحمي المعيار من ادعاء سلطة لا يملكها. تستطيع العدالة التناسبية الإجابة عن سؤال مشروط بدقة، لكنها لا تختار وحدها أصحاب الحقوق الشرعيين.

وصل Kelly الهدف العالمي بردود الفعل الجارية

تضع Royal Society أعمال Frank Kelly عند تقاطع العمليات العشوائية والشبكات والتحسين والتنظيم الذاتي للأنظمة الكبيرة. جمع في إطار واحد لغة المنفعة والندرة، ولغة القيود والمضاعفات، ولغة التغذية الراجعة والاستقرار.

يجب ألا يمحو الملف الشخصي العمل الجماعي. ورقة 1998 لـKelly وMaulloo وTan، كما أن تاريخ التحكم بالازدحام قبلها وأدبيات تعظيم منفعة الشبكة بعدها شارك فيهما كثيرون. إبراز Kelly لا يحول الحقل إلى اختراع فردي.

يوفر مبدأ Minimum Initial Specification اللاحق عند Heng Lu عدسة تحليلية معاصرة، لا مصدراً تاريخياً لنية المؤلفين. يحتاج المتشاركون إلى معنى أدنى ومحدد للهوية والسعة والإشارة والتوافق، لكنهم لا يحتاجون إلى تسليم كل منفعة خاصة لسلطة واحدة أو اعتماد متحكم واحد إلى الأبد. يصبح التغيير حقيقة بالتنفيذ والتحقق والاعتماد الطوعي.

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

المصادر