منصور سراج - دانشگاه شهید چمران اهواز، دانشکده علوم ریاضی و کامپیوتر گروه ریاضی
رضوان علی پور - دانشگاه شهید چمران اهواز، دانشکده علوم ریاضی و کامپیوتر گروه ریاضی

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

توابع محدب، توابع اینوکس، شرایط کروش ـ کان ـ تاکر، دوگان قوی ولف