كتاب طبخ بدون قائمة مكونات – هذا ما يواجهه العالم عندما يرى مخططًا للتفاعلات الكيميائية. الأسهم والصيغ على الورق تبدو متناسقة، لكن بمجرد أن تبدأ بالبحث في المختبر عن جزيئات تتصرف بهذه الطريقة تمامًا – تبدأ رحلة استكشاف حقيقية.
اعتمد مؤلفو العمل قاعدة صارمة: في كل تفاعل، يجب أن يتطابق عدد الذرات على الجانبين الأيمن والأيسر (وهذا ما يسمى حفظ الكتلة). قد يبدو الأمر وكأنه حساب بسيط. لكن عندما تحتاج إلى اختيار مواد محددة من كتالوج ضخم من الجزيئات المعروفة، مع الالتزام بأنواع التحولات الكيميائية المسموح بها، تتحول المهمة إلى لغز بالغ التعقيد.
ومع ذلك، وُجد مخرج. طبق الباحثون خوارزمية تعتمد على التراجع والاقتطاع – تشبه لعب الشطرنج دون رؤية اللوحة: تجرب النقلات، لكنك تتخلص بلا رحمة من تلك التي تؤدي إلى طريق مسدود. هذا النهج، المستوحى من البحث عن الأنماط المتطابقة في الرسوم البيانية (مسألة البحث عن رسم بياني فرعي)، يتيح عمليًا بناء مخططات جزيئية عاملة لـ أنظمة معقدة – من البيئة إلى الطب.
كتاب الوصفات يكتسب ملمسًا حقيقيًا. وخلف هذا ليس سحرًا، بل حساب دقيق يعلمنا: حتى في فوضى الاحتمالات الكيميائية هناك منطق صارم.
كما كتبه المؤلفون، بالإنجليزية arXiv:2608.04635v1
Abstract reaction networks appear not only as models of chemical reactions but also as models of complex systems, with applications in areas such as ecology and epidemiology, and as one of several alternative paradigms for non-standard computation. It is therefore of interest to determine whether an abstract reaction network can be realized by a concrete set of molecules and plausible chemical reaction mechanisms. It is known that a reaction network has a realization in terms of chemical graphs (i.e., Lewis structures) if and only if it is conservative. Here we consider the problem of assigning a set M of known molecules to a set X of abstract entities in a reaction network (X,R) such that each reaction satisfies mass balance and adheres to one of an allowed set of chemical reaction mechanisms. We show that this problem is NP-complete. Nevertheless, it can be solved in practice using a backtrack-and-prune algorithm inspired by the VF2 family of algorithms originally designed for the subgraph isomorphism problem.
العديد من الشبكات الكيميائية الحيوية في الخلية ما زالت لا يمكن إعادة إنتاجها "في أنبوب الاختبار" تحديدًا لأننا لا نستطيع اختيار الجزيئات المشاركة الصحيحة – رغم أن جميع التفاعلات معروفة على الورق.