atcoder::dsuのsameとunion-findのルート一致って同値?それとも何か反例ある?