Изменения

Перейти к: навигация, поиск

Многочлен Татта

612 байт добавлено, 16:30, 15 декабря 2013
Существование и единственность
{{Утверждение
|statement=
Ранг множества <tex> A </tex> равен количеству рёбер в любом остовном лесе графа <tex> G(A) </tex>.<br>(под остовным лесом здесь понимается объединение остовных деревьев всех компонент связности, т.е. такой ациклический граф <tex> G(B) </tex>, что <tex> B \subset A </tex> и <tex> c(G(B)) = c(G(A)) </tex>)|proof=Действительно, в каждой компоненте связности остовного леса рёбер на одно меньше чем вершин, а общее число вершин равно <tex> |V| </tex>.}}
(под остовным лесом здесь понимается объединение остовных деревьев всех компонент связности, тТеперь определим сам ранговый многочлен.е. такой ациклический граф  {{Определение|definition='''Ранговый многочлен''' графа <tex> G(B) </tex>есть многочлен от двух переменных, что определяемый формулой: <texbr> B \subset A </texcenter> и <tex> cR_G(G(B)u, v) = c\sum\limits_{A \subset E} u^{\rho (GE) - \rho (A)}v^{|A| - \rho (A) } </tex>)|proof=Действительно.
}}
Анонимный участник

Навигация