首先考虑只满足第一个条件,二分答案,把过期时间加上mid之后的2n个时间离散,老鼠拆成每个时间的,第i个时间第j个老鼠为id[i][j],连接(s,i,p[i]),对于离散后时间(g[j-1]~g[j])在i奶酪的时间区间里的ij,连接(i,id,老鼠速度*时间段长),然后连(id,t,inf),判断合法就是dinic==sump 易证这样是满足第一个条件的,因为可以调整吃奶酪的老鼠的顺序来使其合法 然后看第二个条件,把老鼠速度从大到小排序并差分,把上个建图中的(i,id,老鼠速度*时间段长)改…