سوال ۱

به ازای هر عدد طبیعی $n$ و هر عدد حقیقی $1 \leqslant a \leqslant \frac{n}{3}$ مقدار $f(n, a)$ را بیشینه‌ی تعداد یال ها در میان تمام گراف‌های ساده‌ی دور‌‌ دار $n$ رأسی در نظر بگیرید که در آن ها داریم: ثابت کنید $f(n, a) ∈ θ(na)$ است.

راهنمایی

گرافی که شرط مسئله را داشته باشد و بیشترین تعداد یال را داشته باشد در نظر بگیرید. آن را G می‌نامیم. روی G، الگوریتم $DFS$ را اجرا کنید.

راهنمایی

برای تمیز‌نویسی بخش نهایی، اگر $3a=k$ می‌توانید از نامساوی زیر استفاده کنید $$e(G)=q\binom{k}{2} \ge \frac{n}{2k}\cdot \frac{k(k-1)}{2} = \frac{n(k-1)}{4}. $$

<راهنمایی> برای هر راس، حداکثر چند back-edge به سمت بالا از آن راس ممکن است وجود داشته باشد؟

راهنمایی

فرض کنید back-edge هایی که از راس $v$ به بالا می‌روند، به ترتیب ارتفاع به رئوس $u_1, u_2, \dots, u_k$ بروند. همچنین طول کوتاه‌ترین و بلند‌ترین دور گراف را به ترتیب $l$ و $r$ بگیرید.

راهنمایی

دقت کنید برای هر $i$ اختلاف ارتفاع $u_i$ و $u_{i+1}$ حداقل $l-2$ باید باشد.

راهنمایی

در صورتی که گزاره‌ی راهنمایی فوق درست نباشد، می‌توانید دور کوتاه‌تر از طول $l$ بیابید.

راهنمایی

اختلاف ارتفاع $u_1$ و $u_k$ حداکثر $r-2$ است.

راهنمایی

تعداد back-edge های متصل به هر راس طبق استدلال‌های فوق حداکثر از $O(\frac{r}{l})$ خواهد بود.

راهنمایی

برای مثال، تعدادی خوشه در نظر بگیرید.

راهنمایی

در هر خوشه، $3a$ راس قرار دهید، راس‌های باقی‌مانده نیز مهم نیستند.

راهنمایی

برای تمیز‌نویسی بخش نهایی، می‌توانید از نامساوی زیر استفاده کنید. در نظر بگیرید $k=3a$ \[ q=\left\lfloor \frac{n}{k}\right\rfloor \ge \frac{n}{2k}. \]

\[ e(G)=q\binom{k}{2} \ge \frac{n}{2k}\cdot \frac{k(k-1)}{2} = \frac{n(k-1)}{4}. \]