فرض کنید ? یک گراف بامجموعه رئوس v(?)= {v1 , …vn} و مجموعه یال ها ی e(?) = {e1 , …,en} باشد. ماتریس مجاورت گراف? که با a= [aij] نمایش داده می شود،ماتریس n×n است که در آن aij = 1 اگر vi به vj مجاور باشد درغیراین صورت aij=0 . چندجمله ای det(??-a)= (?)? راچندجمله ای مشخصه گراف ? می نامیم. ریشه های (?)? به همراه تکرر طیف ? نامیده می شوند. بوضوح چون ضرایب چندجمله ای مشخصه اعدادی صحیح هستندنتیجه می ش...

گراف ?‎ را یک گراف دو-کیلی روی گروه ‎ gگوییم هرگاه زیرگروهی از ‎ aut(?)‎ یکریخت با ‎g‎ وجود داشته باشد که روی مجموعه ی رئوس ‎ ?به طور نیمه منظم عمل کند و دارای 2 مدار هم اندازه باشد. هر گراف دو-کیلی را می توان به صورت زیر نیز توصیف کرد: فرض کنید ‎$t$‎، ‎$s$‎، و ‎$r$‎ زیر مجموعه هایی از گروه ‎$ g $‎ باشند به طوری که ‎$ s^{-1}=s $‎ و ‎$ r^{-1}=r $‎ و ‎$ rcup s $‎ شامل عضو همانی ‎$ g $‎ نباشد،...