رأسهای فرد در گراف: رأسهایی با درجهٔ فرد
بررسی مفهوم درجهٔ رأس، قضیهٔ دست دادن و نقش رأسهای فرد در نظریهٔ گراف با مثالهای ملموس و جدولهای مقایسه
در نظریهٔ گراف، هر گراف شامل رأسها و یالها است. تعداد یالهای متصل به هر رأس، «درجه» نامیده میشود. رأسهایی که درجهٔ آنها عددی فرد باشد، رأس فرد نام دارند. یک قضیهٔ کلیدی به نام «قضیهٔ دست دادن» نشان میدهد که در هر گراف، تعداد رأسهای فرد همیشه زوج است. این مقاله به بررسی ویژگیهای رأسهای فرد، کاربرد آنها در مسائل مسیریابی و مثالهای عملی از زندگی روزمره میپردازد.
۱. تعریف درجهٔ رأس و دستهبندی رأسهای فرد و زوج
در یک گراف ساده
1 که از مجموعهای از رأسها (نقاط) و یالها (خطهای متصلکننده) تشکیل شده است، به تعداد یالهایی که به یک رأس متصل میشوند، «درجه» آن رأس میگوییم. درجه را با
$ \deg(v) $ نشان میدهیم. اگر
$ \deg(v) $ عددی فرد باشد، آن رأس را
رأس فرد و اگر زوج باشد،
رأس زوج مینامیم.
مثال ساده: فرض کنید در یک مهمانی 5 نفر حضور دارند. هر دست دادن بین دو نفر، یک یال در گراف مهمانی ایجاد میکند. اگر شخص «الف» با 3 نفر دیگر دست داده باشد، درجهٔ او 3 (فرد) است. اگر شخص «ب» با 2 نفر دست داده باشد، درجهٔ او 2 (زوج) خواهد بود.
برای درک بهتر، جدول زیر انواع رأسها را بر اساس درجه مقایسه میکند:
| نوع رأس |
شرط درجه |
مثال عددی |
ویژگی در مسیر |
| رأس فرد |
$ \deg(v) \equiv 1 \pmod{2} $ |
1, 3, 5, 7, ... |
نقطهٔ شروع یا پایان در مسیر اویلری |
| رأس زوج |
$ \deg(v) \equiv 0 \pmod{2} $ |
0, 2, 4, 6, ... |
قابلیت عبور در مسیرهای بسته |
۲. قضیهٔ دست دادن و نقش آن در تعداد رأسهای فرد
یکی از قضیههای بنیادین در نظریهٔ گراف، «قضیهٔ دست دادن»
2 است. این قضیه بیان میکند که مجموع درجههای همهٔ رأسهای یک گراف، برابر با دو برابر تعداد یالها است. به زبان ریاضی:
$ \sum_{v \in V} \deg(v) = 2|E| $
نتیجهٔ مهم این قضیه آن است که تعداد رأسهای با درجهٔ فرد در هر گراف، همواره یک عدد زوج است. زیرا اگر تعداد رأسهای فرد فرد میبود، مجموع درجهها فرد میشد که با برابر بودن با
$ 2|E| $ (عدد زوج) تناقض دارد.
مثال عددی: گرافی با 4 رأس در نظر بگیرید. درجهها به ترتیب 3, 2, 3, 2 باشند. تعداد رأسهای فرد (3 و 3) برابر 2 (زوج) است. مجموع درجهها: $ 3+2+3+2 = 10 $ که برابر $ 2 \times 5 $ (دو برابر تعداد یالها) میباشد.
۳. کاربرد عملی: مسیریابی در شبکه و معماری
در طراحی شبکههای آبرسانی یا مسیرهای شهری، مفهوم رأسهای فرد کاربرد مستقیم دارد. مسئلهٔ یافتن «مسیر اویلری»
3 (مسیری که از هر یال دقیقاً یک بار عبور کند) به طور مستقیم به تعداد رأسهای فرد وابسته است:
- اگر گراف دارای 0 رأس فرد باشد، یک دور اویلری (مسیر بسته) وجود دارد.
- اگر گراف دارای دقیقاً 2 رأس فرد باشد، یک مسیر اویلری (باز) از یکی از رأسهای فرد به دیگری وجود دارد.
- اگر تعداد رأسهای فرد بیشتر از 2 باشد، هیچ مسیر اویلری وجود نخواهد داشت.
مثال شهری فرض کنید یک پارک با
4) ورودی و خروجی داریم. اگر میخواهیم مأمور نظافت از تمام مسیرها دقیقاً یک بار عبور کند و به نقطهٔ اول بازگردد، باید مطمئن شویم که تمام تقاطعها (رأسها) درجهٔ زوج دارند. در غیر این صورت، مجبور خواهیم بود از برخی مسیرها دوباره عبور کنیم.
۴. چالشهای مفهومی پیرامون رأسهای فرد
۱) آیا ممکن است یک گراف فقط یک رأس فرد داشته باشد؟
پاسخ: خیر. بر اساس قضیهٔ دست دادن، تعداد رأسهای فرد در هر گراف زوج است. بنابراین وجود تنها یک رأس فرد غیرممکن میباشد.
۲) اگر رأس منزوی (درجهٔ صفر) داریم، آیا آن را رأس زوج محسوب میکنیم؟
پاسخ: بله. عدد صفر یک عدد زوج است، بنابراین رأس منزوی یک رأس زوج به شمار میرود و در شمارش رأسهای فرد تأثیری ندارد.
۳) آیا در گرافهای جهتدار نیز مفهوم رأس فرد معنا دارد؟
پاسخ: در گراف جهتدار به جای درجه، دو مفهوم «درجهٔ ورودی» و «درجهٔ خروجی» داریم. هر یک میتواند فرد یا زوج باشد. اما قضیهٔ دست دادن برای جمع درجههای ورودی و خروجی نیز صادق است.
۵. جمعبندی و نتیجهگیری
در این مقاله با مفهوم رأس فرد در نظریهٔ گراف آشنا شدیم. دیدیم که درجهٔ هر رأس، تعداد یالهای متصل به آن است و رأسهای فرد در مسائل مسیریابی و طراحی شبکه نقش کلیدی دارند. مهمترین قضیه، یعنی قضیهٔ دست دادن، ثابت میکند که تعداد رأسهای فرد همواره زوج است. این ویژگی پایهای برای درک ساختار گرافها و حل مسائلی مانند مسیر اویلری به کار میرود. درک صحیح از رأسهای فرد، گام اول برای ورود به مباحث پیشرفتهتر نظریهٔ گراف مانند گرافهای همیلتونی و الگوریتمهای بهینهسازی است.
۶. پاورقی
1 گراف ساده (Simple Graph): گرافی بدون یال چندگانه و بدون حلقه (یالی که یک رأس را به خودش متصل کند).
2 قضیهٔ دست دادن (Handshaking Lemma): قضیهای که میگوید مجموع درجههای همهٔ رأسها برابر دو برابر تعداد یالها است.
3 مسیر اویلری (Eulerian Path): مسیری در گراف که از هر یال دقیقاً یک بار عبور کند. اگر این مسیر بسته باشد (شروع و پایان یکسان)، دور اویلری نام دارد.