>>357 亀レスで答え出てるところすまんけど、ソースコードを見ると、same は leader の一致判定に帰着されてるから、少なくとも作者は同値だと思ってるね
https://github.com/atcoder/ac-library/blob/v1.4/atcoder/dsu.hpp#L33