لعبة لا نعرفها: الرياضيات الخفية لكل قرار

الرهان

إشارة المرور على وشك أن تتحول إلى الأحمر. عشرون مترا. تضغط على الدواسة أم ترفع قدمك؟ قرارك يعتمد على ما تعتقده في القائد الذي أمامك - وهو بدوره يحسب ما ستفعله أنت.

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

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

صف المخبز صباحا. عجوز تقترب متعبة. أنت الأول في الصف. تتنحى جانبا أم تبقى مكانك؟ الإجابة "الأخلاقية" واضحة - لكن ما الذي يجعل البشر أحيانا يتنحّون وأحيانا لا يفعلون؟

مفاوضة سعر السيارة. البائع يعرف كم تستطيع أن تدفع؟ أنت لا تعرف حد توقفه الأدنى. كلاكما يُخفي ورقة. كلاكما يقرأ الآخر. من يبدأ بالرقم الحقيقي أولا يخسر.

الحساب في المطعم مع الأصدقاء. أحدهم أكل ضعف الباقين. هل تقسّمون بالتساوي أم بالفعلي؟ قبل أن يُسأل أحد، كلكم يحسب ما سيقوله الآخرون.

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

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

لماذا نِم

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

هذه اللعبة اسمها نِم.

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

لكن ذلك كله لاحقا. الآن: اللعبة.

قواعد نِم في ثلاثة سطور

اللعبة بسيطة لدرجة أنها تبدو مملة. وهذا هو المغزى.

1. أمامك ثلاث كومات من الأعواد. مثلا: ٣ و ٤ و ٥.
2. في دورك: اختر كومة واحدة فقط. خذ منها أي عدد تريده - عودا واحدا أو اثنين أو كلها. لكن من كومة واحدة فقط في الدور الواحد.
3. تتناوب الأدوار بينك وبين الخصم. من يأخذ آخر عود في اللعبة كلها يفوز.

لا حظ. لا خداع. لا معلومات مخفية. كلاكما يرى كل شيء.

ومع ذلك - وهذا هو الرهان - أستطيع أن أضمن الفوز.

هذه الفكرة - أن نتيجة اللعبة محسومة رياضيا منذ البداية لمن يعرف القاعدة - هي قلب ما يسميه الرياضيون "حل اللعبة". ونِم هي أبسط لعبة محلولة على الإطلاق. أول من حلّها كان أمريكيا اسمه بوتون في ١٩٠١. سنعود له في الفصل القادم.

الآن العب.

لا تقرأ ما تحت اللعبة قبل أن تجرّب على الأقل خمس مرات. امرر الفأرة فوق عود لترى كم ستأخذ - الأعواد التي ستؤخذ ستُضاء بالأحمر. انقر لتؤكد الأخذ. ثم ينتظر الخصم ثانية ويرد. تكرر حتى يأخذ أحدكما آخر عود.

خسرت؟ هل خسرت خمس مرات؟ ربما عشرا؟ لا تيأس. الفصل القادم يكشف السر - سر كتبه بوتون في أربع صفحات عام ١٩٠١. وبعد أن تعرف السر، سنبدأ رحلة عبر عشرة قرون: من رقعة شطرنج في بغداد مع الصولي، إلى كتاب حيل عربي مجهول المؤلف من القرن الرابع عشر، إلى غرفتَي سجن في أي مدينة في العالم، إلى صالة انتظار مستشفى في بيتسبرغ حيث الرياضيات تنقذ حياة حقيقية. البنية في كل محطة واحدة. اللعبة في كل محطة هي نِم.

XOR

خسرت؟ جيد.

الخسارة كانت مقصودة. الكمبيوتر لم يكن يخمّن ولم يقرأ تفكيرك - كان يحسب. وما ستراه بعد قليل هو كل الحساب. لكن قبل أن أقوله: توقف لحظة. السر سيبدو ساخرًا من بساطته.

الحدس: الموازنة

ابدأ بلعبة أصغر: كومتان متساويتان، كل منهما فيه ٤ أعواد. هل تعرف الاستراتيجية الفائزة؟

انسخ ما يفعله الخصم. هو يأخذ ٢ من الكومة اليسرى، أنت تأخذ ٢ من اليمنى. هو يأخذ ١، أنت تأخذ ١. ومهما فعل - تصل إلى (٠، ٠) في دوره. يخسر.

هذه هي البذرة. "كومتان متساويتان = متوازن = خاسر لمن دوره". لكن ماذا عن ثلاث كومات؟ أو أربع؟ أو كومات غير متساوية؟

الإجابة في الأعداد الثنائية. اكتب كل كومة بأصفار وآحاد، وضعها فوق بعضها. إذا كان عدد الـ١ات في كل عمود زوجيا، فأنت في وضع "متوازن" (خاسر). إذا كان فرديا في أي عمود، فأنت في وضع مكسور - وتستطيع الفوز.

XOR هو الاسم الرياضي لهذه الفكرة: عدّ ١ات كل عمود، إذا فردي ← النتيجة ١، إذا زوجي ← ٠.

ربحت اللعبة في الواقع بنفس المنطق: في كل دورك تُسقط XOR إلى صفر، فتترك الخصم في وضع "متوازن" (= خاسر). حركته تكسر التوازن. دورك يُعيد التوازن. تكرر حتى ينتهي. اللعبة التفاعلية تحت هذا الفصل تُظهر الحساب يحدث مع كل حركة - ستراه حيا بدل أن تقرأه.

رابعا: شاهد المباراة كاملة

بدل أن أُثبت لك القاعدة بجبر، دعنا نلعب المباراة كاملة ونتابع XOR بعد كل حركة. ستفهم البرهان قبل أن أكتبه.

1. أنت
   خذ عودَين من كومة 3
   (1, 4, 5) XOR = 0
2. الخصم
   يأخذ 3 من كومة 5
   (1, 4, 2) XOR = 7
3. أنت
   4 XOR 7 = 3. خذ 1 من كومة 4
   (1, 3, 2) XOR = 0
4. الخصم
   يأخذ 2 من كومة 3
   (1, 1, 2) XOR = 2
5. أنت
   خذ كل كومة 2
   (1, 1, 0) XOR = 0
6. الخصم
   يأخذ العود الوحيد من كومة (مجبور)
   (0, 1, 0) XOR = 1
7. أنت
   تأخذ العود الأخير
   (0, 0, 0) ربحت

لاحظ النمط: بعد كل حركة منك، XOR يعود إلى صفر. بعد كل حركة من الخصم، XOR يكسر الصفر. هذا هو قلب البرهان.

ولماذا هذا النمط حتمي؟ ثلاث ملاحظات مختصرة:

هذه اللعبة حُلَّت بالمعنى الرياضي الدقيق: كل موقف يحمل إجابته داخله. لا تخمين، لا حدس، لا حظ.

الرجل الذي رأى هذا أولا

في ١٩٠١، في كامبريدج ماساتشوستس، كتب بوتون أربع صفحات غيّرت ما نسميه "حل اللعبة".١ الورقة بلا زخرفة: تعريف، مثال، برهان. ثم جملة: "اللعبة محلولة."

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

ما أجده مدهشًا ليس أن الحل موجود. المدهش أنه بسيط إلى هذا الحد.

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

أنت الآن في الجانب الفائز من اللعبة. لكن نِم نفسها صغيرة. ماذا لو أن ألعابا أخرى - تبدو مختلفة شكلا تماما - هي نِم في ثوب آخر؟ ماذا لو أن لعبة الملكة على رقعة الشطرنج، ولعبة قلب العملات المعدنية، ونِم نفسها - ثلاثتها وجه لشيء واحد؟

هذا السؤال انتظر ثلاثة عقود. وأجاب عنه اثنان في بلدَين، في نفس اللحظة تقريبا، دون أن يعرف أحدهما بالآخر.

التنكر

قبل أن تفهم ما وجده سبراغ وغراندي، عليك أن تفهم ما هي اللعبة المحايدة.

اللعبة المحايدة (impartial game) هي لعبة لا يفرق فيها الموقف بين اللاعبين. بكلام أوضح: في كل موقف من مواقف اللعبة، كلا اللاعبين يملكان بالضبط نفس الخطوات المتاحة. لا يوجد "قطعي" و"قطعك". لا يوجد "دوري" بمعنى مختلف. الاختلاف الوحيد هو من يتحرك الآن.

نِم هي نموذج مثالي للعبة المحايدة: من أي وضع، أي من اللاعبين يستطيع أن يأخذ من أي كومة. لا أحد يملك كومات محددة. الأعواد مجرد أعواد.

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

هذا التعريف يُحدد نطاق المبرهنة بوضوح. والنطاق واسع بما يكفي ليضم مئات الألعاب المختلفة الشكل.

لعبتان تبدوان مختلفتين تماما

لعبة ويثوف (Wythoff's game) اخترعها الرياضي الهولندي ويليم ويثوف سنة 1907. تخيّل رقعة شطرنج كبيرة فيها ملكة واحدة. الملكة تبدأ في خانة ما، والخانة المستهدفة هي الزاوية (0، 0) - الركن الأسفل الأيسر. في كل دور، يستطيع اللاعب أن يُحرك الملكة نحو (0، 0) بأي عدد من الخانات: إما رأسيا، أو أفقيا، أو قطريا - لكن دائما باتجاه (0، 0)، لا بعيدا عنها. من يضع الملكة في (0، 0) يفوز.

اللعبة تبدو وكأنها عن الهندسة ورقعة الشطرنج. لا علاقة ظاهرة لها بالأعواد.

لعبة قلب السلاحف (Turning Turtles) أغرب شكلا. ضع صفا من العملات المعدنية: بعضها صورة (وجه) وبعضها كتابة. في كل دور، يجب على اللاعب أن يقلب عملة واحدة من الصورة إلى الكتابة - ثم يستطيع اختياريا أن يقلب أي مجموعة من العملات التي تقع على يمينها (في أي اتجاه). من يقلب آخر صورة إلى كتابة يفوز.

هذه اللعبة لا تشبه نِم في شيء ظاهر. لا كومات، لا أعواد، لا أرقام واضحة.

لكن كلتا اللعبتين محايدتان. وكلتاهما محدودتان - لا تستمران إلى الأبد، كل حركة تُقرّب من النهاية. وهذا يكفي لتطبيق المبرهنة.

أعداد غراندي: ما معنى الرقم على الخانة؟

قبل أي تعريف رياضي، لنبني الحدس من نِم نفسه.

تذكّر: في نِم بكومة واحدة حجمها ٤ أعواد، أنت رابح. ولو كانت ٧، أنت رابح. ولو كانت ٠، أنت خاسر (لا تستطيع أن تتحرك). حجم الكومة هو كل شيء - رقم واحد يُلخّص الموقف كاملا. صفر يعني خسارة. أي رقم غير صفر يعني ربح.

عدد غراندي يأخذ هذه الفكرة ويعمّمها: لكل موقف في أي لعبة محايدة، نُعطي رقما واحدا يلعب دور "حجم الكومة المكافئة". الرقم يُلخّص الموقف كاملا. وقاعدته نفس قاعدة نِم:

بهذا الرقم الواحد، أي لعبة محايدة تصير نِم. الأرقام على الخانات في جميع الألعاب التالية - الرخ والملكة والحصان والسلاحف - هي هذا الرقم. الخلية الخضراء (G=٠) هي حركتك الفائزة: انقل قطعتك إليها، فيصلها الخصم بلا مخرج.

الحالة الأبسط: نِم نفسه

في نِم بكومة واحدة من n عود، عدد غراندي يساوي n بالضبط. لماذا؟ لأن كومة فيها ٣ أعواد تسمح لك بالوصول إلى كومات فيها ٠ و١ و٢. أي أنها تَصِل إلى جميع الأرقام الأصغر منها. ومن كومة فيها ٤، تصل إلى ٠ و١ و٢ و٣. وهكذا.

هنا يظهر مبدأ أساسي: من موقف قيمته k، تستطيع الوصول إلى كل القيم من ٠ إلى k-١، ولا تستطيع الوصول إلى k نفسه. هذا ما يُميّز الرقم k عن غيره. هو الحد الأدنى الذي لا تستطيع الوصول إليه من موقفك الحالي.

التعريف الرسمي: دالة mex

الرياضيون سمّوا هذه العملية mex - "الحد الأدنى المستثنى" (minimum excludant). خذ مجموعة من الأعداد الطبيعية. أصغر رقم غير موجود فيها هو mex.

عدد غراندي لموقف = mex لمجموعة أعداد غراندي للمواقف التي يمكن الوصول إليها بخطوة واحدة.

لماذا mex بالذات؟ لأنه الرقم الوحيد الذي يعطي القاعدتين في آن:

• من موقف قيمته G=k، مجموعة الوجهات تحوي ٠ و١ و... وk-١ (وربما أكثر). أي أن ٠ موجود في الوجهات - إذن تستطيع دفع الخصم إلى فخ.
• من موقف قيمته G=٠، ٠ ليس في الوجهات (لأن mex=٠ يعني المجموعة لا تحوي ٠). أي حركة تنقل الخصم إلى G≠٠ - وضع رابح له.

هكذا الرقم نفسه يحمل المعنى: قيمة الموقف، وإمكانية الهبوط منه إلى فخ، والفخ نفسه حين يكون صفرا.

كيف تُبنى الأرقام؟ من النهاية إلى البداية

التعريف يبدو دائريا: G لموقف يحتاج G لمواقف أخرى. من أين نبدأ؟

من النهاية. الموقف الذي لا حركة منه: مجموعة وجهاته فارغة، mex للمجموعة الفارغة هو ٠. إذن كل موقف نهائي قيمته ٠. هذا حجر الأساس.

ثم نصعد. كل موقف حركاته تؤدي إلى مواقف نعرف G لها. نحسب mex. نكتب القيمة. نكرر.

لنرَ هذا البناء حيا على لعبة بسيطة: كومة من ٨ أعواد، في كل دور خذ ١ أو ٢ أو ٣. من يأخذ الأخير يفوز.

النمط الذي ظهر: ٠، ١، ٢، ٣، ٠، ١، ٢، ٣، ٠. دوري بفترة ٤. كل موضع يقبل القسمة على ٤ هو فخ. الأرقام ليست عشوائية - هي توضح بنية اللعبة كاملة في خريطة واحدة.

تلك كانت لعبة في صف واحد. الألعاب القادمة على لوحة ثنائية الأبعاد. لنرَ البناء على أبسط لوحة: رخ ٤×٤ يهدف إلى الركن (0,0).

نفس هذا البناء ينطبق على الحصان والملكة والسلاحف. الأرقام التي ستراها على كل خانة في الألعاب التالية محسوبة بالطريقة نفسها: ابدأ من الركن، احسب mex للخلايا التي يصلها، اصعد.

أبسط مثال: الرخ

لنبدأ بأبسط اللعبات المتنكرة. رخ على رقعة. الهدف: الركن (0, 0). الحركات الشرعية: أفقيا فقط يسارا، أو رأسيا فقط أسفلا. بأي عدد من الخانات. لا قطريا.

خذ لحظة. موقع الرخ هو (٤، ٣): ٤ خانات فوق الركن، ٣ خانات يمينه. في كل دور تختار: إما تُنقص الرقم الرأسي بأي قدر، أو تُنقص الرقم الأفقي بأي قدر. من يصل (0, 0) يفوز.

هل لاحظت؟ هذه نِم. كومتان. الأولى حجمها ٤ والثانية حجمها ٣. "خذ من إحداهما" = "حرّك الرخ في اتجاه واحد". الخانتان المتبقيتان هما الكومتان المتبقيتان. قاعدة الفوز هي قاعدة بوتون نفسها: اجعل XOR للإحداثيَين صفرا.

إذن: الرخ على شبكة = نِم بكومتَين. هذا ليس تماثلا شكليا - هذا تكافؤ تام. كل موقع للرخ يُطابق زوج كومات، وكل حركة رخ تُطابق حركة نِم، والرابح في الحالتَين هو الرابح في الأخرى.

الآن أضف القطري.

مثال ثان: لعبة ويثوف

نستبدل الرخ بملكة. نفس الهدف (الركن (0, 0))، نفس الحركات الأفقية والرأسية - لكن الملكة تتحرك قطريا أيضا. بأي عدد من الخانات نحو (0, 0) على القطر. هذا هو الفارق الوحيد.

يبدو تعديلا صغيرا. لكن القطري يكسر تكافؤ نِم. لم تعد الإحداثيتان كومتَين مستقلتَين - حركة قطرية تُنقصهما معا. أعداد غراندي تتغير، وتظهر قيم أكثر تعقيدا تتعلق بالنسبة الذهبية. لعبة محايدة جديدة، تكافؤها مع نِم ما زال موجودا (سبراغ-غراندي يَضمن ذلك) لكنه أعمق:

لنرَ البناء نفسه ينسجم على لوحة ويثوف. نفس الخوارزمية كما في الرخ - لكن كل خلية الآن تصل إلى خلايا أكثر بسبب القطر:

ستلاحظ: قيم غراندي هنا ليست بسيطة مثل الرخ. هناك نمط يتعلق بالنسبة الذهبية - لكن ذلك لاحقا. ما يهم الآن: نفس الخوارزمية. احسب G، إذا غير صفر ابحث عن حركة إلى G=0، ادفع الخصم إلى الفخ.

مثال ثالث: لعبة الحصان المقيد

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

الحصان يلعب ٤ حركات محددة فقط (بدلا من ٨ للحصان العادي). من موقعه يصل إلى عدد محدود من الخلايا. ومن كل خلية يصل إلى عدد آخر. حتى يصل إلى زاوية لا مخرج منها.

السؤال: ما استراتيجيتك الفائزة؟ وهل تفوز من أي بداية؟ الجواب في أعداد غراندي:

اللعبة محلولة. من أي موقع بقيمة غراندي غير صفر، توجد حركة إلى قيمة صفر. من ٠، كل حركة تؤدي إلى غير-صفر. تماما كما في نِم. هذا هو جوهر سبراغ-غراندي: التوازن نفسه، بثوب جديد.

لماذا هذه الاستراتيجية تفوز دائما من موقف G≠0؟ لأن G يُعرّف بخاصية mex: كل عدد أصغر من G موجود في قيم المواقف القابلة للوصول. إذن من موقف G=k يوجد دائما حركة إلى موقف G=0. ومن موقف G=0، كل الحركات تؤدي إلى G>0 (وإلا لم يكن mex يساوي 0). فالخصم يكسر الصفر، وأنت تعيده. حتى يصل لموقف لا حركة منه - G=0 بلا حركة - ويخسر.

مثال رابع: لعبة قلب السلاحف

انظر إلى الصف: ست عملات. ثلاث منها وجه. يبدو أبعد ما يكون عن نِم. لا كومات، لا أعواد، لا أرقام. مجرد صور وكتابة في صف.

لكن احسب: إذا كانت العملات-الوجوه في المواقع ٠ و٣ و٥ - فـ XOR تلك المواقع: ٠ XOR ٣ XOR ٥ = ٦. هذا هو عدد غراندي. ونِم نفسه بكومة واحدة من حجم ٦ يُلعب بنفس القيمة. لعبتان بلغتَين، هيكل واحد.

الحصان كان وجه آخر للتنكر. السلاحف وجه ثالث. وهذه هي نقطة المبرهنة: ليس "هذه اللعبة تشبه تلك" بل "هذه اللعبة هي تلك - بدون استثناء". العب:

لاحظ أن Grundy = XOR لمواقع الصور. نفس الحساب تماما الذي تعلّمناه في الفصل السابق - فقط على أرقام تمثل مواقع العملات بدلا من أحجام الكومات.

مبرهنة سبراغ-غراندي

حين تلعب لعبة مركبة من لعبتين مستقلتين في آن واحد - أي أن دورك يعني تحريك حركة واحدة في إحدى اللعبتين - تكون القاعدة:

هذه هي مبرهنة سبراغ-غراندي في جوهرها. وتمتد إلى أي عدد من اللعبات المستقلة بنفس الطريقة التي تمتد بها XOR لنِم بكوم متعددة.

النتيجة العملية: كل موقف في أي لعبة محايدة محدودة يُكافئ تماما كومة نِم واحدة حجمها G(الموقف). إذا كان G = 0 فأنت في وضع خسارة. إذا كان G ≠ 0 فأنت في وضع ربح.

لعبة ويثوف، من أي موقع (x، y)، يمكن حساب عدد غراندي لها - وهو رقم محدد يصف ما إذا كان الموقف رابحا أم خاسرا. لعبة قلب السلاحف بكل تعقيدها البصري هي في النهاية مجموعة من البتات (bits)، وXOR القيم الثنائية لمواقع الصور هو عدد غراندي للحالة الكاملة. اللعبتان، رغم اختلاف شكلهما الكامل، تخضعان لنفس الحساب الذي يخضع له نِم.

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

حين تنكشف الوحدة

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

هذه هي فكرة "التنكر" التي سمّى بها الفصل. اللعبة تبدّل شكلها - ملكة بدل أعواد، عملات بدل كومات، حصان بدل أرقام - لكن عدد غراندي يخترق كل هذا التنكر ويرى الجوهر. من أي لعبة محايدة محدودة، خطوتان تكفيان: احسب G، ثم العب نِم.

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

لكن قصة سبراغ وغراندي تحمل طبقة أعمق. الاكتشاف المستقل ليس مصادفة. سبراغ في ألمانيا وغراندي في بريطانيا لم يتواصلا. لم يقرأ أحدهما ورقة الآخر. سنة 1935، سنة 1939. نفس المبرهنة، مكانان منفصلان، عقلان لم يعلم أحدهما بالآخر. كأن الفكرة كانت هناك في انتظار من يلتقطها - أيًا كان ومن أيٍّ كانت جهته.

وهذا بحد ذاته درس في التنكر: الحقيقة الواحدة تتجلى في أشكال متعددة. سبراغ رآها. غراندي رآها. والشكل الخارجي - ألمانيا أو بريطانيا، 1935 أو 1939 - لم يغير ما رآه كل منهما في الباطن.

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

المنصوبة

كانت الشمعة تحترق ببطء على طرف الطاولة.

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

اسمه أبو بكر محمد بن يحيى الصولي. شاعر ومؤرخ ونديم خلفاء عباسيين، وفي الوقت نفسه أعظم لاعب شطرنج في عصره. لكنه تلك الليلة لم يكن يلعب. كان يُحلّل.

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

يسمّيها المنصوبة.

لماذا الشطرنج لا يُحل

في الفصلين السابقين رأينا كيف تُحلّ لعبة نِم: نجد صيغة رياضية - XOR - تُخبرنا بالفوز في كل موقف ممكن، مهما كان عدد الأكوام. الشطرنج شيء آخر تماما.

في عام 1950، جلس كلود شانون وحسب رقما.

الرقم: 10¹²⁰.

هذا عدد الخطوط الممكنة في مباراة شطرنج. ولو أردت أن تضع هذا العدد في سياق: عدد ذرات الكون المرئي كله لا يتجاوز 10⁸⁰. أي أنك لو خصصت ذرة واحدة لكل خط لعب ممكن في الشطرنج، لنفدت ذرات الكون قبل أن تبلغ جزءا ضئيلا من المطلوب. لو أعطيت كل ذرة في الكون موقعا، لاحتجت عشرة آلاف مليار مليار مليار مليار كون لاستيعاب البقية.

الشطرنج لا يُحل. لا اليوم ولا في أي مستقبل منظور.

إذن، كيف يلعبه الإنسان جيدا؟

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

هذا تماما ما فعله الصولي تلك الليلة على رقعته في بغداد.

المنصوبة: الجزء المحلول

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

المنهج ثلاثي الخطوات:

• تصنيف المواقف - تمييز الأوضاع المتشابهة هيكليا عن بعضها.
• تبويب الحلول - بناء مكتبة من المناصب المحلولة.
• إثبات النتيجة المؤكدة - لكل منصوبة: من يفوز بلعب صحيح، وكيف.

جرّب هذا النهج بنفسك: الموقف أدناه منصوبة كلاسيكية. الأبيض يلعب ويفوز في حركة واحدة فارقة. ابحث عن الضربة الجوهرية.

لاحظت الحركة الأولى؟ الرخ يتقدم إلى a8 فيهدد الملك الأسود مباشرة. إن حجب الأسود بالرخ، أكله الأبيض ماتا. وإن هرب الملك، التهم الأبيض رخ الأسود مجانا. هذه هي المنصوبة: موقف يجبر الخصم على الاختيار بين خسارتين. ولاحظ أن الصولي لم "يخمّن" هذا - بل حسب جميع ردود فعل الخصم مسبقا وأثبت أن لا مفرّ. هذا ما يسمّيه علماء نظرية الألعاب اليوم "الحل بالتراجع العكسي" (backward induction).

من الصولي إلى ستوكفيش: خوارزمية Minimax

تحليل الصولي للمنصوبة ليس حدسا - هو خوارزمية. وحين جاء جون فون نويمان عام ١٩٤٤ وصاغها رياضيا، أطلق عليها اسما: minimax.

الفكرة بسيطة: في كل موقف، لاعب يريد تعظيم النتيجة (الأبيض = max) ولاعب يريد تصغيرها (الأسود = min). نبدأ من الأوراق (مواقف النهاية: فوز أبيض = +١، تعادل = ٠، فوز أسود = -١)، ثم نصعد في شجرة القرارات. في كل عقدة Max نأخذ أكبر قيمة من أبنائها. في كل عقدة Min نأخذ أصغرها. القيمة التي تصل إلى الجذر هي نتيجة اللعبة المثالية.

هذا ما فعله الصولي في رأسه قبل ألف سنة. والحاسوب يفعله ملايين المرات في الثانية. لكن الحاسوب يواجه مشكلة الصولي نفسها: الشجرة ضخمة. من كل موقف شطرنج هناك نحو ٣٥ حركة ممكنة. عمق ١٠ حركات يعني 35¹⁰ ≈ 2.7 × 10¹⁵ ورقة. مستحيل.

الحل جاء عام ١٩٥٦: تقليم ألفا-بيتا (Alpha-Beta Pruning). الفكرة: إذا وجدتَ أن فرعا من الشجرة لا يمكن أن يُحسّن قرارك، أقطعه دون استكشافه. مثال: أنت Max، درستَ الفرع الأول ووجدتَ قيمته +٥. تبدأ في الفرع الثاني. أول عقدة Min فيه تنتج ابنا بقيمة +٣. تعرف الآن أن Min سيختار ≤ 3 في هذا الفرع. 3 < 5، إذن لن تختار هذا الفرع أبدا - فأهمل بقيته. خوارزمية ألفا-بيتا الصحيحة تفحص جذر الشجرة بعمق ضعف ما تستطيعه خوارزمية minimax الساذجة في نفس الوقت.

function minimax(node, depth, maximizing):
    if depth == 0 or node is terminal:
        return evaluate(node)
    if maximizing:
        return max(minimax(child, depth-1, false) for child in node.children)
    else:
        return min(minimax(child, depth-1, true)  for child in node.children)

محركات الشطرنج الحديثة بُنيت على هذه الخوارزمية. ستوكفيش (Stockfish) - أقوى محرك شطرنج كلاسيكي - يفحص نحو 10⁸ موقف في الثانية بخوارزمية ألفا-بيتا محسّنة. عمق بحثه الفعلي يصل إلى ٣٠-٤٠ حركة للأمام في المواقف الحادة. البشر مهما كانوا عظاما لا يتجاوزون ١٠-١٥ حركة.

ثم جاء AlphaZero عام ٢٠١٧ بثورة أخرى: شبكة عصبية تُقيّم المواقف بديلا عن الدوال التقييمية اليدوية، مع خوارزمية بحث مختلفة اسمها Monte Carlo Tree Search. لم يعد المحرك يفحص كل الاحتمالات - صار يُقدّر أي الفروع تستحق الفحص. تعلّم من صفر في ٤ ساعات كيف يهزم ستوكفيش. لكن البنية العقلية ما زالت هي ذاتها: صاعد من الأوراق إلى الجذر، قرر الأمثل لكل لاعب، ارفع النتيجة. منهج الصولي بأدوات السيليكون.

مسألة الماس

أعمق دليل على رسوخ تحليل الصولي جاء من مسألة واحدة بعينها.

صاغ الصولي منصوبة ذات خمس قطع - ملكان وثلاثة بيادق - في تكوين خاص عُرف لاحقا بـ"مسألة الماس". ادّعى أن نتيجتها محددة مع اللعب الصحيح.

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

ومسألة الماس لم تُحلّ.

وقف أمامها محللون بشريون جيلا بعد جيل. لم يستطع أحد لا دحض الصولي ولا التحقق منه بالكامل. حتى جاء الحاسوب في ثمانينيات القرن العشرين وأنهى الجدل.

ألف وست وأربعون سنة.

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

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

الصولي لم يخترع الشطرنج ولم يدّع حله الكامل. ما فعله أدق وأنضج: أدرك أين تقع حدود الحل الكامل، وصمّم منهجا بديلا يعمل ضمن تلك الحدود. هذا النوع من التفكير - "لا أستطيع حل الكل، فأحل ما يمكن حله منهجيا وأبني عليه" - هو قلب الرياضيات التطبيقية.

الصولي لم يكن وحده في هذا الكون - رياضيات الشطرنج في الحضارة الإسلامية قصة أطول تبدأ من الشعراء الذين نظّموا مسائل الحصان قبل الصولي بقرنين (راجع مقالتنا حركة الحصان لتتبع رياضيات الشطرنج عبر الحضارات).

لكن المسلمين لم يتوقفوا عند الشطرنج. في ميدان آخر - الفقه - طبّقوا نفس المنهج على سؤال أكبر: كيف تُحقق غاية مشروعة حين تقف القواعد في طريقك؟

الحِيَل الفقهية

زيد التاجر يحتاج إلى ألف درهم.

لا للرفاه، بل للبقاء. الشهر القادم عنده دين، وعنده بضاعة تنتظر في السوق، لكن لا سيولة. يمشي إلى مُقرض يعرفه في الكوفة. الرجلان يجلسان. كلاهما يعرف المشكلة. الرباء محرّم. لا يمكن لأحدهما أن يقول: "أُقرضك بفائدة". الكلمات المباشرة مغلقة.

صمت قصير.

ثم يقول زيد: "لكن لو بعتك هذه السلعة..."

هذا السؤال - كيف تُحقق غاية مشروعة حين تقف القواعد في طريقك - هو السؤال الذي قضى الشيباني حياته يجيب عليه.

الرجل الذي كتب للتجار

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

هذا لم يكن درسا في الفقه المجرد. بغداد كانت عاصمة التجارة العالمية لا فقط عاصمة الخلافة. التجار حوله يقترضون ويُقرضون ويُشاركون في مشاريع ويواجهون خسائر. والشريعة تضع قيودا واضحة: لا ربا، لا غرر، لا ميسر. كيف تبني اقتصادا تجاريا في ظل هذه القيود؟

الشيباني لم يتجاهل السؤال. كتب له كتابا: "كتاب الحيل والمخارج". ليس كتاب ثغرات قانونية. هو كتاب هندسة.

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

حيلة مذمومة وحيلة ممدوحة

الشيباني والخصاف لم يُبيحا كل شيء. الخط الفاصل كان ثقيلا.

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

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

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

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

بيع العينة: خطوة بخطوة

لنعد إلى زيد وعمرو في الكوفة. زيد يملك قطعة قماش تساوي في السوق ثمانمئة درهم. يحتاج ألف درهم نقدا الآن.

الخطوة الأولى: يبيع زيد القماش لعمرو بثمن مؤجل - ألف ومئة درهم تُدفع بعد ستة أشهر. العقد الأول يُكتب ويُوقَّع. ملكية القماش تنتقل فعلا إلى عمرو.

الخطوة الثانية: يشتري عمرو نفس القماش من زيد بثمن عاجل - ألف درهم تُدفع فورا. عقد جديد منفصل. الملكية تعود إلى زيد.

النتيجة: زيد في يده الآن ألف درهم نقدا. وفي ذمته بعد ستة أشهر ألف ومئة درهم. المئة هي تكلفة التمويل الفعلية. لكن لم يُقَل كلمة "فائدة". لم يجرِ قرض. جرى بيعان كل منهما مكتمل الأركان.

هذه هي بيع العينة.

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

التحول المعرفي: المسألة المعكوسة

الصولي في الفصل السابق صنّف مواقف الشطرنج - عزل الجزء المحلول من اللعبة غير المحلولة. الشيباني فعل الشيء نفسه بالعقود: عزل الهيكل الشرعي الصحيح من شبكة المحظورات. المنهج واحد - الميدان مختلف.

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

الفقيه العادي يُعطى حالة ويُسأل عن حكمها. الشيباني يُعطى غاية ويُسأل عن الهيكل - أي عقد يُحقق هذه الغاية تحت هذه القيود؟ هذا سؤال معكوس. وهو بالضبط ما يفعله تصميم الميكانيكي.

في الاقتصاد الحديث، تصميم الميكانيكي (Mechanism Design) هو الفرع الذي يُعالج هذه المسألة بالذات: مُعطى غاية اجتماعية مرغوبة وقيود معلوماتية أو حافزية، صمّم قواعد لعبة بحيث حين يتصرف الأفراد وفق مصالحهم الخاصة، تُنتج نتيجة تُحقق الغاية المطلوبة. الميدان أسسه لينيد هرويتش (Leonid Hurwicz)، وطوّره إريك ماسكين وروجر مايرسون - الثلاثة نالوا نوبل عام 2007.

الشيباني كان يفعل بالضبط هذا النشاط المعرفي - بلغة فقهية، ولأغراض شرعية. لم يكن عنده مصطلح "تصميم الميكانيكي". لكن السؤال كان السؤال نفسه.

"غاية تحقق ضمن قيود": هذا ما فعله الشيباني في القرن الثاني الهجري. وهذا بالضبط ما نال عليه فيكري وماسكين وروث جوائز نوبل في القرن الحادي والعشرين.

محمد بن الحسن الشيباني، كتاب الحيل والمخارج - المنطق نفسه بلغة مختلفة

جدول المقارنة

الفارق الوحيد بين العمودين هو القرن والمصطلح. المنطق واحد: أعطِ الفاعلين قاعدة بحيث يُنتج تصرّفهم الرشيد النتيجة المطلوبة. الشيباني استخدم الفقه أداة. فيكري استخدم الاقتصاد الرياضي. الحرفة نفسها.

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

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

جرّب الشجرة أعلاه. تنقّل بين الخيارات وانظر كيف كل قرار فقهي يحمل قيدا رياضيا. هذا علم الاقتصاد قبل أن يكون له اسم.

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

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

الحِيَل السياسية والحربية

المخطوط لا اسم على غلافه.

في مكتبة ما، في مكان ما، من القرن الرابع عشر الميلادي، ينام كتاب لم يُعرف مؤلفه حتى اليوم. عنوانه يكفي: كتاب الحِيَل. مئات القصص مرتبة بحسب من يصنع الحيلة ومن تُصنع له: حِيَل الملوك، وحِيَل الوزراء، وحِيَل القضاة، وحِيَل التجار، وحِيَل النساء، وحِيَل المسافرين، وحِيَل العشاق.

في عام 1976 ترجمه المستشرق الفرنسي رينيه خوام وأصدره تحت عنوان: Le Livre des Ruses: La stratégie politique des Arabes.

مخطوط عربي مجهول المؤلف، ينسبه المحقق إلى أواخر القرن الرابع عشر الميلادي.

ما قاله خوام وما أغفله

في مقدمة ترجمته، قدّم خوام الكتابَ بوصفه دليلا على طريقة تفكير العرب. ادعاؤه: الخيال العربي يُفضّل الحكاية الملموسة على النظرية المجردة. الغرب يبني نظريات؛ العرب يروون قصصا.

هذه القراءة مريحة للمستشرق الكلاسيكي - وهي خاطئة.

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

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

ليلة اليرموك

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

الروم لا يعرفون أين ينصبون دفاعهم. يتشتتون لتغطية الخطر المفترض في كل اتجاه. وحين جاء الهجوم الفعلي عند الفجر - جاء منسجما وهم مشتتون.

هذا ما تسميه نظرية الألعاب اليوم إدارة المعلومات: حين تُتحكم في ما يعتقده خصمك، تُتحكم في الحسابات التي يبني عليها قراراته. الإيهام ليس كذبا في فراغ. هو تلاعب بالمعلومات يُعيد تشكيل توازن اللعبة قبل أن تبدأ.

خمس حِيَل - خمس مشاهد

دعنا نأخذ خمسا من حِيَل الكتاب. لكن لا نسردها كقائمة. لنتركها تحدث.

المشهد الأول - الهجوم الذي لا يأتي: قائد يُقرر شنّ هجمات وهمية كل يوم عند الفجر على المدينة المحاصرة. يوما. يومين. أسبوعا. أسبوعين. الحراس يخرجون ولا شيء. يخرجون ولا شيء. بعد ثلاثة أسابيع يبدأ الحارس يُأخّر خروجه - لماذا يُجهد نفسه لهجوم لن يقع؟ ثم يأتي الهجوم فعلا في الصباح الذي لم يتوقعه أحد. هذا ما تسميه نظرية الألعاب الاستراتيجية المختلطة: التنويع العشوائي يُربك حسابات الخصم حتى لا يستطيع تحديد متى يبذل الجهد الحقيقي.

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

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

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

المشهد الخامس - الفيل لا يُوزن: يسأل حاكم عالِمَه: كيف نعرف وزن هذا الفيل دون ميزان؟ العالم يُنزل الفيل في زورق ويُعلّم مستوى الماء على الجانب. ثم يُحلّ محل الفيل حجارة صغيرة موزونة حتى يعود الزورق إلى العلامة ذاتها. مجموع الحجارة هو وزن الفيل. المستحيل تحوّل إلى ممكن بإعادة صياغة السؤال. هذا حل القيود: بدلا من قياس المتغيرة الصعبة مباشرة، تُستبدل بمتغيرة قابلة للقياس عبر مبدأ معروف.

التصنيف سابق للصياغة

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

هذه المفاهيم لم تكن موجودة في القرن الرابع عشر بالأسماء الرياضية. لكن البنية كانت موجودة.

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

الفصل بين التراثين ليس في العمق، بل في الأداة. العرب عرفوا المسائل؛ الرياضيون أعطوها برهانا.

هل استطعت مطابقة الثمانية؟ إذا نعم، لقد قرأت القرن الرابع عشر العربي بعيون القرن العشرين - ولم تجد فجوة.

ربما كانت المعادلات تأتي متأخرة لأن الوصف كان يكفي أمدا طويلا. ربما لم تكن المشكلة أن العرب لم يُجرّدوا - بل أن التجريد الذي لديهم لم يُترجَم. السؤال الحقيقي ليس "لماذا لم يكن عندهم نظرية الألعاب" - بل "ما الذي كان عندهم بدلا منها، وما الذي أضافه القرن العشرون فعلا؟"

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

التوازن

٢٢ سنة. رسالة دكتوراه من ٢٨ صفحة. وسؤال واحد: هل يوجد توازن دائمًا؟

عام 1950 قدّم ناش رسالته في برنستون. الموضوع: "توازن النقاط الصامدة في الألعاب اللاتعاونية". لم يكن الموضوع جديدًا - فون نويمان أسّس الحقل قبله بعشرين سنة. لكن ناش طرح سؤالًا مختلفًا: مبرهنة فون نويمان اشترطت أن تكون اللعبة صفرية - ما يكسبه أحدهما يخسره الآخر. معظم المواقف الحقيقية ليست كذلك. فماذا عن بقية العالم؟

الحِيَل في الفصل السابق كانت القائمة. ناش أعطاها الحساب - وأثبت شيئا لم يكن مثبتا بعد: أن التوازن موجود في كل لعبة محدودة، بصرف النظر عن شكلها.

ما الذي يشبه أن تحلّ مسألة بهذا الحجم في ٢٨ صفحة؟

من برلين إلى برنستون

فون نويمان كان في الخامسة والعشرين حين نشر عام 1928 ورقة بعنوان "نحو نظرية ألعاب المجتمع"١. كان قد نشر قبلها أعمالًا في نظرية الكم والتحليل الوظيفي - رجل مُعتاد على الصعوبة. في هذه الورقة أثبت مبرهنة minimax: في أي لعبة محدودة بين لاعبَين بمجموع صفري، يوجد دائمًا توازن. كلا اللاعبَين يستطيعان ضمان نتيجة محددة مهما فعل الآخر.

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

بعد ستة عشر عامًا، نشر فون نويمان مع الاقتصادي مورغنشتيرن كتابًا من ستمائة صفحة: Theory of Games and Economic Behavior. الكتاب المؤسس. لكن الكتاب اشترط المجموع الصفري - ما يكسبه أحدهما يخسره الآخر بالضبط. ومعظم العالم لا يعمل هكذا.

ناش أتى بالجواب. أثبت أن أي لعبة محدودة بين أي عدد من اللاعبين - بصرف النظر عن كونها صفرية أم لا - تملك توازن ناش٢: مجموعة استراتيجيات لا يستطيع فيها أي لاعب تحسين نتيجته بتغيير استراتيجيته وحده طالما الآخرون يثبتون على استراتيجياتهم. التوازن هو النقطة التي لا يمكن لأحد الخروج منها منفردًا بمكسب.

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

حصل ناش على نوبل الاقتصاد عام 1994. أربعة وأربعون عامًا بعد رسالته من ٢٨ صفحة.

غرفة، باب، صوت خطوات

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

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

في الغرفة الثانية، يجري نفس الحساب بالضبط.

كلاهما يخون. كلاهما يحكم عليه. نتيجة (١، ١) بدل نتيجة (٣، ٣) لو تعاونا.

العقلانية كمصيدة.

هذا هو توازن ناش في معضلة السجين: كلاهما يخون لأن الخيانة هي الاستراتيجية "المهيمنة" - الأفضل بصرف النظر عن فعل الآخر. لكن التوازن العقلاني يُنتج الأسوأ للجميع. ليس تناقضًا في المنطق - هذا ما يقوله المنطق ذاته.

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

في سيول عام ٢٠٠٣

عام 1968 اكتشف عالم الرياضيات الألماني براس ظاهرة غريبة نظريًا: في شبكات المرور، إضافة طريق جديد قد تُبطّئ الجميع. لم يصدّقه كثيرون في البداية.

ثم جاء سيول عام ٢٠٠٣.

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

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

جرّب اللعبتَين. شاهد العقلانية تنتج نتيجة سيئة. ثم فكّر: من يستطيع إصلاح هذا؟

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

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

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

السياسة الحديثة

ناش أثبت أن التوازن موجود دائما. لكنه لم يثبت أنه جيد. السؤال التالي أعمق: هل يمكن تصميم قواعد اللعبة بحيث يُنتج التصرف العقلاني الفردي توازنا نريده نحن؟ هل يمكن أن تكون الحسابات الأنانية - حين تجري في إطار مصمم بعناية - تُنتج نتيجة جماعية جيدة؟

أكتوبر 1962. البيت الأبيض.

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

ثم يقترح شخص خيارا لم يتوقعه أحد: الحصار البحري.

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

الصواريخ السوفييتية تحوّلت.

الرجل الذي فهم هذا المنطق قبل عشرين سنة من الأزمة كان توماس شيلينغ.

من يُقنع ومن يُهدد

الحصار البحري كان ضربة شيلينغ العبقرية لأنه حلّ مشكلة مصداقية التهديد. لكن قبل أن نفهم كيف صاغ شيلينغ فكرة الردع، علينا أن نعود ثلاثين سنة إلى الوراء - إلى اقتصادي آخر بدأ بسؤال أبسط بكثير، لكنه يكشف نفس المنطق: كيف يتصرف عقلانيان حين تتقاطع مصلحتاهما في نقطة واحدة؟ هوتلينغ طرح السؤال عام ١٩٢٩ بلعبة شاطئ بسيطة.

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

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

جميع الزبائن الذين بين البائعين الآن صاروا أقرب إليه. ولم يخسر أحدا من خلفه - لأنه لا منافس له هناك. ربح صافٍ. يتحرك خطوة. والبائع الأول يرى ذلك ويحسب نفس الحساب. كلاهما ينتهي في المنتصف تماما، ظهرا لظهر. الزبائن في الأطراف يمشون الآن نصف الشاطئ للوصول - أسوأ لهم. البائعان في وضع أسوأ من ربحهما الأول (لو ابتعدا، ضمنا نفس الحصص دون هذا الازدحام). لكن لا أحد يستطيع التحرك منفردا. توازن ناش: عقلاني، مستقر، وسيء للجميع.

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

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

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

احرق جسورك

سنة ١٥١٩. كورتيس ينزل إلى ساحل المكسيك مع أحد عشر سفينة وخمسمئة رجل. أمامه إمبراطورية الأزتيك بملايين مقاتليها. الرياضيات ضده. رجاله يعرفون هذا - ويبدأ بعضهم بالتحدث هامسا عن العودة قبل أن يفوت الأوان.

كورتيس يستمع. ثم يُصدر أمرا واحدا: أحرقوا السفن.

في ساعات، السفن احترقت. لا عودة. الخيار أُزيل من طاولة الجميع - رجاله وهو نفسه. رجاله الآن يواجهون خيارا واحدا فقط: التقدم. والأزتيك أمامهم يُدركون، بحسبة بسيطة، أن هؤلاء القادمين لا يستطيعون التراجع - فإذن لن يتراجعوا. التهديد صار قانونا فيزيائيا.

ما فعله كورتيس عام ١٥١٩ هو بالضبط ما نظّمه شيلينغ في ستينيات القرن العشرين: التهديد العقلاني يحتاج مصداقية، والمصداقية أحيانا تأتي من إلغاء خياراتك أنت. لو كان التراجع مجانيا، فتهديدك مجرد كلام يستطيع الخصم تجاهله بأمان. لكن لو أحرقتَ جسورك - أزلت خيار التراجع من طاولتك - صار التهديد مصداقا لا يُتجاوز. هذه هي المعادلة الأصلية للردع: التزام + عجز عن الانسحاب = مصداقية.

"أحيانا تفوز بحرق جسورك."

توماس شيلينغ، استراتيجية الصراع (١٩٦٠)

والآن عُد إلى كينيدي أكتوبر ١٩٦٢. الحصار البحري هو جسور كورتيس المحروقة في لغة الحرب الباردة. كينيدي أعلنه على الهواء المباشر أمام العالم كله. الإعلان العلني جعل التراجع ثمنه مهانة سياسية محلية قد تُسقط إدارته بأكملها. كينيدي باع ورقة التراجع قبل أن يصل الرد السوفيتي. والسوفييت - العقلاء الذين حسبوا مثل أزتيك كورتيس - أدركوا أن التصعيد لم يعد خيارا منطقيا لواشنطن، فإذن لا بد أن الحصار سيبقى. خوروتشوف تراجع. العالم نجا.

الحيل العربية: نفس البنية بلا معادلات

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

الكلمات مختلفة. الأمثلة مختلفة. لكن البنية المنطقية واحدة: أزل خيارك أنت، لتُلزم خصمك بالاختيار الذي تريده.

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

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

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

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

الاقتصاد والأسواق

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

الممرضة لم تقل "آسف". قالت: "لدينا حل قد ينجح. دعيني أشرح." وسردت قصة غريبة عن خوارزمية رياضية، وأن اسم الزوجين سيُدرج في شبكة وطنية، وأن الخوارزمية ستبحث عن "دورة".

في مستشفى آخر، على بعد ألف كيلومتر، كان زوجان في الوضع نفسه - لكن معكوسا. فصيلة متبرعهم تطابق زوج المرأة الأولى. وفصيلة شقيقها تطابق مريضهم. الدورة موجودة. الخوارزمية وجدتها. العمليتان جرتا في نفس اليوم، في نفس الساعة، في مدينتَين مختلفتَين - حتى لا يتراجع أحد في المنتصف بعد أن أخذ كليته.

هكذا تنقذ الرياضيات حياة. بشكل حرفي. والرجل الذي بنى هذه الشبكة اسمه ألفن روث. لكن قبل أن نفهم كيف فعلها، علينا أن نعود إلى المبدأ الذي جعلها ممكنة - مبدأ وُلد قبل روث بأربعين سنة في ورقة تبدو عن شيء آخر تماما: المزادات.

مزاد فيكري: هندسة الصدق

في الثامن من أكتوبر ١٩٩٦، اتصل هاتف بيت في نيويورك في الفجر. الأكاديمية السويدية تُعلن: جائزة نوبل في الاقتصاد لهذا العام تذهب إلى ويليام فيكري. الرجل الذي أمضى ثلاثة عقود يفكر في أسئلة كان زملاؤه يعتبرونها تقنية ضيقة، صار فجأة أشهر اقتصادي في العالم.

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

السؤال الذي شغله طوال حياته كان يبدو تقنيا: كيف تُصمَّم مزادات تكشف القيمة الحقيقية؟ لكن خلف السؤال التقني كان سؤال عميق جدا: كيف تجعل الناس يصدقون في سوق يكافئ الكذب؟

فكّر في أي مزاد تصاعدي عادي: لوحة فنية تُعرض. قيمتها عندك ١٠٠٠٠ دولار. تخمّن أن منافسك يقيّمها بـ٩٠٠٠. ستعرض ٩٠٠١ وتفوز بأقل ثمن ممكن. هذا ليس صدقا - هذا حساب. وحين لا تعرف ما يفكر به الآخر، تبدأ باللعب الحذر: تعرض أقل من قيمتك الحقيقية خشية دفع زائد، والآخر يفعل مثلك. الجميع يُخفي، الجميع يُموّه، والسوق يعمل - لكن بكفاءة دون المثلى، لأن السعر النهائي لا يعكس القيمة الحقيقية.

حل فيكري في ورقة ١٩٦١ كان أنيقا بشكل لا يُصدق: مزاد مغلق. كل مزايد يكتب عرضه سرا. أعلى عرض يفوز - لكنه يدفع سعر ثاني أعلى عرض. تبدو القاعدة غريبة، لكن أثرها ساحر.

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

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

روث وشابلي: حين لا يوجد ثمن

المزادات تعمل حين تكون السلعة قابلة للبيع بسعر. لكن ماذا حين يكون السعر غير موجود أصلا؟ طبيب مقيم يبحث عن مستشفى. طالب يبحث عن مدرسة. مريض يبحث عن متبرع بكلية. لا يمكنك أن تشتري كلية بالمزاد - التوافق الثنائي يشترط رضا الطرفَين معا، والقيمة ليست نقدا بل حياة.

عام ١٩٦٢، أثبت ديفيد غيل ولويد شابلي أن خوارزمية بسيطة تحل هذه المسألة: المطابقة المستقرة. كل طرف من جهة يرتب تفضيلاته، ثم يتقدم بعرض لأكثر من يُفضّل. الطرف الآخر يحتفظ مؤقتا بأفضل عرض ويرفض الباقين. تتكرر الجولات حتى لا يبقى طرف يُفضّل تبديل شريكه. النتيجة: لا يوجد زوجان يفضّل كلٌّ منهما الآخر على شريكه الحالي. توازن اجتماعي بلا قسر.

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

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

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

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

الشبكة الأمريكية انطلقت عام ٢٠٠٤. منذ ذلك اليوم، أنقذت أكثر من عشرة آلاف حياة. روث وشابلي حصلا على نوبل الاقتصاد عام ٢٠١٢ معا. المرأة في صالة الانتظار التي افتتحنا بها الفصل - خرجت مع زوجها.

الخيط الذي يربط فيكري وروث ليس المزاد ولا الكلى. الخيط منهج: لا تطلب من الناس الفضيلة، صمّم قاعدة تجعل الفضيلة مصلحتهم. فيكري لم يطلب من المزايدين الصدق - بنى مزادا يجعل الكذب ضررا ذاتيا. روث لم يطلب من المرضى والمتبرعين التنسيق - بنى خوارزمية يكون التنسيق فيها نتيجة تلقائية للتصرف الأناني. هذا ما يسميه الاقتصاد الحديث "تصميم الآليات" (Mechanism Design) - وقد صار حقلا قائما بذاته نال عنه ثلاثة علماء نوبل ٢٠٠٧: هرويتش وماسكين ومايرسون.

نفس الحركة الذهنية

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

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

العودة

الكومات لا تزال هي هي: ٣، ٤، ٥.

نفس الأعواد التي خسرت أمامها في الفصل الأول. لكن الآن تفعل شيئا مختلفا: تكتب الأرقام ثنائيًا وتطرحها بـXOR.

نتيجة غير صفر. أنت تبدأ، وتفوز. تأخذ عودَين من الكومة الأولى - تترك الكومات (1، 4، 5) - وXOR يصبح صفرًا. الكمبيوتر يتحرك، يكسر الصفر، وأنت تعيده إلى صفر مرة أخرى. تكرر حتى تختفي الأعواد.

اللعبة لم تتغير. أنت تغيرت.

نصفان لمشروع واحد

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

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

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

الغرب صاغ مبرهنة التوازن. العرب صاغوا تقنية الحيلة. النصف نصف - والنصفان واحد.

لماذا لا تُروى القصة هكذا؟

ليست مؤامرة. الأسباب أبسط وأثقل من ذلك.

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

ثلاث ألعاب، حقيقة واحدة

انظر أدناه: نِم (٣، ٤، ٥)، ونِم ويثوف (٤، ٦)، وقلب السلاحف. ثلاث ألعاب تبدو مختلفة تمامًا. لكن كل منها لها عدد غراندي - رقم وحيد يلخص موقفها الكامل. العدد لا يكذب. الألعاب الثلاث وجوه لشيء واحد. منذ الفصل الأول وأنت تلعب الشيء نفسه.

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

في مكان ما، قارئ لم يُولَد بعد سيتعلم نظرية الألعاب في كلية الاقتصاد أو الهندسة أو السياسة. وفي لحظة ما سيرى في المعضلة التي أمامه - في عقد أو مزاد أو تصويت أو خلاف - نفس البنية التي لعبها هنا. قد لا يتذكر الاسم. لكنه سيعرف الحركة.

هذا هو الغرض من الرياضيات. ليس حفظ الصيغ - بل تعلّم الرؤية.

شكرًا لقراءتك كل هذا الطريق. كان طويلًا وفيه صعوبة - وأنت أكملته.

نِم لم تتغير. أنت تغيرت.