مشترکہ اصلاح کیا ہے؟
-
امتزاج کی اصلاح لاگو ریاضی کا ایک شعبہ ہے، جو مجرد اصلاحی مسائل کو حل کرنے کے لیے combinatorics، لکیری پروگرامنگ، اور الگورتھم کی تھیوری کو یکجا کرتا ہے۔ یہ عام طور پر مجرد اصلاح کے عرف کے طور پر استعمال ہوتا ہے۔ ایک مشترکہ اصلاح کا مسئلہ عام طور پر ٹرپل (S, f, C) کے طور پر تیار کیا جا سکتا ہے، جہاں S ایک دی گئی تلاش کی جگہ ہے، f مقصدی فعل ہے، جسے یا تو زیادہ سے زیادہ یا کم کیا جانا چاہیے، اور C رکاوٹوں کا مجموعہ ہے جس میں قابل عمل حل حاصل کرنے کے لیے پورا کیا جائے۔ مقصد یہ ہے کہ عالمی سطح پر ایک بہترین حل تلاش کیا جائے، یعنی ایک ایسا حل s' جس کا تعلق S سے ہو، زیادہ سے زیادہ یا کم کرنے کی صورت میں سب سے زیادہ یا سب سے کم مقصدی قدر کے ساتھ، ہر ایک رکاوٹوں کی پابندی کے تحت۔