На этом рисунке из нашей статьи приведены примеры таких упаковок. Граф - это наша сеть: узлы (вершины) и парные системы распределения ключей (рёбра). Остовное дерево - это подграф, в котором все вершины связаны, т.е. из любой можно попасть в любую, но обязательно этот путь только один, нет двух разных дорог. Эквивалентно можно сказать, что нет замкнутых путей.
Каждое ребро в графе можно использовать только один раз. Сколько таких деревьев мы сможем найти в графе, использовав по разу каждое ребро, столько бит конференционного ключа и сможем генерировать.
Можно исходный граф умножить на 2, 3 и т.д., чтоб можно было использовать каждое ребро не один, а соответствующее число раз. Но тогда потом и поделить надо будет число деревьев на этот множитель. А в самом конце отрицательный пример - когда осталось последнее ребро, не соединяющее все вершины.
Post #382
151
