为什么红黑树上贪心，最后得出一个DAG，然后跑支配树，最后得出的树依旧有BST特性呢？又，为什么AC自动机上LCT，然后利用树无环的特性重构，最后会得到一个完全图？