Loading [MathJax]/jax/output/HTML-CSS/jax.js

المپدیا

دانش‌نامه‌ی المپیاد کامپیوتر ایران

ابزار کاربر

ابزار سایت


سوالات المپیاد:دوره ی تابستان:دوره ی ۲۶:تئوری نهایی سوم:سوال ۳

طراح کاردرست!

فرض کنید G1,G2 دو گراف ساده‌ی برچسب‌دار با مجموعه‌ی رئوس {v1,v2,,vn} باشند. تفاضل متقارن این دو گراف را که با G1ΔG2 نشان می‌دهیم، گرافی با مجموعه‌ی رئوس {v1,v2,,vn} است که یال vivj در آن می‌آید، اگر و تنها اگر در دقیقن یکی از G1,G2 آمده باشد.

حال گراف ساده‌ی برچسب‌دار G با مجموعه‌ی رئوس {v1,v2,,vn} را در نظر بگیرید. به ازای هر یک از n! گراف ممکن که از جایگشت دادن این برچسب‌ها روی رئوس به دست می‌آید، تفاضل متقارن گراف مذکور را با G حساب کرده و اگر گراف حاصل تهی نبود، آن را در مجموعه‌ی D(G) می‌گذاریم. به گراف G سلطانی گوییم، هر گاه اعضای D(G) دوبه‌دو یک‌ریخت باشند.

فرض کنید n>6 یک عدد طبیعی است. ثابت کنید یک گراف ساده‌ی n رأسی سلطانی است، اگر و تنها اگر گراف کامل، گراف تهی، ستاره یا مکمّل ستاره باشد.


ابزار صفحه