Линейный алгоритм минимальной перестройки структур

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