不能满足性质的怎么办，那就加上一些二元序偶，让它变得有这个性质，而且还要是最小的。。

$r(\boldsymbol R) = \boldsymbol R \cup \boldsymbol R^0$ （即造出自环边）

$s(\boldsymbol R) = \boldsymbol R \cup \boldsymbol R ^{-1}$ （即造出对称边） $t(\boldsymbol R) = \boldsymbol R \cup \boldsymbol R^2 \cup \boldsymbol R^3 \cup \cdots \cup \boldsymbol R^n$ （即所有可达路径均做收尾相连）

同理记得这个刁钻的自环走位要给他加上。

改进算法：