On strict ranking by pairwise comparisons

إليك ملخص تقني مفصل لورقة "حول التصنيف الصارم عبر المقارنات الزوجية" (On Strict Ranking by Pairwise Comparisons) للباحث جان بيير ماغنو (Jean-Pierre Magnot).

1. بيان المشكلة

تتناول الورقة تحديًا جوهريًا في منهج المقارنة الزوجية (PC): وهو الحصول على تصنيف صارم (حيث لا يتشارك عنصران في نفس الرتبة) من مصفوفة مقارنات زوجية، لا سيما عندما تكون البيانات المدخلة غير متسقة.

• السياق: في اتخاذ القرار متعدد المعايير (MCDM)، تتم مقارنة البدائل زوجيًا لاستخلاص الأوزان. ومع ذلك، غالبًا ما تؤدي الأحكام البشرية إلى حالات من عدم الاتساق (انتهاكات التعدي، مثل: $A > B$ و $B > C$، ولكن $A < C$).
• الفجوة: تعتمد الطرق التقليدية غالبًا على "إجراءات الاتساق" (مثل الإسقاط المتعامد) لفرض حالة من الاتساق على المصفوفة قبل استخلاص الأوزان. ويجادل المؤلف بأن هذه الإجراءات القياسية يمكن أن تدمر الترتيب الجوهري للبيانات، مما قد يؤدي إلى دمج عناصر متميزة في رتب متساوية أو تغيير الترتيب النسبي للعناصر.
• الهدف: وضع إطار رياضي يسمح باستخلاص تصنيف صارم مباشرة من مصفوفة غير متسقة دون الحاجة بالضرورة إلى فرض الاتساق العالمي أولاً، واقتراح مسألة تقليل (minimization problem) تضمن تحقيق كل من الاتساق والتصنيف الصارم في آن واحد.

2. المنهجية والإطار الرياضي

تستخدم الورقة أدوات من نظرية لي (Lie theory)، والطوبولوجيا، والتحسين (Optimization) لتحليل بنية مصفوفات المقارنة الزوجية.

أ. شرط R والتصنيف الصارم

يعرف المؤلف التصنيف الصارم (Strict Ranking) ليس مجرد مجموعة من الأوزان، بل كخاصية طوبولوجية محددة لمصفوفة المقارنة الزوجية.

• التعريف: تحقق المصفوفة شرط R إذا كانت تسمح بوجود تبديل (permutation) $\sigma$ للعناصر بحيث يكون $w_{\sigma(1)} < w_{\sigma(2)} < \dots < w_{\sigma(n)}$.
• الصياغة الرياضية: هذا يكافئ الشرط الذي ينص على أنه لكل $i, j$، فإن $i = j \iff a_{i,j} = 1$. وإذا كان $i \neq j$، فإن $a_{i,j} \neq 1$.
• المواضع المسموح بها (Admissible Loci): يتم تقسيم مجموعة جميع مصفوفات المقارنة الزوجية ($PC_n$) إلى مكونات متصلة. يحدد المؤلف المواضع المسموح بها ($RPC_n$) حيث يوجد تصنيف صارم. وتتميز هذه المواضع بإشارات لوغاريتمات مدخلات المصفوفة ("مصفوفة التصنيف المميزة").
• الرؤية الجوهرية: يمكن أن يوجد تصنيف صارم حتى لو كانت المصفوفة غير متسقة. فالاتساق ليس شرطًا مسبقًا لإرساء ترتيب صارم، بل هو شرط مسبق لوجود مجموعة فريدة من الأوزان التي تعيد بناء المصفوفة بدقة.

ب. التحليل الطوبولوجي لمواضع التصنيف

• تثبت الورقة وجود تقابل (bijection) بين مجموعة التبديلات $S_n$ (التصنيفات الممكنة) والمواضع المسموح بها في $RPC_n$.
• النظرية 3.6: بالنسبة لـ $n \geq 3$، توجد مواضع غير مسموح بها في $RPC_n$. وهذا يعني وجود مصفوفات تكون فيها المقارنات الزوجية متناقضة بطريقة تمنع أي تصنيف صارم (مثل الهيمنة الدورية التي لا يمكن جعلها خطية).
• عدم استقرار إجراءات الاتساق: يوضح المؤلف (النظرية 3.8) أن إجراءات الاتساق القياسية (مثل الإسقاط المتعامد) غير مستقرة فيما يتعلق بشرط R. فالمصفوفة التي تحقق شرط R يمكن تحويلها بواسطة إجراء اتساق إلى مصفوفة:
  1. لم تعد تحقق شرط R (تتساوى العناصر).
  2. تحقق شرط R ولكنها تنتمي إلى موضع مسموح به مختلف (يتغير ترتيب التصنيف).

ج. الحل المقترح: الدالة الوظيفية $\Phi$

لحل الصراع بين الاتساق والتصنيف الصارم، يقترح المؤلف مسألة تقليل جديدة محددة بواسطة دالة وظيفية $\Phi: APC_n \to \mathbb{R}^+$.

• النطاق: الدالة معرفة على $APC_n$ (مجموعة المصفوفات المسموح بها)، مع استبعاد المصفوفات التي تتساوى فيها العناصر صراحةً ($RCPC_n$).
• التعريف:
  $$\Phi(A) = \left( \prod_{i<j} \frac{ii(A)}{(\log a_{i,j})^2 + (ii(A))^{n(n+1)/2}} \right) \times \sum_{i<j} ((\log a_{i,j})^4 + 1)$$
  حيث $ii(A)$ هو مؤشر عدم اتساق قياسي.
• الخصائص:
  1. $\Phi(A) = 0$ إذا وفقط إذا كانت $A$ متسقة وتلبي شرط R (تصنيف صارم).
  2. الدالة $\Phi$ غير معرفة (أو تتباعد) إذا كانت $A$ تحتوي على عناصر متساوية ($a_{i,j}=1$ لـ $i \neq j$)، مما يعاقب التصنيفات غير الصارمة.
  3. تم تصميم الدالة الوظيفية ليتم تقليلها باستخدام طرق التدرج (gradient methods).

3. النتائج الرئيسية

1. فك الارتباط بين الاتساق والتصنيف: تثبت الورقة أن التصنيف الصارم هو خاصية طوبولوجية للمكون المتصل (locus) الخاص بالمصفوفة، ولا يتطلب بالضرورة أن تكون المصفوفة متسقة.
2. فشل الإجراءات القياسية: ثبت رياضياً أن تحويل مصفوفة غير متسقة إلى مصفوفة متسقة عبر الإسقاط المتعامد يمكن أن يغير التصنيف الصارم أو يلغيه تمامًا.
3. وجود مواضع غير مسموح بها: لا يمكن تصنيف جميع المصفوفات غير المتسقة تصنيفًا صارمًا؛ فبعضها يحتوي على تناقضات جوهرية (هياكل دورية) تمنع الترتيب الخطي.
4. نظرية التقليل: تم بناء الدالة الوظيفية $\Phi$ بحيث يمثل حدها الأدنى العالمي (القيمة 0) بشكل فريد مصفوفة متسقة تحافظ على الترتيب الصارم للبيانات الأصلية.
5. التباعد عند الحدود: تتباعد الدالة $\Phi$ إلى $+\infty$ كلما اقتربت المصفوفة من حدود المجموعة المسموح بها (حيث تتساوى العناصر)، مما يضمن أن خوارزميات التحسين تتجنب طبيعيًا انهيار الرتب.

4. الأهمية والمساهمات

• نموذج جديد: تتحدى الورقة الحكمة التقليدية التي تقضي بضرورة تحقيق الاتساق قبل التصنيف. فهي تقترح أن التصنيف هو بنية أولية يمكن استخراجها من البيانات غير المتسقة، بشرًا ما كانت البيانات تقع في "موضع مسموح به".
• المتانة: من خلال تقديم الدالة الوظيفية $\Phi$، يوفر المؤلف أداة نظرية لإيجاد "أفضل ملاءمة" لمصفوفة متسقة تحترم الترتب الصارم الأصلي، متجنبًا عيوب طرق الإسقاط القياسية.
• التطبيق متعدد التخصصات: يربط العمل بين علوم اتخاذ القرار (مشكلات التصنيف)، ونظرية لي (الخرائط اللوغاريتمية، البنى الزمرية)، والفيزياء (إشارات إلى الجاذبية الكمية الحلقية والهولونوميات).
• الرؤية النفسية: تشير الخاتمة إلى أن الحكم البشري غالبًا ما يعتمد على قيم لغوية غامضة بدلاً من أرقام دقيقة. ويقترح المؤلف أنه بينما يعمل النموذج الرياضي الحالي للتطبيقات التقنية (مثل الشبكات اللاسلكية)، فإن المشكلات التي تركز على الإنسان قد تتطلب هياكل أكثر تعقيدًا (مثل زمر لي غير الآبلية - non-Abelian Lie groups) لنمذجة "غموض" التفضيلات بشكل أفضل من الأعداد الحقيقية البسيطة.

5. الخاتية

يقترح جان بيير ماغنو نهجًا رياضيًا صارمًا للتصنيف الصارم يعطي الأولوية للحفاظ على الترتب على حساب الاتساق الفوري. ومن خلال تعريف شرط R والدالة الوظيفية $\Phi$، تقدم الورقة حلاً لمشكلة استخلاص تصنيف صارم ومتسق من مقارنات زوجية غير متسقة، مثبتة أن طرق الاتساق القياسية غالبًا ما تكون غير كافية أو ضارة بسلامة التصنيف. وتترك الورقة التنفيذ العملي لتقليل التدرج على $\Phi$ وتوسيع النطاق إلى الهياكل غير الآبلية للبحث المستقبلي.