Изменения
→Основные определения
Рассмотрим граф <tex> G </tex>, возможно петлями и кратными рёбрами. Определим '''многочлен Татта''' <tex> T_G (x, y) </tex> следующими рекурсивными соотношениями:
# Если граф <tex> G </tex> пуст, то <tex> T_G (x, y) = 1 </tex>;
# Если ребро <tex> e </tex> является мостом, то <tex> T_G (x, y) = xT_GxT_{G\backslash _e e} (x, y) </tex> ;
# Если ребро <tex> e </tex> является петлей, то <tex> T_G (x, y) = yT_G/_e (x, y) </tex>;
# Если ребро <tex> e </tex> не является ни мостом, ни петлей то <tex> T_G (x, y) = T_G\backslash _e (x, y) + T_G/_e (x, y) </tex>;