دنباله گرافی

دنباله گرافی 

دنباله‌ای مرتب از اعداد (صعودی یا نزولی) مانند  را دنباله گرافی می‌نامند هرگاه بتوان گرافی ساده با  راس رسم کرد که درجه راس‌های آن همین اعداد باشد.

 تشخیص دنباله گرافی 
۱. در هر گراف ساده از مرتبه درجه هر راس حداکثر  است. مثلاً دنباله  مربوط به گراف ساده نیست چون ۴ راس داریم و نمی‌توانیم راس درجه ۴ داشته باشیم.

۲. تعداد راس‌های فرد هر گراف عددی زوج است چون اگر تعداد راس‌های فرد، عددی فرد باشد. جمع درجه‌ها برابر عدد زوج  نمی‌شود. مثلاً دنباله ی  مربوط به گراف ساده نیست چون سه راس فرد در گراف وجود دارد.

نتیجه: تعداد راس‌های زوج هر گراف، از نظر زوج و فرد بودن هم جنس مرتبه گراف است یعنی اگر  زوج باشد تعداد راس‌های زوج هم عددی زوج است و اگر  فرد باشد تعداد راس‌های زوج هم عددی فرد است.

۳. اگر گراف دارای رأس فول باشد، آنگاه باید  باشد، مثلاً دنبالهٔ  مربوط به گراف ساده نیست چون دو راس فول داریم باید  باشد که اینطور نیست و  است.

۴. حداقل دو راس گراف، دارای یک درجه‌اند، یعنی دنباله گرافی باید حداقل دو جملهٔ مساوی داشته باشیم، مثلاً دنباله  مربوط به گراف ساده نیست چون حداقل دو جمله مساوی ندارد.

۵. در تشخیص گرافی بودن یک دنباله، می‌توانیم از راس‌های درجهٔ صفر نظر کنیم یعنی می‌توانیم جمله‌های صفر را از دنباله پاک کنیم. مثلاً به جای بررسی دنباله  می‌توانیم دنباله را بررسی کنیم.

 الگوریتم هاول – حکیمی 
دنباله‌هایی وجود دارند که همه نکات فوق در آن‌ها برقرار است، اما دنباله، مربوط به یک گراف ساده نیست. به عنوان مثال دنبالهٔ  در اینگونه موارد می‌توان به کمک الگوریتم، دنبالهٔ درجات را سبک می‌کنیم که در نتیجه تشخیص گرافی بودن دنبالهٔ حاصل از دنباله اولیه ساده‌تر است. اما روش کار به صورت زیر است:

گام ا: دنباله را به صورت نزولی مرتب می‌کنیم.

گام ۲: بزرگترین عدد دنباله یعنی  را حذف کرده و از راس بعدی یک واحد کم می‌کنیم (مشتق اولیه دنباله)

گام ۳: می‌توان گام‌های فوق را تا جایی که تشخیص دنبالهٔ حاصل میسر شود ادامه داد (مشتق nام)

توجه: اگر دنباله‌ای مربوط به گراف ساده باشد پس از به کار بردن الگوریتم هاول – حکیمی تا مرحله آخر، به دنباله‌ای می‌رسیم که تمام جملاتش صفر است.

 منابع 





رده:بیوانفورماتیک
رده:زیست‌شناسی
رده:ژنگان‌شناسی
رده:گراف‌های با کاربرد ویژه
رده:زیست‌شناسی فرگشتی