دانشنامهی المپیاد کامپیوتر ایران
ثابت کنید در هر گراف $n$ راسی یک خوشه با $\frac{log(n)}{2}$ راس و یا یک مجموعه مستقل (بدون یال) با $\frac{log(n)}{2}$ راس وجود دارد.