Пусть G = (V, E) — взвешенный, связный и неориентированный граф. Пусть T1 и T2 будут двумя разными MST. Предположим, что мы можем написать E = (A1 U B U A2) таким образом, что:
B является пересечением ребер T1 и T2, и
A1 = T1 - B
A2 = T2 - B
Предполагая, что каждая MST T в G содержит все ребра B, найдите алгоритм, определяющий, существует ли MST T, содержащая хотя бы одно ребро в A1 и хотя бы одно ребро в A2.
Редактировать: я уронил часть, которая была здесь. Я думаю, что это приносит больше вреда, чем пользы.