قضیه جداکننده سطحی
در نظریه گراف، قضیه جداکننده سطحی شکلی از نامساوی ایزوپریمتریک برای گرافهای مسطح است که بیان میکند که هر گراف مسطح را میتوان با حذف کردن تعداد کمی از رئوس به قطعات کوچکتر تقسیم کرد. بهطور خاص، حذف $${displaystyle O(n^{0.5})}$$ راس از یک گراف n راسی (جایی که O نماد O بزرگ را فراخوانی میکند) میتواند گراف را به زیرگرافهای ناهمبند که هر یک