اثبات به روش حالت بحرانی
این مقاله، اثبات به روش حالت بحرانی، اخیراً بهواسطهٔ فرایند ایجاد مقاله ایجاد شدهاست. بازبینیکننده در حال بستن درخواست است و این برچسب احتمالاً بهزودی برداشته میشود.
ابزارهای بازبینی: پیشبارگیری بحث اعلان به نگارنده |
خطای اسکریپتی: پودمان «AfC submission catcheck» وجود ندارد.
این نوشتار به هیچ منبع و مرجعی استناد نمیکند. |
این نوشتار نیازمند پیوند میانزبانی است. در صورت وجود، با توجه به خودآموز ترجمه، میانویکی مناسب را به مقاله بیفزایید . |
اثبات به روش حالت بحرانی برای اثبات حکمهای ترکیبیاتی که شروط برقراری آنها نامساویاند استفاده میشود. معروفترین حکمی که به این روش میتوان اثبات کرد قضیه هال است. در این روش دو حالت در نظر میگیریم.
- حالتی که در آن شرط بحرانی باشد. یعنی نامساوی به تساوی تبدیل شده باشد. (در قضیه هال حالت بحرانی وقتی رخ میدهد که خانوادهای k عضوی از زیر مجموعهها وجود داشته باشند که اجتماعشان دقیقاً k عضو دارد)
- حالت غیر بحرانی (در قضیه هال این حالت وقتی رخ میدهد که برای هر خانواده از زیر مجموعهها. اجتماعشان بیش از تعداد زیر مجموعهها عضو داشته باشد)
در این روش ابتدا حکم را برای حالت بحرانی و سپس برای حالت غیر بحرانی اثبات میکنیم. از دیگر احکامی که میتوان آنها را با این روش اثبات کرد قضیه گیل-رایزر را میتوان نام برد.
This article "اثبات به روش حالت بحرانی" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:اثبات به روش حالت بحرانی. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.