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