قضایا ی مینماکس
=================

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

ابتدا این علائم را قرار داد می کنیم‌ :

+------------------------+-----------------------+
|:math:`\alpha`          | ماکسیمم مجموعه مستقل  |
+------------------------+-----------------------+
|:math:`\alpha^{\prime}` | ماکسیمم تطابق         |
+------------------------+-----------------------+
|:math:`\beta`           | مینیمم پوشش راسی      |
+------------------------+-----------------------+
|:math:`\beta^{\prime}`  | مینیمم پوشش یالی      |
+------------------------+-----------------------+

قضیه های برقرار در هر گرافی
---------------------------

:math:`\alpha + \beta = n`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

مکمل یک مجموعه مستقل یک پوشش راسی و مکمل یک پوشش راسی یک مجموعه مستقل است(چرا؟). در نتیجه اگر ماکسیمم مجموعه مستقل را در نظر بگیرید مکمل آن مینیمم پوشش راسی است و بالعکس.

:math:`\alpha^{\prime} + \beta^{\prime} = n`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

ابتدا باید فرض کنیم که گراف راس تنها ندارد زیرا در غیراینصورت پوشش یالی برای این گراف تعریف نمی شود.

حالا مینیمم پوشش یالی را در نظر بگیرید.

در ابتدا می توان نتیجه گرفت در این مجموعه یالی دور وجود ندارد (در اینصورت با حذف یکی از یال های دور به مجموعه کوچک تری رسید که همچنان پوشش یالی است). پس هر مولفه همبندی آن یک درخت است.

سپس می توان نتیجه گرفت در هیچکدام از درخت ها فاصله بیشتر از 2 وجود ندارد (چرا؟). پس هر کدام از درخت ها یک ستاره هستند.

تعداد ستاره ها :math:`n-\beta^{\prime}` می باشد. و می توان از هر ستاره دقیقا یک یال را انتخاب کرد و یک تطابق تشکیل داد که اندازه آن کمتر مساوی تطابق ماکسیمم است. یعنی :math:`n-\beta^{\prime} \leq \alpha^{\prime}` در نتیجه :math:`n \leq \alpha^{\prime} + \beta^{\prime}`.

حالا تطابق ماکسیمم را در نظر بگیرید.

هر راسی مثل :math:`u` که با تطابق ماکسیمم پوشش داده نمی شود را در نظر بگیرید. تمام مجاور های :math:`u` باید با تطابق ماکسیمم پوشش داده شود (چرا؟) و چون راس تنها نداریم :math:`u` حداقل یک مجاور دارد.

حالا یک پوشش یالی می سازیم. ابتدا تمام یال های تطابق را به آن اضافه می کنیم. سپس به ازای هر راسی که با تطابق ماکسیمم پوشش داده نشده یکی از یال های مجاورش را به پوشش راسی اضافه می کنیم. حالا پوشش راسی به اندازه :math:`n - \alpha^{\prime}` داریم زیرا که :math:`\alpha^{\prime}` یال اولیه هر کدام دو راس را پوشش دادند و بقیه یال ها هر کدام یک راس را پوشش دادند. :math:`n-\alpha^{\prime} \geq \beta^{\prime}` در نتیجه :math:`n \geq \alpha^{\prime} + \beta^{\prime}`.

در نهایت دو قسمت بالا حکم را نتیجه می دهند.

:math:`\beta \geq \alpha^{\prime}`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

تطابق ماکسیمم را در نظر بگیرید. تنها برای اینکه یال های مربوط به این تطابق را پوشش دهید به :math:`\alpha^{\prime}` راس نیاز دارید. (هر راس حداکثر می تواند یکی از آن ها را پوشش دهد). پس :math:`\beta \geq \alpha^{\prime}`.


قضیه های برقرار در گراف دوبخشی
--------------------------------

:math:`\alpha^{\prime} = \beta`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

در قسمت بالا داشتیم :math:`\beta \geq \alpha^{\prime}` پس هر پوشش راسی بزرگتر مساوی یک تطابق است. پس اگر یک تطابق پیدا کنیم که برابر با یک پوشش راسی باشد در اینصورت حکم را ثابت کردیم همچنین آن تطابق ماکسیمم خواهد بود و آن پوشش راسی مینیمم خواهد بود.

یک پوشش راسی مینیمم را در نظر بگیرید. فرض کنید گراف دو بخشی ما دارای دوبخش :math:`X,Y` است و مجموعه راس های پوشش راسی ما :math:`X1 \cup Y1` است که :math:`X1` از بخش :math:`X` و :math:`Y1` از بخش :math:`Y` می باشد همچنین :math:`X2=X-X1, Y2=Y-Y1`.

حالا گرافی که تنها شامل راس های :math:`X1,Y2` باشند را در نظر بگیرید. می خواهیم یک تطابق کامل از :math:`X1` به :math:`Y2` پیدا می کنیم (یعنی کل راس های :math:`X1` درون تطابق باشند).

برقرار بودن شرط هال را برای پیدا کردن یک تطابق کامل از :math:`X1` به :math:`Y2` بررسی می کنیم. فرض کنید :math:`S \subseteq X1` ادعا می کنیم :math:`|S| \leq |n(S)|` برقرار است. فرض کنید برقرار نباشد یعنی :math:`|S| > |n(S)|` آنگاه اگر مجموعه :math:`S` را از پوشش راسی حذف کنیم و مچموعه :math:`n(S)` را به پوشش راسی اضافه کنیم همچنان همه یال ها پوشانده می شوند و به یک پوشش راسی کوچکتر رسیدیم که با مینیمم بودن پوشش راسی فعلی در تناقض است. پس شرط هال برقرار است.

مشابها می توان یک تطابق کامل از :math:`Y1` به :math:`X2` پیدا کرد. که نتیجه می دهد ما تطابقی پیدا کردیم که اندازه آن برابر با پوشش راسی است.

:math:`\beta^{\prime} = \alpha`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

از بخش های قبل داشتیم‌ که :math:`\alpha^{\prime} = \beta` و  :math:`n - \alpha = \beta` و :math:`n - \beta^{\prime} = \alpha^{\prime}` برقرارند.

در نتیجه :math:`n - \alpha = n - \beta^{\prime}` پس :math:`\alpha = \beta^{\prime}`.