Skip
Cأكاديمية CADD

L8 · 28 دقيقة

خوارزميات البحث

منهجي، عشوائي، جيني، محاكاة تلدين.

الالتحامالرياضيات

أهداف التعلّم

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

البحث في فضاء غير محدب

دالة scoring لليجند المرن متعددة الحدود الدنيا. البحث إما يمسح درجات الحرية بانتظام (بناء تزايدي، تطابق شكل)، أو يقفز عشوائياً (Monte Carlo)، أو يُطوّر جماعة من الهيئات (خوارزمية جينية)، أو يُليّن القبول بحرارة وهمية (simulated annealing)، أو يخلط اضطراباً عشوائياً مع تحسين محلي متكرّر (كما في AutoDock Vina). لا خوارزمية منها «تحل» الـ docking؛ كلها heuristics لفضاء أكبر من أن يُحصى. نجاح البحث يعني إيجاد هيئة جيدة حسب الدالة المستخدمة — وقد تكون الدالة نفسها مخطئة.

عائلات الخوارزميات

  • منهجي / matching: يضع features (حلقات، مراكز H-bond) على خريطة الجيب ثم يبني الباقي. قوي عندما يكون الشكل مميزاً، ضعيف في جيوب مسطحة.
  • Monte Carlo: خطوة عشوائية في الانتقال/الدوران/torsion، قبول حسب Metropolis على درجة scoring لا على طاقة حقيقية.
  • Genetic algorithm (AutoDock4): جينوم = هيئة. تقاطع وطفرات، وLamarckian variant يُحسّن الفرد محلياً قبل تقييمه.
  • Simulated annealing: حرارة وهمية عالية ثم تبريد. إن بُرّد بسرعة جُمدت هيئة محلية.
  • Iterated local search (Vina): اضطراب ثم BFGS-like محلي، تكرار. exhaustiveness يتحكم بعدد هذه الدورات/الجهد لا بشمول الفضاء.
بحث منهجيبحث عشوائي / جيني
قابلية الإعادةعالية إذا ثُبّتت الشبكة والخطوة.تعتمد على البذرة (seed). سجّل البذرة دائماً.
ليجند مرن جداًينفجر عدد الهيئات مع كل torsion.قد يجد هيئة جيدة دون إحصاء، وقد يفوته الحد مراراً.
التشخيصفشل واضح إن كانت الخطوة أخشن من التفاعل.يجب تكرار البذور قبل اتهام الدالة.
لماذا؟ — لماذا لا يكفي تشغيل واحد حتى مع exhaustiveness مرتفع؟

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

ماذا لو؟ — ماذا لو ضيّقت الصندوق حول الموقع التقويمي المعروف ثم أعلنت أن الليجند «لا يرتبط في موقع آخر»؟

لم تبحث في مكان آخر. الصندوق قيد على المسألة، لا نتيجة. ادعاء غياب موقع تفارغي من docking محصور هو tautology: بحثت حيث قررت أن تبحث. إن كان السؤال عن الموقع، فالصندوق يجب أن يسمح بالبدائل، أو تستخدم كشفاً للمواقع أولاً.

تمرين

حصلت على هيئتين لليجند نفسه: RMSD بينهما 4 Å، والدرجتان متقاربتان. exhaustiveness = 8. ماذا تفعل قبل التفسير الكيميائي؟

ممارسة بحث مسؤولة

  1. 1ثبّت البذرة وسجّلها

    إعادة الإنتاج تبدأ هنا، لا في لقطة الشاشة.

  2. 2اختبر جهد البحث

    قارن هيئات عند جهد منخفض ومرتفع. تغيّر كبير يعني أنك لم تكن في نظام مستقر.

  3. 3لا تُوسّع الصندوق بلا سبب ولا تُضيّقه لإجبار الإجابة

    الصندوق فرضية مكانية. اكتب لماذا هذه الحدود.

مواضيع مرتبطة