موضوع مقاله: قضیه رمزی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # قضیه رمزی | مقدمه: در علم ترکیبیات قضیهٔ رمزی بیان می‌کند که در رنگ آمیزی یال‌های هر گراف کامل (گراف ساده‌ای که در آن هر رأس به تمامی رئوس دیگر به وسیلهٔ یک یال متصل است) به اندازهٔ کافی بزرگی می‌توان زیر گراف‌های کامل تک رنگ یافت. | ## بخش 1: قضیه رمزی | در رنگ آمیزی با دو رنگ قضیهٔ رمزی بیان می‌کند که برای هر جفت از اعداد صحیح و مثبت کوچکترین عدد مثبت وجود دارد به گونه‌ای که برای هر گراف کامل با راس که یال‌های آن با دو رنگ قرمز و آبی رنگ آمیزی شده باشند، زیرگراف کاملی با راس وجود دارد که کاملاً آبی شده باشد یا زیر گراف کاملی با راس وجود دارد که کاملاً قرمز شده باشد. در این کاربرد سؤال این است که آیا زیرمجموعه‌های تک رنگی یافت می‌شوند که در این زیرمجموعه‌ها تمام یال‌های متصل به هم از یک رنگ باشند. به‌طور دقیق تر این قضیه بیان می‌کند که برای هر تعداد رنگ داده شدهٔ c وهر مجموعه از اعداد صحیح داده شدهٔ عدد به گونه‌ای وجود دارد که اگر یال‌های گراف کاملی از مرتبه با c رنگ متفاوت، رنگ آمیزی شود آن گاه برای مقادیری از i بین ۱ تا c گراف مورد نظر باید شامل زیرگراف کاملی از مرتبهباشد که تمام یال‌های آن به رنگ i هستند. (، ) مثال:R(۳٬۳)=۶ تصور کنید که یال‌های یک گراف کامل با ۶ راس با دو رنگ آبی و قرمز رنگ آمیزی شده باشد. ۵ یال به v متصل هستند و از این رو بنابر اصل لانه کبوتری حداقل ۳ تا از آن‌ها باید همرنگ باشند. بدون کاسته شدن از کلیت مسئله می‌توان فرض کرد که حداقل ۳ یال که از راس v به راس‌های r,s،t متصل اند آبی هستند (در غیر این صورت جای رنگ‌های قرمز و آبی عوض می‌شود) اگر هر یک از یال‌های (r, s), (r, t), (s, t) نیز آبی باشد آن گاه ما یک مثلث از یال‌های آبی داریم. در غیر این صورت یعنی اگر هیچ‌یک از یال‌های ذکر شده آبی نباشند هر سهٔ این یال‌ها قرمز خواهند بود و ما یک مثلث به رنگ قرمز خواهیم داشت. از آن جایی که این استدلال را برای هر رنگ آمیزی می‌توان به کار برد، هر گراف کامل شامل یک تک رنگ است و از این رو R(۳٬۳) ≤ ۶. این روش بدین صورت پیش می‌رود: تعداد سه تایی‌های مرتب از راس‌های x,y،z را که در آن یال (x,y) قرمز و (y,z) آبی هستند، بشمارید. اولاً هر راس داده شده در میان ۰×۵=۰ یا ۱×۴=۴ یا ۲ × ۳ = ۶ تا از سه تایی‌های مرتب خواهد بود؛ بنابراین حداکثر ۶×۶=۳۶ تا از این سه تایی‌ها وجود دارد. دوما برای هر مثلث (x,y،z) غیر تک رنگ دقیقاً ۲ تا از این سه تایی‌ها وجود دارد؛ بنابراین حداکثر ۱۸ تا مثلث غیر تک رنگ وجود دارد؛ بنابراین حداقل ۲ تا از ۲۰ مثلث موجود در تک رنگند. برعکس، می‌توان یک را با دو رنگ، رنگ آمیزی کرد بدون این که هیچ تک رنگی ایجاد شود که نشان می‌دهد R(۳٬۳)> ۵. اثبات قضیه ابتدا قضیه را برای حالت رنگ آمیزی با دو رنگ با استفاده از استقرا روی r+s اثبات می‌کنیم. ما اثبات خواهیم کرد که وجود دارد و این کار را با یافتن یک محدودهٔ صریح برای آن انجام خواهیم داد. راس v از گراف داده شده را انتخاب کنید و راس‌های باقی‌مانده را به دو مجموعهٔ M و N تفکیک کنید به گونه‌ای که هر راسی همانند w در مجموعهٔ M باشد اگر یال (v, w) آبی باشد و w در N باشد اگر که یال (v, w) قرمز باشد. حال با استفاده از اصل لانه کبوتری داریم: یا اگر M دارای زیرگراف کامل به رنگ قرمز باشد آن گاه گراف اولیه نیز شامل این بخش می‌شود و مسئله حل شده‌است. | ## بخش 2: قضیه رمزی | در غیر این صورت M دارای زیرگراف کامل است و بنابراین بنا بر تعریف M, M اجتماع {v} دارای زیرگراف کامل به رنگ آبی است. ما نتایج مورد نظرمان را برای c=۱(بدیهی) و c=۲ (طبق مطالب گفته شده در بالا) داریم. ادعا: توجه کنید که عبارت سمت راست تنها دارای عدد رمزی برای c-۱ رنگ و ۲ رنگ است و از این رو طبق فرض استقرا عددی متناهی مانند t وجود دارد. اثبات ادعا گرافی با t راس را در نظر بگیرید و یال‌های آن را با c رنگ، رنگ آمیزی کنید. حال خود را به کور رنگی بزنید و وانمود کنید که رنگ c-1 و رنگ c رنگ‌های یکسانی هستند. بنابر فرض استقرا این گراف شامل تک رنگ است که رنگ i در بازهٔ قرار دارد یا شامل یک رنگ شده با رنگ‌های تیره‌است. در حالت دوم دیدگاه خود را مورد بازبینی قرار می‌دهیم و می‌بینیم که بنا بر تعریف ما باید یا یک گراف که به تمامی با تک رنگ (c-1) رنگ شده داشته باشیم یا یک گراف که با تک رنگ c رنگ شده باشد. اعداد رمزی اعداد در قضیهٔ رمزی (و بسط یافتهٔ آن‌ها در موارد با بیش از دو رنگ) تحت عنوان اعداد رمزی شناخته می‌شوند. یک حد بالا برای را، می‌توان از اثبات قضیه استخراج کرد و سایر استدلال‌ها نیز حد پایین برای آن ارائه می‌کنند. (نخستین حد پایین توسط Paul Erdős با استفاده از روش احتمالاتی به دست آمد) هر چند شکاف بزرگی میان مقادیر حد پایین و حد بالا وجود دارد. من تبع آن تعداد بسیار اندکی از r وsها هستند که ما برای آن‌ها مقدار دقیق را می‌دانیم. محاسبهٔ حد پایین L برای معمولاً نیازمند ارائهٔ یک رنگ آمیزی گراف با دو رنگ قرمز و آبی است به‌طوری‌که هیچ زیرگراف آبی و هیچ زیرگراف قرمز در آن یافت نشود. هر چند که بررسی حالت‌های مختلف رنگ آمیزی گراف با افزایش مقدار n از نظر محاسباتی بسیار پیچیده خواهد شد. Paul Erdős می‌گوید: " بیگانگانی (نیروهای خارجی) را تصور کنید که بسیار نیرومندتر از ما بر روی زمین هستند و از ما خواسته‌اند که مقدار را محاسبه کنیم و در غیر این صورت سیارهٔ ما را نابود خواهند کرد. در این حالت ما باید تمام کامپیوترها و ریاضی دان هایمان را به کار بگیریم و برای یافتن مقدار مورد نظر به شدت تلاش کنیم. حال به جای این تصور کنید که از ما خواسته شده تا مقدار را محاسبه نماییم، در این وضعیت ما باید تمام تلاشمان را برای نابود کردن بیگانگان به کار ببریم!" مقدار برای مقادیر r و s تا ۱۰ در جدول زیر نشان داده شده‌است. | ## بخش 3: قضیه رمزی | از آن جایی که در بسیاری از موارد مقدار دقیق را نمی‌دانیم، بهترین حدود یافت شده در جدول به نماش گذاشته شده‌است. r,s ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۲ ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰ ۳ ۱ ۳ ۶ ۹ ۱۴ ۱۸ ۲۳ ۲۸ ۳۶ ۴۰–۴۲ ۴ ۱ ۴ ۹ ۱۸ ۲۵ ۳۶–۴۱ ۴۹–۶۱ ۵۸–۸۴ ۷۳–۱۱۵ ۹۲–۱۴۹ ۵ ۱ ۵ ۱۴ ۲۵ ۴۳–۴۸ ۵۸–۸۷ ۸۰–۱۴۳ ۱۰۱–۲۱۶ ۱۲۶–۳۱۶ ۱۴۴–۴۴۲ ۶ ۱ ۶ ۱۸ ۳۶–۴۱ ۵۸–۸۷ ۱۰۲–۱۶۵ ۱۱۳–۲۹۸ ۱۳۲–۴۹۵ ۱۶۹–۷۸۰ ۱۷۹–۱۱۷۱ ۷ ۱ ۷ ۲۳ ۴۹–۶۱ ۸۰–۱۴۳ ۱۱۳–۲۹۸ ۲۰۵–۵۴۰ ۲۱۷–۱۰۳۱ ۲۴۱–۱۷۱۳ ۲۸۹–۲۸۲۶ ۸ ۱ ۸ ۲۸ ۵۸–۸۴ ۱۰۱–۲۱۶ ۱۳۲–۴۹۵ ۲۱۷–۱۰۳۱ ۲۸۲–۱۸۷۰ ۳۱۷–۳۵۸۳ ۶۰۹۰–۳۳۱ ۹ ۱ ۹ ۳۶ ۷۳–۱۱۵ ۱۲۶–۳۱۶ ۱۶۹–۷۸۰ ۲۴۱–۱۷۱۳ ۳۱۷–۳۵۸۳ ۵۶۵–۶۵۸۸ ۵۸۱–۱۲۶۷۷ ۱۰ ۱ ۱۰ ۴۰–۴۲ ۹۲–۱۴۹ ۱۴۴–۴۴۲ ۱۷۹–۱۱۷۱ ۲۸۹–۲۸۲۶ ۶۰۹۰–۳۳۱ ۵۸۱–۱۲۶۷۷ ۷۹۸–۲۳۵۵۶ در جدول یک تقارن ناچیز در میان قطر نیز وجود دارد. فقط یک عدد رمزی رنگارنگ وجود دارد که مقدار دقیق آن شناخته شده‌است و آن R(3,3،3) = ۱۷ است. برای اثبات این مسئله، یالی از یک گراف کامل را در نظر بگیرید که با ۳ رنگ قرمز، سبز و زرد رنگ آمیزی شده‌است. حال می‌خواهیم ببینیم این گراف باید حداقل چند راس داشته باشد که شرایط قضیهٔ رمزی برایش بر قرار باشند. پس معادلاً می‌توانیم ببینیم حداکثر تعداد رئوس باید چند باشد که شرایط قضیهٔ رمزی بر قرار نشود. همسایگی سبز v نمی‌تواند شامل هیچ یال سبزی باشد، زیرا در غیر این صورت مثلث سبزی وجود خواهد داشت که متشکل از دو نقطهٔ انتهایی آن یال سبز و راس v خواهد بود. پس یال‌های رنگ آمیزی شده در همسایگی سبز v تنها با دو رنگ قرمز و زرد رنگ آمیزی شده‌اند. به‌طور مشابه همسایگی‌های قرمز و زرد v نیز هر کدام حداکثر می‌توانند ۵ راس داشته باشند. از آن جایی که هر راس به جز خود v در یکی از همسایگی‌های سبز، قرمز یا زرد v قرار گرفته، گراف کامل حداکثر می‌تواند ۱ + ۵ + ۵ + ۵ = ۱۶ راس داشته باشد. در نتیجه داریم: R(3,3،3) ≤ 17 برای این که ببینیم R(3,3،3) ≥ 17کافی است یال‌های یک گراف کامل با ۱۶ راس را با سه رنگ متفاوت رنگ آمیزی کنیم و در عین حال از ایجاد مثلث‌های تک رنگ بپرهیزیم. به این نتیجه خواهیم رسید که دقیقاً دو روش برای رنگ آمیزی K16 با این شرایط وجود دارد که آن‌ها را رنگ آمیزی تابیده (معوج) و ناتابیده می‌نامیم. بدین ترتیب، مشخص می‌شود که گراف K16 را می‌توان طوری با ۳ رنگ رنگ آمیزی کرد که هیچ k3 تک رنگی ایجاد نشود. اگر شما هر رنگی از رنگ‌های تابیده یا ناتابیدهٔ گراف را انتخاب کنید و گرافی را در نظر بگیرید که یال‌هایش دقیقاً یال‌هایی با همان رنگ ویژه باشد آن گاه به گراف Clebsch دست خواهیم یافت. دقیقاً دو روش برای رنگ آمیزی یال‌های گراف با سه رنگ وجود دارد به گونه‌ای که از ایجاد مثلث‌های تک رنگ پرهیز کنیم. این گراف را می‌توان با حذف کردن هر راس دلخواه از گراف تابیده یا ناتابیدهٔ K16 که به‌طور مطلوب رنگ آمیزی شده، به دست آورد. | ## جمع‌بندی | علاوه بر این دقیقاً ۱۱۵ یال برای رنگ آمیزی با سه رنگ وجود دارد به گونه‌ای که در آن از ایجاد مثلث‌های تک رنگ جلوگیری شود.