لم لوواس

لم محلی لوواس یکی از لم‌های ترکیبیات است که در نظریه احتمالات استفاده می‌شود. در نظریه احتمالات، چنانچه تعداد زیادی از پیشامدهای دو به دو مستقل داشته باشیم و احتمال وقوع هر کدام کمتر از یک باشد، احتمالی (هر چند کوچک) وجود دارد که هیچ‌کدام از آن‌ها اتفاق نیفتند. لم لوواس شرط استقلال پدیده‌ها را تا حدودی نادیده می‌گیرد؛ طبق این لم، تا وقتی که پیشامدها «اکثراً» از یکدیگر مستقلند و احتمال وقوع هر یک به‌تنهایی خیلی زیاد نیست، احتمال رخ ندادن هیچ‌یک از آن‌ها وجود دارد. این لم بیشتر در متدهای ترکیبیاتی و به‌طور خاص در مسئله‌های اثبات وجود الگو:به انگلیسی کاربرد دارد. نسخه‌های زیادی از این لم وجود دارد. ساده‌ترین و پرکاربردترین آن نسخه متقارن است که از نسخه نامتقارن بدست می‌آید.

نسخه نامتقارن لم لوواس

چنانچه $𝒜=\{A_1,\dots ,A_n\}$ مجموعه‌ای از پیشامدها در فضای نمونه‌ای Ω باشد، برای هرکدام از اعضای A, $\mathrm{\Gamma }(A)$ همسایه‌های A در گراف وابستگی (اعضایی که نسبت به A مستقل نیستند) را نشان می‌دهد. اگر تابعی مانند $x:𝒜\to [0,1)$ وجود داشته باشد که:

الگو:وسط‌چین$\mathrm{\forall }A\in 𝒜:\mathrm{Pr}(A)\le x(A)\prod _{B\in \mathrm{\Gamma }(A)}(1-x(B))$الگو:پایان

آنگاه درباره احتمال رخ ندادن هیچ‌یک از اعضای A رابطه زیر صادق است:

الگو:وسط‌چین$\mathrm{Pr}(\overline{A_1}\wedge \cdots \wedge \overline{A_n})\ge \prod _{i\in [n]}(1-x(A_i))$الگو:پایان

اثبات نسخه نامتقارن

در نظر بگیرید$S=\{B_1,B_2,...,B_m\}$.

مجموعه ${\bar{P}}_S=\mathrm{Pr}(\overline{B_1}\wedge \cdots \wedge \overline{B_n})$ تعریف شده‌است. اگر بتوانیم نشان دهیم $\frac{{\bar{P}}_S}{{\bar{P}}_{S/b}}\ge 1-x_b$، آنگاه قضیه به‌راحتی اثبات می‌شود؛ زیرا خواهیم داشت:

$\overline{P_{𝒜}}\ge (1-x_{A_1})\overline{P_{𝒜/A_1}}\ge ...\ge (1-x_{A_1})...(1-x_{A_n})\overline{P_{\mathrm{\varnothing }}}=(1-x_{A_1})...(1-x_{A_n})\ge 0$

جهت اثبات این رابطه، ${\mathrm{\Gamma }}^{+}(b)=b\vee \mathrm{\Gamma }(b)$ را تعریف می‌کنیم.

فرض می‌کنیم $\mathrm{\Gamma }\mathcal{(}{ℬ}_1\mathcal{)}\mathcal{\wedge }𝒮=\{B_2,\dots ,B_k\}$

$=>{\bar{P}}_S=P[{\bar{B}}_1\wedge ...\wedge {\bar{B}}_m]=P[{\bar{B}}_2\wedge ...\wedge {\bar{B}}_m]-P[B_1\wedge {\bar{B}}_2\wedge ...\wedge {\bar{B}}_m]\ge P[{\bar{B}}_2\wedge ...\wedge {\bar{B}}_m]-P[B_1\wedge {\bar{B}}_{k+1}\wedge ...\wedge {\bar{B}}_m]={\bar{P}}_{S/B_1}-{\bar{P}}_{S/{\mathrm{\Gamma }}^{+}(B_1)}P[B_1]$

$=>\frac{{\bar{P}}_S}{{\bar{P}}_{S/B_1}}\ge 1-\frac{{\bar{P}}_{S/{\mathrm{\Gamma }}^{+}(B_1)}}{{\bar{P}}_{S/B_1}}\cdot P[B_1]\ge 1-x_{B_1}(1)$

$\frac{{\bar{P}}_{S/{\mathrm{\Gamma }}^{+}(B_1)}}{{\bar{P}}_{S/B_1}}=\frac{{\bar{P}}_{S/B_1,B_2}}{{\bar{P}}_{S/B_1}}\cdot \frac{{\bar{P}}_{S/B_1,B_2,B_3}}{{\bar{P}}_{S/B_1,B_2}}...\frac{{\bar{P}}_{S/B_1,B_2,...,B_k}}{{\bar{P}}_{S/B_1,...,B_{k-1}}}(2)$

از نتایج بدست آمده در نامساوی‌های (۱) و (۲) می‌توان نامساوی زیر را بدست آورد:

$=>\frac{{\bar{P}}_{S/{\mathrm{\Gamma }}^{+}(B_1)}}{{\bar{P}}_{S/B_1}}\le \frac{1}{1-x_{B_2}}\cdot \frac{1}{1-x_{B_3}}\cdot \cdot \cdot \frac{1}{1-x_{B_k}}$

$=>\frac{{\bar{P}}_S}{{\bar{P}}_{S/B_1}}\ge 1-\prod _2^k\frac{1}{1-x_{B_i}}\cdot Pr[B_i]\ge 1-\prod _2^k\frac{1}{1-x_{B_i}}\cdot \prod _{c\in \mathrm{\Gamma }(B_1)}(1-x_c)\cdot x_{B_1}\ge 1-x_{B_1}$

نسخه متقارن لم لوواس

چنانچه A₁, A₂,... , A_k مجموعه‌ای از پیشامدهایی باشد که احتمال رخ دادن هرکدام حداکثر $p$ است و هریک حداکثر به $d$ پیشامد دیگر وابسته می‌باشد، سه قضیه زیر را داریم:

• لم I

اگر $4pd\le 1$، آنگاه داریم:

الگو:وسط‌چین$\mathrm{Pr}(\overline{A_1}\wedge \cdots \wedge \overline{A_n})>0$الگو:پایان

• لم II

اگر $e\cdot p\cdot (d+1)\le 1,$، آنگاه:

الگو:وسط‌چین$\mathrm{Pr}(\overline{A_1}\wedge \cdots \wedge \overline{A_n})>0$الگو:پایان

• لم III

اگر $\{\begin{array}{cc}p<\frac{(d-1{)}^{d-1}}{d^d}& d>1\\ p<\frac{1}{2}& d=1\end{array}$، آنگاه:

الگو:وسط‌چین$\mathrm{Pr}(\overline{A_1}\wedge \cdots \wedge \overline{A_n})>0$الگو:پایان

اثبات نسخه متقارن

نسخه متقارن با قرار دادن $\mathrm{\forall }A\in 𝒜:x(A)=\frac{1}{d+1}$ به‌طور مستقیم از نسخه نامتقارن بدست می‌آید. در این‌صورت به‌دلیل اینکه $\frac{1}{e}\le {(1-\frac{1}{d+1})}^d$، می‌توان نتیجه گرفت:

الگو:وسط‌چین$p\le \frac{1}{d+1}\cdot \frac{1}{e}$الگو:پایان

و در نتیجه داریم:

الگو:وسط‌چین$e\cdot p\cdot (d+1)\le 1$الگو:پایان

مثال‌ها

• از لم لواس می‌توان برای نشان دادن این که یک ابرگراف مشخص، همیشه یک رنگ‌آمیزی دوتایی دارد، استفاده کرد. یک ابرگراف، یک زوج به شکل $H=(V,E)$ نشان داد که $V$ نشان دهندهٔ رئوس و $E$ نشان دهندهٔ ابریال‌ها است. هر ابریال، یک زیرمجموعه از رئوس است. یک رنگ‌آمیزی دوتایی، تناظری است از رئوس به مجموعهٔ دو رنگ آبی و قرمز به‌طوری‌که هیچ ابریالی وجود نداشته باشد که تماماً یک‌رنگ باشد.

$H=(V,E)$ یک ابرگراف است که هر یال آن، شامل حداقل $k$ رٵس است و با حداکثر $d$ یال دیگر اشتراک دارد. برای چه $k$ و $d$‌هایی، $H$ دارای رنگ‌آمیزی دوتایی است؟ حل: ما یک رنگ‌آمیزی تصادفی با احتمال یونیفرم را در نظر می‌گیریم. در نظر بگیرید $\{A_e\}$ حالتی باشد که یال $e$ تک‌رنگ شده باشد. احتمال وقوع این اتفاق، برابر است با: $P[\{A_e\}]=(\frac{1}{2}{)}^k+(\frac{1}{2}{)}^k=2^{1-k}$ اگر این مقدار را برابر با $p$ در نظر بگیریم، باید $d$ را طوری در نظر بگیریم که شرایط لم لواس برقرار شود؛ یعنی $ep(d+1)\le 1$. این نامساوی با قرار دادن $d\le \frac{2^{1-k}}{e}-1$ بدست می‌آید.

• در این مثال، ما یک گراف وابستگی را رویمسئله صدق‌پذیری دودوییالگو:به انگلیسی تعریف می‌کنیم و با استفاده از لم لوواس، جواب داشتن مسٵله را بررسی می‌کنیم.

در مسٵلهٔ m ,k-SAT عبارت داده شده‌است $(C_i)$ که هر کدام k جمله دارند. فرض کنید $A_i$ پیشامدی باشد که در آن، عبارت i-ام درست نباشد؛ یعنی تمام k جملهٔ آن غلط باشد. در این صورت، گراف وابستگی به این شکل تعریف می‌شود : $V=A_1,A_2,\cdots ,A_m$

$\{A_i,A_j\}\in E$ اگر و تنها اگر $C_i$ و $C_j$ حداقل یک جملهٔ مشترک داشته باشند.

می‌دانیم هر $A_i$ با یک احتمال $p=Pr[A_i]=Pr[\mathrm{\neg }{C}_i]=\frac{1}{2^k}$ محدود شده‌است و احتمال اتفاق افتادنش حداکثر $p$ است. خواستهٔ مسٵله، $\mathrm{Pr}(\overline{A_1}\wedge \cdots \wedge \overline{A_m})>0$ است. برای بدست آوردن شرایط لم لوواس، باید داشته باشیم: $ep(d+1)\le 1$ که در این‌جا، $d$ همان بیشترین درجه است و داشتیم $p=\frac{1}{2^k}$ . در نتیجه داریم:

$\frac{e(d+1)}{2^k}\le 1\Rightarrow$

$(d+1)\le \frac{2^k}{e}\Rightarrow$

$d\le \frac{2^k}{e}-1$

به این نتیجه می‌رسیم که هر رٵس در گراف وابستگی، باید حداکثر با $\frac{2^k}{e}-1$ رٵس دیگر همسایه باشد.

جستارهای وابسته

• احتمالات
• پیشامدهای مستقل

منابع

• https://en.wikipedia.org/wiki/Lovász_local_lemma
• Jan Vondr�ak,"Non-constructive methods in combinatorics",Stanford University",Spring 2016
• الگو:Cite book

الگو:پایان چپ‌چین