题目传送门这道题很有意思，（看上去像数据结构似的），考察的就是差分约束的掌握熟练程度和Tarjan算法的灵活变通。首先发现要求最小值，所以跑最长路，并将所有关系都转化成大于或大于等于。设\(x_i\)表示第\(i\)颗恒星的亮度值。一共有五种关系，分类讨论：第一种操作：\(x_a=x_b\)，