Groebner basis approach in graph-theoretical problems

Çizgeler kuramında, verili bir çizgenin renklendirilebilme özellikleri, düzlemsel olup olmadığı, Hamiltonyan bir döngü içerip içermediği gibi özellikler o çizgenin başat özellikleri arasındadır. Bu tür problemlerin çeşitli kodlamalarla bir polinom sisteminin çözümünü elde etme problemlerine dönüştürülebileceğinden söz edeceğiz. Bu polinom sistemlerine Groebner bazları tekniklerini uygulayıp problemimizin kodlamaların verdiği üretici bir kümeden başat terim ideali hesaplanmasına indirgenebileceğini ortaya koyacağız.