113 .4.5 无环约束改进