Изменения
Нет описания правки
Рассмотрим граф <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_G\e xT_Ge (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\e (x, y) + T_G/e (x, y) </tex>;