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