The structure of minimum-weight directed forests: related forests and convexity inequalities

A toolkit has been developed that allows to build directed forests from another directed forests. this toolkit helps to prove inequalities that connect the weights of minimal directed forests with different numbers of trees in them. Theorem on related forests hoe to transform a the minimal directed forest into another minimal directed forest with the number of roots less or greater by one.