فرض کنید 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 رأسی سلطانی است، اگر و تنها اگر گراف کامل، گراف تهی، ستاره یا مکمّل ستاره باشد.