منابع تحقیق در عملیات

افراد با پیشینه های مختلف به تیم تحقیقات عملیات گوگل می پیوندند. برخی از آنها دکترا هستند و در رشته خود مشهور هستند. دیگران مهندسان نرم افزار عالی هستند که مشتاق یادگیری بهینه سازی ریاضی هستند.

گاهی اوقات مهندسان نرم افزار از کارشناسان OR می پرسند که چگونه درباره OR اطلاعات بیشتری کسب کنند. ما شروع به جمع‌آوری پاسخ‌های خود در سندی کردیم که در زیر به گزیده‌ای از آن می‌پردازیم. اینها نظرات تک تک کارمندان Google هستند، نه تأییدیه‌های رسمی Google. امیدواریم از استراق سمع گفتگوی تیمی ما لذت ببرید!

MOOCs

دوره نویسنده یادداشت نظرات
کلاس Coursera در بهینه سازی گسسته ون هنریک MIP & CP Kvothe@: من این را دوست داشتم. با این حال، هنوز مجموعه مشکل نهایی تمام نشده است.
مدل سازی پایه برای بهینه سازی گسسته لی و استاکی تمرکز بیشتر بر CP
مدلسازی پیشرفته برای بهینه سازی گسسته لی و استاکی
حل الگوریتم های بهینه سازی گسسته لی و استاکی
مدل سازی و حل مشکلات هوش مصنوعی در Picat بارتاک
OR(1): مدل ها و برنامه ها کونگ Zaphod@: اینها و دو مورد بعدی مقدمه ای عالی برای همه چیزهای LP/IP هستند.
OR(2): الگوریتم های بهینه سازی کونگ
OR(3): نظریه کونگ

مبانی LP & MIP

پوشش عنوان نویسنده نظرات
جلد مقدمه ای بر بهینه سازی خطی مقدمه ای بر بهینه سازی خطی برتسیماس و سیتسیکلیس BlackLotus@: برای LP (و تا حدی MIP)، به نظر من این کتاب بهترین است.

Patrick@: Downvoting Bertsimas-Tsitsiklis بیشتر برای یک «دوره دوم» در برنامه‌نویسی خطی است، و برای آن احتمالاً بهترین کار همراه با مقدمه‌ای بر بهینه‌سازی خطی است.

BadBoy@: من باید به این یکی نگاه کنم. من معمولا از نحوه ارائه مطالب این افراد خوشم نمی آید، اما ممکن است اشتباه کنم.

Kvothe@: فصل 10 ("فرمول بندی های برنامه ریزی عدد صحیح") و 11 ("روش های برنامه نویسی عدد صحیح") عالی هستند.
جلد برنامه نویسی خطی برنامه ریزی خطی وندربی
جلد بهینه سازی ترکیبی بهینه سازی ترکیبی: چندوجهی و کارایی شریور SpiderWoman@: یادم می‌آید که قبلاً «بهینه‌سازی ترکیبی» Schrijver را دوست داشتم، اما بسیار ریاضی است و چیزی نیست که برای مثال به کسی که به تیم ملحق شود توصیه کنم…
جلد کتاب تئوری برنامه ریزی خطی و اعداد صحیح تئوری برنامه ریزی خطی و عدد صحیح شریور BadBoy@: برای خودنمایی در کتابخانه خود، هنگام انجام مصاحبه یا تحت تاثیر قرار دادن کسی جالب است. شما به احتمال زیاد آن را نمی خوانید و از آن خوشتان نمی آید، مگر اینکه دکترای ریاضی خالص و دوبار تقطیر داشته باشید. بنابراین چیزی برای شروع LP یا MIP نیست. همانطور که گفته شد، حاوی شواهد فراوان و اطلاعات جالبی است. چیزهایی مانند ماتریس های کاملاً تک مدولار و آنچه که مستلزم آن است. و کتابشناسی به طرز باورنکردنی دقیق است، با استناد به زبان های اصلی. این یک نوع هنر برنامه نویسی کامپیوتری Knuth است. فقط این یکی قابل هضم نیست.

Kvothe@: آن را نخوانده ام، اما فقط بر اساس حروف چاپی به آن بی اعتماد هستم.
تصویر جلد اولین دوره در بهینه سازی خطی اولین دوره در بهینه سازی خطی لی به صورت رایگان تحت مجوز CC در دسترس است !
جلد کتاب مقدمه ای بر بهینه سازی ریاضی مقدمه ای بر بهینه سازی ریاضی فیشتی BadBoy@: من نسخه ایتالیایی را مرور کردم. به نظر خیلی خوبه من عاشق کاری هستم که فیشتی به طور کلی انجام می دهد.
جلد برنامه نویسی خطی برنامه ریزی خطی چواتال BadBoy@: من کتاب را دوست ندارم، اما در آنجا همه چیز LP را یاد گرفتم، و نت نویسی عالی است.
جلد بهینه سازی ترکیبی بهینه سازی ترکیبی پاپادیمیتریو و استیگلیتز BadBoy@: دوستش داشتم. قدیمی است، اما باید آن را بخوانید.

Kvothe@: برای سلیقه من کمی خشک است.
جلد برنامه نویسی عدد صحیح برنامه نویسی عدد صحیح ولسی Unicorn@: بسیار مختصر است، اما بیشتر بخش‌های جالب میدان را پوشش می‌دهد (از دیدگاه حل‌کننده)
جلد برنامه نویسی عدد صحیح برنامه نویسی عدد صحیح Conforti، Cornuéjols، و Zambelli Patrick@: احتمالاً به‌روزترین کتاب در زمینه نظریه/روش شناسی MIP.
جلد وجوه بهینه سازی ترکیبی جنبه های بهینه سازی ترکیبی یونگر و راینلت Patrick@: بیشتر در جنبه تئوریک و جانبدارانه نسبت به کار مدیر سابق ZIB مارتین گروتشل (از جشن تولد 65 سالگی او است)، اما شامل آنچه فکر می کنم آخرین نسخه این بررسی MIP محاسباتی است: "توبیاس آچتربرگ و رولاند وندرلینگ برنامه نویسی عدد صحیح مختلط: تجزیه و تحلیل 12 سال پیشرفت».
جلد 50 سال برنامه نویسی عدد صحیح 50 سال برنامه نویسی عدد صحیح: 1958-2008 یونگر و همکاران، ویرایش. Patrick@: کمی قدیمی است، اما بررسی بسیار خوبی از تاریخ و MIP پیشرفته است.
پوشش الگوریتم های جریان شبکه الگوریتم های جریان شبکه ویلیامسون Unicorn@: یک کتاب خوب با نتایج بسیار اخیر در مورد جریان های شبکه، در حالی که هنوز بصری است. با این حال، فقط برای جریان های شبکه، نه چندان عمومی. بررسی کامل تر به زبان فرانسوی.
جلد الگوریتم های روشن شده الگوریتم های روشن شده: الگوریتم هایی برای مسائل NP-Hard رافگاردن Unicorn@: احتمالاً پیشرفته ترین کتاب این بسته نیست! با این حال، مقدمه ای برای برخی از الگوریتم های OR (از دیدگاه یک دوره الگوریتم) ارائه می کند. بسیار خواندنی! بررسی کامل تر به زبان فرانسوی.
جلد بهینه سازی عملی بهینه سازی عملی گیل، موری و رایت Unicorn@: کتاب مرجع قدیمی در مورد بهینه سازی مداوم. اگر به توضیحی در مورد این خانواده از الگوریتم ها نیاز دارید، این کتاب شما را پوشش می دهد. (بررسی کامل تر به زبان فرانسوی.)
جلد کتاب مقدمه ای بر بهینه سازی و حساب نیمه دیفرانسیل هادامارد مقدمه ای بر بهینه سازی و حساب نیمه دیفرانسیل هادامارد دلفور Unicorn@: کتاب بسیار رسمی در مورد بهینه سازی نیمه دیفرانسیل. ورود به آن آسان نیست. بررسی کامل تر به زبان فرانسوی.
جلد The Moment-SOS Hierarchy سلسله مراتب Moment-SOS: سخنرانی در احتمال، آمار، هندسه محاسباتی، کنترل و PDE های غیرخطی هنریون، کوردا، و لاسر Unicorn@: اگر با چندجمله‌ای‌ها بهینه‌سازی می‌کنید یا نمی‌دانید که تا کجا می‌توانید با آنها پیش بروید، اصول سلسله مراتب SoS و برنامه‌های ناآشنا را دریافت خواهید کرد. بررسی کامل تر به زبان فرانسوی.
جلد مقدمه ای بر تحقیق در عملیات مقدمه ای بر تحقیق در عملیات هیلیر و لیبرمن Kvothe@: ترکیبی زیبا از تئوری و عمل. اولین متن خوب برای افرادی که تازه وارد این رشته شده‌اند، با مثال‌های کارشده و تمرین‌های زیاد، برخی از آنها با پاسخ در پشت کتاب. نکات منفی: این کتاب کمی تلاش می کند تا کاربران را به وب سایت خود هدایت کند و از حل کننده های منسوخ استفاده می کند.

بررسی های پژوهشی

مرور نویسنده نظرات
175 سال برنامه ریزی خطی چاندرو و رائو BadBoy@: این یک سری مقالات عالی است. من در اوایل دهه 1990 در IBM با این موضوع مواجه شدم. من نمی‌دانم چه کسی برای اولین بار ایده ارائه برنامه‌نویسی خطی به این شکل را داشت، اما ویجی چاندرو و ژان لوئیس لاسز نیز در آن نقش داشتند.

نکته خوب در مورد آن این است که برای درک آن فقط به جبر خطی سطح ابتدایی نیاز دارید و می توانید تقریباً هر قضیه مهمی را در LP با اصول اولیه اثبات کنید. بهترین آن یک کتاب در LP با این است، به اضافه مقداری چواتال، مقداری وندربی، و سپس مسائل اجرایی و ارجاع به کتاب های مربوطه. چواتال و وندربی از نظر ریاضی ضعیف هستند.

قدیمی است و به زودی باید به 200 سال برنامه‌نویسی خطی تغییر نام داد. این امکان وجود دارد که تلاش های قبلی وجود داشته باشد.

مقالات پژوهشی

مقاله نویسنده نظرات
یک الگوریتم جدید چند جمله ای زمان برای برنامه ریزی خطی کارمارکار BadBoy@: مقاله Karmarkar در مورد الگوریتم Karmarkar. مثال اینکه چگونه یک مقاله نباید نوشته شود. سال‌ها طول کشید تا به یک پیاده‌سازی کارآمد برسیم، و در همین حین آنها متوجه شدند که این روش نقطه‌ای داخلی دیگری است.

مدل سازی

MIP

پوشش عنوان نویسنده نظرات
جلد مدل سازی در برنامه نویسی ریاضی مدل سازی در برنامه نویسی ریاضی ویلیامز تمرکز بر LP و MIP.

Temere@: من واقعاً آن را دوست نداشتم. ساختار عجیب و غریب است (و به طور مصنوعی تعداد صفحات را افزایش می دهد). و به شدت در "برنامه های کلاسیک OR" (تمرکز بر برنامه ریزی اقتصادی یا تقریباً شبیه به اسباب بازی) با ارتباط کمی با مدل های MIP که معمولاً در Google انجام می دهیم، ریشه دارد.

Azalee@: موافق.

BadBoy@: من هنوز فکر می کنم که کتاب در آن روزها عالی بود. شاید 2 سال پیش نگاهی به آن انداختم و خداییش. منسوخ شده است. همچنین، من نویسنده را از سال 1990 می‌شناسم، و ما در ISMP 2015 دوباره با هم ارتباط برقرار کردیم. او مردی فوق‌العاده است، بازنشسته است، با پولش به کنفرانس‌ها سفر می‌کند و هنوز هم ارائه‌های عالی دارد. مقالات او عالی بود، به خصوص در مورد حذف فوریه. او دید بسیار گسترده ای از LP دارد. او نقش مهمی در راه اندازی XpressMP داشت.
جلد برنامه های بهینه سازی با XpressMP کاربردهای بهینه سازی با XpressMP Guéret، Prins، Sevaux، & Heipcke

راهنماهای مدلسازی صادر شده توسط حل

راهنما شرح نظرات
کتاب آشپزی مدلسازی موسک بر بهینه سازی محدب مخروطی تمرکز دارد. Unicorn@ یک مرجع واقعی برای من هنگام انجام مدل‌سازی غیرخطی.
کتاب آشپزی نمونه کارها MOSEK مدل های مخروطی برای بهینه سازی پورتفولیو

بررسی های پژوهشی: MIP

مرور نویسنده شرح
تکنیک های فرمول بندی برنامه ریزی خطی عدد صحیح مختلط ویلما تمرکز بر قدرت و اندازه فرمول‌بندی‌های عدد صحیح مختلط برای اتحادیه‌های توابع خطی تکه‌ای چندوجهی‌مانند. بیشتر در مورد جنبه نظری است، اما شامل برخی از تکنیک های عملی مانند فرمول های افزایشی در بخش 8 است.
توابع خطی تکه ای غیر محدب: فرمولاسیون های پیشرفته و ابزارهای مدل سازی ساده. Huchette & Vielma تکنیک‌های جدیدتر برای توابع خطی تکه‌ای که در بررسی بالا گنجانده نشده‌اند.

بررسی های پژوهشی: MINLP

مرور نویسنده شرح
قابلیت نمایش محدب اعداد صحیح مختلط لوبین، ویلما، و زادیک فقط برای استراحت های محدب.

بهینه سازی در شرایط عدم قطعیت

بهینه سازی تصادفی

پوشش عنوان نویسنده نظرات
جلد سخنرانی در برنامه نویسی تصادفی سخنرانی برنامه ریزی تصادفی: مدل سازی و نظریه شاپیرو، دنچوا، و روسچینسکی
جلد مقدمه ای بر برنامه نویسی تصادفی مقدمه ای بر برنامه نویسی تصادفی Birge & Louveaux Unicorn@: مقدمه ای تئوریک تر برای موضوع. من آن را به اندازه سخنرانی های برنامه نویسی تصادفی توصیه نمی کنم.

بررسی های پژوهشی

مرور نویسنده
بهینه سازی ارزش مشروط در معرض خطر Rockafellar & Uryasev

بهینه سازی قوی

پوشش عنوان نویسنده نظرات
جلد بهینه سازی قوی بهینه سازی قوی بن تال، ال گاوی و نمیرفسکی PDF.
Unicorn@: یک مرجع عالی اگر بررسی های زیر به اندازه کافی دقیق نباشد. بخش بزرگی به مسائل غیر خطی اختصاص دارد (معمولاً در بررسی ها ارائه نشده است).
من بخش 1.1.2 آن را بسیار دوست دارم، زیرا به صورت عددی نشان می دهد که انحرافات ضریب کوچک می توانند ناتوانی های بزرگی ایجاد کنند.
جلد بهینه سازی قوی و تطبیقی بهینه سازی قوی و تطبیقی برتسیماس و دیک دن هرتوگ PDF.
Unicorn@: مرجع عالی در مورد هر چیزی در مورد بهینه سازی قوی! این کاملاً کامل است، می تواند با کمی بیشتر در کنار الگوریتم ها کار کند. بررسی کامل تر به زبان فرانسوی.

بررسی های پژوهشی

مرور نویسنده
راهنمای عملی برای بهینه سازی قوی گوریسن، یانیک اوغلو، و دن هرتوگ
تئوری و کاربردهای بهینه سازی قوی برتسیماس، براون و کارامانیس

مقالات پژوهشی

مقاله نویسنده
تجزیه و تحلیل تصادفی قابل ترمیم در ابعاد بالا از طریق بهینه سازی قوی ( PDF ) بندی و برتسیماس

StackExchange

کتاب های مرجع خوب برای معرفی تحقیق در عملیات کدامند؟

کتابها/مواد پیشنهادی برای کاربردهای عملی تحقیق در عملیات در صنعت