First time here? Check out the FAQ!
10 0 Minimum length of edges in a graph (that is a tree) ( 2020-12-27 15:03:38 +0200 )