For the sake of bookkeeping, each e

For the sake of bookkeeping, each edge is classified into one of the three categories: basic, branch, and rejected. Initially, every edge is a basic edge. When a reject message is sent through an edge, it is classified as rejected. Finally, when a basic edge becomes a tree edge, its status changes to branch. The following lemma is trivially true:

Результаты (русский) 1:

Ради бухгалтерского учёта, каждый край подразделяется на одну из трех категорий: basic, ветвь и отклонено. Первоначально каждый край является основной край. Если отклонить сообщение отправляется через край, он классифицируется как отклонено. Наконец когда основной край края дерева, его статус изменяется на ветви. Следующие "ЛЕММА" тривиально верно:

Результаты (русский) 2:

Ради бухгалтерии, каждое ребро отнесены к одной из трех категорий: основной, ветви, и отклонена. Первоначально каждое ребро является основным края. Когда сообщение отклонять посылается через край, она классифицируется как отвергаются. И, наконец, когда базовый край становится деревом края, его статус меняется на ветку. Следующая лемма тривиально:

Результаты (русский) 3:

ради учета каждого края подразделяется на одной из трех категорий: основной, власть, и отвергли.первоначально все края является одним из основных преимуществ.когда отклонить сообщение направляется через край, это квалифицируется как отклонил.наконец, когда основные преимущества превращается в дерево края, его статус изменения в отрасли.следующие лемма является trivially так: