نام پژوهشگر: ساره علی خواه

تولید فست برای پلی توپ دستگاه های استقلال
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شاهد - دانشکده علوم پایه 1391
  ساره علی خواه   اردشیر دولتی

در مدل برنامه ریزی خطی هر مسئله ی بهینه سازی ترکیبیاتی، یک دسته از قیود هستند که وجود آن ها در دستگاه نامعادلات مربوط به مدل ضروری است. این قیود، نامعادلات تعیین فست در پلی توپ مربوط به مسئله هستند. دسته ی دیگر از قیود، قیودی هستند که از قیود دیگر بدست می آیند و در نتیجه اضافی و قابل حذف می باشند. هر چقدر تعداد نامعادلات اضافی در مدل برنامه ریزی خطی مسئله کم تر باشد مدل قوی تر است و دستگاه نامعادلات کوچک تری حاصل می شود و مسئله می تواند با روش های کاراتری حل شود. بنابراین یافتن نامعادلات تعیین فست پـــــلی توپ مـــربـــوط بـــــه مســائل بهینه سـازی ترکــیبیاتی از اهــمیت ویــژه ای بــــرخــوردار اســــت. ‎هدف کلی این پایان نامه معرفی رویه هایی برای تولید فست پلی توپ دستگاه استقلال می باشـد. بسیاری از مسائل بهینه سازی ترکیبیاتی از جمله مسئله ی کوله پشتی، زیرگراف القایـی بـی دور، زیرگراف القایـی دو بخشی، زیرگراف القایـی مثلث آزاد را می توان به عنوان مسئله ی دستگاه استقلال در نظر گرفت. بنــابراین رویه هــــایی که مطـــرح خواهــــد شـــد در بدســـت آوردن نامعـــادله ی تعیین فســت این قبیل مســائل مــی توانند بکـــار گــرفته شــوند. ‎مطالب این پایان نامه به صورت زیر دسته بندی شده است: ‎در فصل اول برخی مفاهیم اولیه درباره ی دستگاه استقلال، چند وجهی ها، ابرگراف ها ارائه گردیده است. در فصل دوم ابتدا نامعادلات ابرخوشه بررسی و سپس برای تعیین ‎(1-0)‎فست های مسئله ی کوله پشتی بکار برده شده است. در فصل سوم برخی فست های مسئله ی مجموعه ی پوشش و بسته بندی مجموعه ای ارائه می شود. فصل چهارم به رویه های تولید فست برای پلی توپ دستگاه استقلال برپایه ی ابرگراف ها اختصاص دارد.