قضیه رمزی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در علم ترکیبیات قضیهٔ رمزی بیان می‌کند که در رنگ آمیزی یال‌های هر گراف کامل (گراف ساده‌ای که در آن هر رأس به تمامی رئوس دیگر به وسیلهٔ یک یال متصل است) به اندازهٔ کافی بزرگی می‌توان زیر گراف‌های کامل تک رنگ یافت. در رنگ آمیزی با دو رنگ قضیهٔ رمزی بیان می‌کند که برای هر جفت از اعداد صحیح و مثبت (r,s) کوچکترین عدد مثبت R(r,s) وجود دارد به گونه‌ای که برای هر گراف کامل با R(r,s) راس که یال‌های آن با دو رنگ قرمز و آبی رنگ آمیزی شده باشند، زیرگراف کاملی با r راس وجود دارد که کاملاً آبی شده باشد یا زیر گراف کاملی با s راس وجود دارد که کاملاً قرمز شده باشد. در این جا R(r,s) به عدد صحیحی دلالت می‌کند که به r و s وابسته‌است.

قضیهٔ رمزی یک دست آورد بنیادین در علم ترکیبیات است. F. P. Ramsey اولین نسخهٔ این دست آورد را به اثبات رساند. این مساله قضیهٔ ترکیبیاتی را بنیان نهاد که امروزه آن را قضیهٔ رمزی می‌نامند. در این کاربرد سوال این است که آیا زیرمجموعه‌های تک رنگی یافت می‌شوند که در این زیرمجموعه‌ها تمام یال‌های متصل به هم از یک رنگ باشند.

بسطی از این قضیه برای هر تعداد رنگ متناهی به جای دو رنگ به کار می‌رود. به طور دقیق تر این قضیه بیان می‌کند که برای هر تعداد رنگ داده شدهٔ c وهر مجموعه از اعداد صحیح داده شدهٔ n_1,n_2,... ,n_c عدد R \left (n_1,n_2,... ,n_c \right) به گونه‌ای وجود دارد که اگر یال‌های گراف کاملی از مرتبه R \left (n_1,n_2,... ,n_c \right) با c رنگ متفاوت، رنگ آمیزی شود آن گاه برای مقادیری از i بین ۱ تا c گراف مورد نظر باید شامل زیرگراف کاملی از مرتبهn_iباشد که تمام یال‌های آن به رنگ i هستند. مورد خاصی که در بالا به آن اشاره شد برای c=۲ اتفاق می‌افتد.(n_2=s، n_1=r)

مثال:R(۳٬۳)=۶[ویرایش]

یک K 5 رنگ آمیزی شده با ۲ رنگ بدون وجود K 3 تک رنگ

تصور کنید که یال‌های یک گراف کامل با ۶ راس با دو رنگ آبی و قرمز رنگ آمیزی شده باشد. حال یک راس مثلاً راس v را انتخاب کنید. ۵ یال به v متصل هستند و از این رو بنابر اصل لانه کبوتری حداقل ۳ تا از آن‌ها باید همرنگ باشند. بدون کاسته شدن از کلیت مساله می‌توان فرض کرد که حداقل ۳ یال که از راس v به راس‌های r,s،t متصل اند آبی هستند (در غیر این صورت جای رنگ‌های قرمز و آبی عوض می‌شود.) اگر هر یک از یال‌های (r, s), (r, t), (s, t) نیز آبی باشد آن گاه ما یک مثلث از یال‌های آبی داریم. در غیر این صورت یعنی اگر هیچ یک از یال‌های ذکر شده آبی نباشند هر سهٔ این یال‌ها قرمز خواهند بود و ما یک مثلث به رنگ قرمز خواهیم داشت.

از آن جایی که این استدلال را برای هر رنگ آمیزی می‌توان به کار برد، هر گراف کامل K_6 شامل یک K_3 تک رنگ است و ازاین رو R(۳٬۳) ≤ ۶. نسخهٔ عمومی این قضیه، قضیهٔ آشنایان وغریبه‌ها نامیده می‌شود.

یک اثبات جایگزین با استفاده از روش دوگونه شماری بدست می‌آید. این روش بدین صورت پیش می‌رود: تعداد سه تایی‌های مرتب از راس‌های x,y،z را که در آن یال (x,y) قرمز و (y,z) آبی هستند، بشمارید. اولاً هر راس داده شده در میان ۰×۵=۰ یا ۱×۴=۴ یا ۲ × ۳ = ۶ تا از سه تایی‌های مرتب خواهد بود. بنابراین حداکثر ۶×۶=۳۶ تا از این سه تایی‌ها وجود دارد. دوما برای هر مثلث (x,y،z) غیر تک رنگ دقیقاً ۲ تا از این سه تایی‌ها وجود دارد. بنابراین حداکثر ۱۸ تا مثلث غیر تک رنگ وجود دارد. بنابراین حداقل ۲ تا از ۲۰ مثلث موجود در K_6 تک رنگند.

برعکس، می‌توان یک K_5 را با دو رنگ، رنگ آمیزی کرد بدون این که هیچ K_3 تک رنگی ایجاد شود که نشان می‌دهد R(۳٬۳)> ۵.

اثبات قضیه[ویرایش]

ابتدا قضیه را برای حالت رنگ آمیزی با دو رنگ با استفاده از استقرا روی r+s اثبات می‌کنیم. از روی تعریف واضح است که برای هر n ای R(n, ۱) = R(1, n) = ۱. این پایهٔ استقراست. ما اثبات خواهیم کرد که R \left (r,s \right) وجود دارد و این کار را با یافتن یک محدودهٔ صریح برای آن انجام خواهیم داد. فرض استقرای ما این است که R \left (r-1,s \right)،R \left (r,s-1 \right) وجود دارد.

ادعا: R(r,s)\le R(r-1,s)+R(r,s-1). یک گراف کامل با R \left (r-1,s \right) + R \left (r,s-1 \right) راس را در نظر بگیرید. راس v از گراف داده شده را انتخاب کنید و راس‌های باقی‌مانده را به دو مجموعهٔ M و N تفکیک کنید به گونه‌ای که هر راسی همانند w در مجموعهٔ M باشد اگر یال (v, w) آبی باشد و w در N باشد اگر که یال (v, w) قرمز باشد.

حال با استفاده از اصل لانه کبوتری داریم: \left | N \right | \ge R(r,s-1) یا \left | M \right | \ge R(r-1,s)اگر M دارای زیرگراف کامل K_s به رنگ قرمز باشد آن گاه گراف اولیه نیز شامل این بخش می‌شود و مساله حل شده‌است. در غیر این صورت M دارای زیرگراف کامل K_{r-1} است و بنابراین بنا بر تعریف M، M اجتماع {v} دارای زیرگراف کامل K_r به رنگ آبی است. برای حالت دیگر نیز استدلال مشابه‌است.

پس ادعای ما درست است و ما اثبات را برای رنگ آمیزی با دو رنگ کامل کردیم. اکنون می‌خواهیم نتایج حالت کلی در رنگ آمیزی با c رنگ را به اثبات برسانیم. از استقرا استفاده می‌کنیم. ما نتایج مورد نظرمان را برای c=1(بدیهی) و c=2 (طبق مطالب گفته شده در بالا) داریم. حال c>۲ را در نظر می‌گیریم.

ادعا:R(n_1,... ,n_c)\le R(n_1,... ,n_{c-2},R(n_{c-1},n_c))

توجه کنید که عبارت سمت راست تنها دارای عدد رمزی برای c-۱ رنگ و ۲ رنگ است و از این رو طبق فرض استقرا عددی متناهی مانند t وجود دارد. پس اثبات ادعایمان برای اثبات قضیه کافی است.

اثبات ادعا[ویرایش]

گرافی با t راس را در نظر بگیرید و یال‌های آن را با c رنگ، رنگ آمیزی کنید. حال خود را به کور رنگی بزنید و وانمود کنید که رنگ c-1 و رنگ c رنگ‌های یکسانی هستند. پس در این وضعیت گراف با c-1 رنگ، رنگ آمیزی شده‌است. بنابر فرض استقرا این گراف شامل K_{ni} تک رنگ است که رنگ i در بازهٔ 1 \le i \le (c-2) قرار دارد یا شامل یک K_{R \left (n_{c-1},n_c \right)} رنگ شده با رنگ‌های تیره‌است. در حالت اول کار ما به پایان رسیده‌است. در حالت دوم دیدگاه خود را مورد بازبینی قرار می‌دهیم و می‌بینیم که بنا بر تعریف R \left (n_{c-1},n_c \right) ما باید یا یک گراف K_{n_{c-1}} که به تمامی با تک رنگ (c-1) رنگ شده داشته باشیم یا یک گراف K_{n_c} که با تک رنگ c رنگ شده باشد. در هر دو حالت اثبات کامل است.

اعداد رمزی[ویرایش]

اعداد R \left (r,s \right) در قضیهٔ رمزی (و بسط یافتهٔ آن‌ها در موارد با بیش از دو رنگ) تحت عنوان اعداد رمزی شناخته می‌شوند. یک حد بالا برای R\left (r,s \right) را، می‌توان از اثبات قضیه استخراج کرد و سایر استدلال‌ها نیز حد پایین برای آن ارائه می‌کنند.(نخستین حد پایین توسط Paul Erdős با استفاده از روش احتمالاتی به دست آمد.) هر چند شکاف بزرگی میان مقادیر حد پایین و حد بالا وجود دارد. من تبع آن تعداد بسیار اندکی از r وsها هستند که ما برای آن‌ها مقدار دقیق R \left (r,s \right) را می‌دانیم. محاسبهٔ حد پایین L برای R \left (r,s \right) معمولاً نیازمند ارائهٔ یک رنگ آمیزی گراف K_{L-1} با دو رنگ قرمز و آبی است به طوری که هیچ زیرگراف آبی K_r و هیچ زیرگراف قرمز K_s در آن یافت نشود. هر چند که بررسی حالت‌های مختلف رنگ آمیزی گراف K_n با افزایش مقدار n از نظر محاسباتی بسیار پیچیده خواهد شد. تعداد حالت‌های رنگ آمیزی رشدی بالاتر از رشد نمایی(exponentially) دارد.

در حال حاضر حتی مقدار دقیق R \left(5,5 \right) شناخته شده‌است هر چند که از قبل می‌دانستیم که مقدار آن بین ۴۳(توسط Geoffrey Exoo) و 49 (Brendan McKay، وStanisław Radziszowski) قرار دارد. احتمال داده می‌شود که مقدار دقیق R \left (6,6 \right) برای همیشه مجهول بماند. Paul Erdős می‌گوید:

" بیگانگانی (نیروهای خارجی) را تصور کنید که بسیار نیرومندتر از ما بر روی زمین هستند و از ما خواسته‌اند که مقدار R \left (5,5 \right) را محاسبه کنیم و در غیر این صورت سیارهٔ ما را نابود خواهند کرد. در این حالت ما باید تمام کامپیوترها و ریاضی دان هایمان را به کار بگیریم و برای یافتن مقدار مورد نظر به شدت تلاش کنیم. حال به جای این تصور کنید که از ما خواسته شده تا مقدار R \left (6,6 \right) را محاسبه نماییم، در این وضعیت ما باید تمام تلاشمان را برای نابود کردن بیگانگان به کار ببریم!"

مقدار R \left (r,s \right) برای مقادیر r و s تا ۱۰ در جدول زیر نشان داده شده‌است. از آن جایی که در بسیاری از موارد مقدار دقیق را نمی‌دانیم، بهترین حدود یافت شده در جدول به نماش گذاشته شده‌است. R \left (r,s \right) برای مقادیر r و s کوچک تر از ۳ به صورت R(1,s) = 1و R(2,s) = s برای تمام مقادیرs داده شده‌است.

r,s ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰
۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱ ۱
۲ ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰
۳ ۱ ۳ ۶ ۹ ۱۴ ۱۸ ۲۳ ۲۸ ۳۶ ۴۰–۴۲
۴ ۱ ۴ ۹ ۱۸ ۲۵ ۳۶–۴۱ ۴۹–۶۱ ۵۸–۸۴ ۷۳–۱۱۵ ۹۲–۱۴۹
۵ ۱ ۵ ۱۴ ۲۵ ۴۳–۴۹ ۵۸–۸۷ ۸۰–۱۴۳ ۱۰۱–۲۱۶ ۱۲۶–۳۱۶ ۱۴۴–۴۴۲
۶ ۱ ۶ ۱۸ ۳۶–۴۱ ۵۸–۸۷ ۱۰۲–۱۶۵ ۱۱۳–۲۹۸ ۱۳۲–۴۹۵ ۱۶۹–۷۸۰ ۱۷۹–۱۱۷۱
۷ ۱ ۷ ۲۳ ۴۹–۶۱ ۸۰–۱۴۳ ۱۱۳–۲۹۸ ۲۰۵–۵۴۰ ۲۱۷–۱۰۳۱ ۲۴۱–۱۷۱۳ ۲۸۹–۲۸۲۶
۸ ۱ ۸ ۲۸ ۵۸–۸۴ ۱۰۱–۲۱۶ ۱۳۲–۴۹۵ ۲۱۷–۱۰۳۱ ۲۸۲–۱۸۷۰ ۳۱۷–۳۵۸۳ ۶۰۹۰-۳۳۱
۹ ۱ ۹ ۳۶ ۷۳–۱۱۵ ۱۲۶–۳۱۶ ۱۶۹–۷۸۰ ۲۴۱–۱۷۱۳ ۳۱۷–۳۵۸۳ ۵۶۵–۶۵۸۸ ۵۸۱–۱۲۶۷۷
۱۰ ۱ ۱۰ ۴۰–۴۲ ۹۲–۱۴۹ ۱۴۴–۴۴۲ ۱۷۹–۱۱۷۱ ۲۸۹–۲۸۲۶ ۶۰۹۰-۳۳۱ ۵۸۱–۱۲۶۷۷ ۷۹۸–۲۳۵۵۶

در جدول یک تقارن ناچیز در میان قطر نیز وجود دارد. جدول فوق از جدول بزرگ تری که توسط Stanisław Radziszowski تالیف شده، اقتباس شده‌است. در سال ۲۰۱۲ قضیه R \left (4,6 \right)>= 36 را Geoffrey Exoo اثبات کرد.[۱]

یک مثال از چندین رنگ: R(3,3،3) = 17[ویرایش]

Sixteens.gif
گراف Clebsch

یک عدد رمزی رنگارنگ یک عدد رمزی است که در آن برای رنگ آمیزی از ۳ رنگ یا بیشتر استفاده می‌شود. فقط یک عدد رمزی رنگارنگ وجود دارد که مقدار دقیق آن شناخته شده‌است و آن R(3,3،3) = ۱۷ است.

یالی از یک گراف کامل را درنظر بگیرید که با ۳ رنگ قرمز، آبی و زرد رنگ آمیزی شده‌است. علاوه بر این فرض کنید که یال مورد نظر هیچ مثلث هم رنگی را تشکیل نمی‌دهد. یک راس دلخواه v را انتخاب کنید. مجموعهٔ رئوسی که یک یال سبز به v داده‌اند را در نظر بگیرید. این مجموعه همسایگی سبز راس v نامیده می‌شود. همسایگی سبز v نمی‌تواند شامل هیچ یال سبزی باشد، زیرا در غیر این صورت مثلث سبزی وجود خواهد داشت که متشکل از دو نقطهٔ انتهایی آن یال سبز و راس v خواهد بود. پس یال‌های رنگ آمیزی شده در همسایگی سبز v تنها با دو رنگ قرمز و زرد رنگ آمیزی شده‌اند. از آن جایی که R(3,3) = 6 است همسایگی سبز v می‌تواند حداکثر شامل ۵ راس باشد. به طور مشابه همسایگی‌های قرمز و زرد v نیز هر کدام حداکثر می‌توانند ۵ راس داشته باشند. از آن جایی که هر راس به جز خود v در یکی از همسایگی‌های سبز، قرمز یا زرد v قرار گرفته، گراف کامل حداکثر می‌تواند 1 + 5 + 5 + 5 = 16 راس داشته باشد. در نتیجه داریم: R(3,3،3) ≤ 17

برای این که ببینیم R(3,3،3) ≤ 17 کافی است یال‌های یک گراف کامل با ۱۶ راس را با سه رنگ متفاوت رنگ آمیزی کنیم و در عین حال از ایجاد مثلث‌های تک رنگ بپرهیزیم. به این نتیجه خواهیم رسید که دقیقاً دو روش برای رنگ آمیزی K16 با این شرایط وجود دارد که آن‌ها را رنگ آمیزی تابیده (معوج) و ناتابیده می‌نامیم. هر دو روش رنگ آمیزی در شکل سمت چپ در بالا نشان داده شده‌است. شکل بالایی رنگ آمیزی ناتابیده و شکل پایینی رنگ آمیزی تابیده را نشان می‌دهد.

پس R(3,3،3)=۱۷.

اگر شما هر رنگی از رنگ‌های تابیده یا ناتابیدهٔ گراف K_{16} را انتخاب کنید و گرافی را در نظر بگیرید که یال‌هایش دقیقاً یال‌هایی با همان رنگ ویژه باشد آن گاه به گراف Clebsch دست خواهیم یافت.

دقیقاً دو روش برای رنگ آمیزی یال‌های گراف K_{15} با سه رنگ وجود دارد به گونه‌ای که از ایجاد مثلث‌های تک رنگ پرهیز کنیم. این گراف را می‌توان با حذف کردن هر راس دلخواه از گراف تابیده یا ناتابیدهٔ K16 که به طور مطلوب رنگ آمیزی شده، به دست آورد.

علاوه بر این دقیقاً ۱۱۵ یال برای رنگ آمیزی K_{14} با سه رنگ وجود دارد به گونه‌ای که در آن از ایجاد مثلث‌های تک رنگ جلوگیری شود.

پیوند به بیرون[ویرایش]

منابع[ویرایش]

ویکی‌پدیای انگلیسی