اعداد رمزی
============

آشنایی
------------

اولین مسئله
~~~~~~~~~~~~~

جمعی 6 نفره داریم که هر دو یا با هم دوست هستند یا با هم دشمن هستند. ثابت کنید 3 نفر وجود دارند که یا همه با هم دشمن باشند یا همه با هم دوست باشند.

تعریف
~~~~~~~~~~

تابع :math:`R(a,b)` برابر است با کمترین :math:`n` به طوریکه هر طور یال های یک :math:`K_n` را با دو رنگ آبی و قرمز رنگ آمیزی کنیم یا یک :math:`K_a` آبی داشته باشد یا یک :math:`K_b` قرمز.

می توانید به راحتی ثابت کنید که مسئله بالا معادل است با اثبات حکم :math:`R(3,3) \leq 6`.


کران ها
---------------

به دست آوردن مقدار دقیق :math:`R(a,b)` ممکن نیست اما می توان کران هایی برای آن ارائه داد.

در وهله اول باید ثابت کنیم :math:`R(a, b)` وجود دارد.(ممکن است به ازای هیچ :math:`n` ای ویژگی مطلوب برای :math:`K_n` برقرار نباشد)

ایده حل این است که یک راس پیدا کنیم که به اندازه کافی مجاور آبی یا قرمز داشته باشد و سپس تنها مجاور های آن راس را در نظر بگیریم و در آنجا یک خوشه آبی یا قرمز با اندازه کوچکتر پیدا کنیم.

به صورت دقیق فرض کنید راسی مثل :math:`u` وجود داشته باشد که حداقل :math:`R(a-1,b)` مجاور آبی داشته باشد در اینصورت اگر مجاور های این راس را در نظر بگیرید دو حالت زیر پیش می آید‌ :

- در آن یک :math:`K_{a-1}` آبی وجود دارد که در اینصورت می توانیم با اضافه کردن راس :math:`u` به آن یک :math:`K_a` آبی به دست بیاوریم.
- در آن یک :math:`K_b` قرمز وجود دارد.

پس اگر راسی باشد که حداقل :math:`R(a-1,b)` مجاور آبی وجود داشته باشد مسئله حل می شود. مشابها اگر راسی باشد که حداقل :math:`R(a, b-1)` مجاور قرمز داشته باشد هم مسئله حل می شود.

پس نتیجه می گیریم که :math:`R(a,b) \leq R(a-1,b) + R(a,b-1)` زیرا اگر گراف ما حداقل :math:`R(a-1,b) + R(a,b-1)` راس داشته باشد هر راس دلخواهی را که در نظر بگیرید یا به اندازه کافی مجاور آبی خواهد داشت یا به اندازه کافی مجاور قرمز خواهد داشت.

نامساوی بالا ما را به یاد اتحاد پاسکال می اندازد. ( :math:`\binom{n}{k} = \binom{n-1}{k} + \binom{n-1}{k-1}` )

همچنین می توان با استقرا ثابت کرد که :math:`R(a, b) \leq \binom{a+b}{a}` 

تعمیم به k بعد
------------------

تصور کنید که مجموعه ای :math:`n` عضوی داریم و هر زیرمجموعه :math:`k` تایی آن را با یکی از رنگ های آبی یا قرمز رنگ کرده ایم. حالا به یک زیرمجموعه مثل :math:`A` خوشه :math:`k` بعدی می گوییم اگر تمام زیر مجموعه های :math:`k` تایی :math:`A` همرنگ باشند. (اگر این رنگ آبی باشد خوشه آبی می گوییم و اگر این رنگ قرمز باشد خوشه قرمز می گوییم).

حالا :math:`R_k(a,b)` را تعریف می کنیم مینیمم :math:`n` که هر طور زیرمجموعه های :math:`k` تایی آن را با آبی و قرمز رنگ کنیم یا یک خوشه آبی :math:`a` تایی داشته باشیم یا یک خوشه قرمز :math:`b` تایی.

ایده اثبات مشابه بالا است. فرض کنید :math:`n = R_k(a,b)` یک عضو خاص مثل :math:`u` از مجموعه :math:`n` تایی :math:`A` را در نظر بگیرید. فرض کنید :math:`B = A - \{u\}`. هر زیر مجموعه :math:`k-1` تایی از :math:`B` مثل :math:`S` را به رنگی در می آوریم که زیرمجموعه :math:`k` تایی :math:`S \cup \{u\}` دارد. اگر تعداد اعضای :math:`B` حداقل :math:`R_{k-1}( R_k(a-1,b), R_k(a,b-1) )` باشد در اینصورت یکی از دو اتفاق زیر می افتد :

- در :math:`B` یک خوشه :math:`k-1` بعدی آبی مثل :math:`S` به اندازه حداقل :math:`R_k(a-1,b)` دارد. در اینصورت یا :math:`S` یک خوشه :math:`k` بعدی قرمز به اندازه :math:`b` دارد (که مسئله حل است). یا :math:`S` یک خوشه :math:`k` بعدی آبی به اندازه :math:`a-1` دارد. در اینصورت می توانیم :math:`u` را به این مجموعه اضافه کنیم و یک خوشه :math:`k` بعدی به اندازه :math:`a` داریم.

- در :math:`B` یک خوشه :math:`k-1` بعدی قرمز مثل :math:`S` به اندازه حداقل :math:`R_k(a,b-1)` دارد. در اینصورت یا :math:`S` یک خوشه :math:`k` بعدی آبی به اندازه :math:`a` دارد (که مسئله حل است). یا :math:`S` یک خوشه :math:`k` بعدی قرمز به اندازه :math:`b-1` دارد. در اینصورت می توانیم :math:`u` را به این مجموعه اضافه کنیم و یک خوشه :math:`k` بعدی قرمز به اندازه :math:`b` داریم.

طبق مطالب گفته شده می توان ثابت کرد که :math:`R_k(a,b) \leq R_{k-1}(R_k(a-1,b),R_k(a,b-1))`

تعمیم به k بعد و c رنگ
-------------------------------

به صورت مشابه می توانیم برای بیش از دو رنگ نیز مسئله را بیان و اثبات کنیم. پیدا کردن کران روی :math:`R_k(a_1,a_2,...,a_c)` را به خواننده واگذار می کنیم.