نهج جديد بسيط حسابيًا لتنفيذ الشبكات العصبية مع قيود صارمة على المخرجات

يُقترح أسلوب جديد بسيط حسابيًا لفرض قيود محدبة صارمة على قيم مخرجات الشبكة العصبية. الفكرة الرئيسية هي رسم خريطة إلى متجه كامن لنقطة من المؤكد أنها داخل المجموعة القابلة للتطبيق التي تحددها مجموعة من القيود. يتم تنفيذ الإسقاط من خلال طبقة إضافية من الشبكة العصبية مع قيود على المخرجات. يتم توسيع الأسلوب المقترح ليشمل الحالة التي تُفرض فيها القيود ليس فقط على المتجهات الناتجة، ولكن أيضًا على القيود المشتركة اعتمادًا على المدخلات. يمكن تنفيذ نهج الإسقاط لفرض القيود على المخرجات ببساطة في إطار الأسلوب المقترح. تم توضيح كيفية دمج أنواع مختلفة من القيود في الأسلوب المقترح، بما في ذلك القيود الخطية والتربيعية، والقيود المتساوية، والقيود الديناميكية، والقيود على شكل حدود. ميزة مهمة في الأسلوب هي بساطته الحسابية. تعقيدات المرور الأمامي لطبقة الشبكة العصبية المقترحة بواسطة القيود الخطية والتربيعية هي O (nm) و O ({n^2}m) على التوالي، حيث n هو عدد المتغيرات و m هو عدد القيود. توضح التجارب العددية الأسلوب من خلال حل مشكلات التحسين والتصنيف. الكود الذي ينفذ الأسلوب متاح علنًا.