تقسيم مساحة إلى مناطق

تقسيم سؤال كبير إلى مناطق

عندما تكون المساحة كبيرة جداً بحيث يصعب البحث فيها مباشرة، تقوم بـتقسيمها (partition): فتقسمها إلى مناطق غير متداخلة تغطي معاً كل شيء. الإجابة على سؤال فرعي تعني اختيار منطقة واحدة وتجاهل البقية.

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

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

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

تقسيم نظيف

تسأل مدينة: "لماذا ترتفع أوقات الاستجابة للطوارئ؟"

يقترح محلل تقسيمها إلى: (أ) تستغرق المكالمات وقتاً أطول للوصول إلى طاقم، (ب) يستغرق الطاقم وقتاً أطول للوصول بعد الإرسال، و (ج) يستغرق الطاقم وقتاً أطول للانتهاء وتحرير نفسه.

كل متطلب يقطع الفضاء

القيود كأنصاف مستويات

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

"أقل من خمسة عشر دولاراً" هو خط واحد؛ نُبقي الجانب الرخيص. "ضمن مسافة يمكن مشيها" هو خط ثانٍ؛ نُبقي الجانب القريب. "مفتوح الآن" هو خط ثالث. كل متطلب تضيفه هو قطع إضافي.

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

نمطان للفشل

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

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

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

محدودة، غير محدودة، فارغة

يطلب مدير من مصمم "شعارًا". لاحقًا يطلبون "شعارًا يكون حرفًا واحدًا، بلون واحد، يعمل عند 16 بكسل، & يستخدم أيضًا أربعة ألوان على الأقل."

أفضل قطع يقسّم الفضاء إلى نصفين

البحث الثنائي: كل سؤال نعم/لا يقسّم الفضاء إلى نصفين

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

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

هذا هو البحث الثنائي. ابدأ بـ N مرشحًا. بعد سؤال جيد واحد، يتبقى N/2. بعد سؤالين، يتبقى N/4. بعد k سؤالًا، يتبقى N / 2^k. تكون قد أنهيت اللعبة عندما يتبقى مرشح واحد، لذا تحتاج إلى أصغر قيمة لـ k تكون 2^k فيها على الأقل N.

أصغر قيمة لـ k هي سقف log2(N). بالنسبة لـ 1000 مرشح: 2^9 = 512 (غير كافٍ) و 2^10 = 1024 (كافٍ)، لذا log2(1000) يساوي تقريبًا 9.97، وتحتاج إلى 10 أسئلة. مليار مرشح؟ log2 لمليار يساوي تقريبًا 30. التقسيم إلى نصفين قوي جدًا لدرجة أن الانتقال من ألف إلى مليار يضيف فقط حوالي عشرين سؤالًا.

الدرس في طرح الأسئلة: السؤال بنعم/لا الحاد يستحق أكثر عندما يقسّم المساحة المتبقية بالتساوي. السؤال غير المتوازن الذي يستبعد فقط شريحة صغيرة يهدر الدور.

ضمان إيجاد الرقم

أنت تلعب لعبة تخمين. يختار شخص ما رقمًا صحيحًا من 1 إلى 1000. يمكنك طرح أسئلة بنعم/لا فقط، وتلعب بشكل مثالي (كل سؤال يقسّم المرشحين المتبقين بالتساوي قدر الإمكان).

عندما تكون الإجابات رخيصة، تكون القطع ثمينة

السؤال هو العمل الآن

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

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

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

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

So the leverage is not "get an answer". It is "pose the constraints that make the answer space small enough that any point in it is worth having".

إلى أين انتقلت القيمة

يمكن للمحلل الآن توليد مئة استراتيجية مسودة في دقائق وبكاد لا يوجد أي تكلفة.

هندسة الأسئلة: ملخص

ما تعلمته

السؤال ليس طلباً لإجابة واحدة. إنه مساحة من الإجابات المحتملة، وفنّ طرح الأسئلة هو فنّ تقليص تلك المساحة:

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

- التفكيك كتقسيم: قسّم مساحة كبيرة إلى مناطق تغطيها دون تداخل؛ كل سؤال فرعي يضيق نطاقك إلى منطقة واحدة.

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

- التضييق عن طريق النصف: السؤال بنعم/لا الذي يُختار بحكمة يقسّم المساحة إلى نصفين. لتحديد رقم بين 1 و1000 يتطلب ceil(log2(1000)) = 10 أسئلة؛ بينما يتطلب مليار فقط حوالي 30 سؤالاً.

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