CD
Нам нужно начинать с окружности, понятно
Size: a a a
2020 September 14
CD
В графе должен быть цикл
lg
Иначе он стягиваемый
CD
lg
Поэтому выбор остовного дерева и его стягивание и даст букет
CD
кажется, я что-то начал понимать
CD
окружностей в букете сколько ребер вне остова?
lg
Ага
CD
их количество, конечно, Р - В + 1
CD
забавно, никогда не думал об этом так
CD
сейчас ты мне еще скажешь, что совпадение этого с базисом системы векторов над Z2 порождающей системы циклов не случайно?)
lg
Наверняка, я правда не знаю, что такое порождающая система циклов :х
lg
Но из названия, кажется, что не случайно
CD
ну 1 если ребро в цикле, 0 если нет
lg
Потому что эти рёбра внеостовные это порождающие циклы в первых когомологиях
CD
системы циклов образуют линейное подпространство векторов
CD
базис примерно так будет строиться - от остова
CD
система в смысле 1 и более, степень каждой вершины четная, эйлеров подграф, много вариантов
lg
Кажется, это конструкция это примерно посчитать когомологии графа с коэффициентами в Z/2
CD
ну вроде там понятно, что зависимыми в слау условий "степень при вершине четная" можно взять ребра остова