RT，从差分约束算法本身来看最长路只是满足了所有的约束条件，但我不会证取的数的个数小于最长路就无法满足所有约束条件。