هدف در این پایان نامه مطالعه و شناسایی روشمعادلات چندجمله ای برایس خل مسائل نظریه گراف هاو استفاده از نظریه الگوریتمی ایده آل های چند جمله ای است.با استفاده از این روشها برخی از ویژگی های گرافها مشخص میشود. به عنوان مثال شرط k-رنگ پذیری یک گراف معادل است با خل یک دستگاه معادلات مشخص. همچنین میتوان در مورد داشتن دور همیلتونی گراف اطلاعاتی به دست آورد.