Изменения

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

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

1226 байт добавлено, 16:49, 15 декабря 2013
Существование и единственность
}}
{{ОпределенОпределение|definition=Показатели в формуле раногового многочлена тоже имеют некоторый смысл. Величина <tex> \rho (E) - \rho (A) </tex> равна <tex> c(G(A)) - c(G) </tex>, т.е. приросту числа компонент связности за счёт перехода к множеству рёбер <tex> A </tex>. Мы будем обозначать эту величину через <tex> \rho *(A) </tex> и называть числом ''важных'Ранговый многочлен'для <tex> A </tex> рёбер. (Их важно добавить к <tex> A </tex>, чтобы получилось столько же компонент связности, сколько было изначально).<br>Величину <tex> |A| - \rho (A) </tex> будем называть числом ''лишних'' dребёр: именно столько рёбер можно выкинуть из множества <tex> A </tex>, не меняя число компонент связности. Обозначать эту величину будем через <tex> \overline_{\rho} (A)</tex>.}} Далее, докажем следующую техническую лемму: {{Лемма|statement=...|proof=...
}}
Анонимный участник

Навигация