Я нахожу его небольшим приведением в замешательство, что кто-либо хотел бы записать GUI для программы Erlang в чем-то другом, чем Erlang? Модель параллелизма Erlang делает его превосходным языком для записи графический интерфейсов пользователя в. Элементы UI и события отображаются отлично на процессы Erlang и сообщения.
Это верно. Выбор другого начального узла может дать вам другое связующее дерево, но оно всегда будет иметь одинаковый вес: минимально возможный.
Это объясняется единственностью минимумов.
Доказательство:
Suppose there are 2 "different" minimum weights W1 and W2
W1 is minimum
W2 is minimum
W1 != W2
This leads to contradiction because
if W1 != W2 then
W1 < W2 -> W1 is minima
or
W1 > W2 -> W2 is minima
Hence if W1 must equal W2.