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