首先考虑只满足第一个条件，二分答案，把过期时间加上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,老鼠速度*时间段长)改成(i,id,老鼠差分速度*时间段长)，(id,t,inf)改成(id,t,老鼠排名*老鼠差分速度*时间段长)
这样的原理是把大的速度分成若干小段，然后把问题变成选这些小段，而小段的数量是被限制的，所以这些小段拼起来一定是若干不同的老鼠
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
using namespace std;
const int N=20005;
const double eps=1e-6;
int T,n,m,p[N],l[N],r[N],a[N],h[N],cnt=1,le[N],s,t,sm,id[105][105],con;
double g[N];
struct qwe
{
int ne,to;
double va;
}e[N*20];
int read()
{
int l=0,f=1;
char p=getchar();
while(p>'9'||p<'0')
{
if(p=='-')
f=-1;
p=getchar();
}
while(p>='0'&&p<='9')
{
l=l*10+p-48;
p=getchar();
}
return l*f;
}
bool cmp(const int &a,const int &b)
{
return a>b;
}
void add(int u,int v,double w)
{
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
e[cnt].va=w;
h[u]=cnt;
}
void ins(int u,int v,double w)
{
add(u,v,w);
add(v,u,0);
}
bool bfs()
{
queue<int>q;
memset(le,0,sizeof(le));
le[s]=1;
q.push(s);
while(!q.empty())
{
int u=q.front();
q.pop();
for(int i=h[u];i;i=e[i].ne)
if(e[i].va>0&&!le[e[i].to])
{
le[e[i].to]=le[u]+1;
q.push(e[i].to);
}
}
return le[t];
}
double dfs(int u,double f)
{
if(u==t||!f)
return f;
double us=0;
for(int i=h[u];i&&us<f;i=e[i].ne)
if(e[i].va>0&&le[e[i].to]==le[u]+1)
{
double t=dfs(e[i].to,min(e[i].va,f-us));
e[i].va-=t;
e[i^1].va+=t;
us+=t;
}
if(us<eps)
le[u]=0;
return us;
}
double dinic()
{
double r=0;
while(bfs())
r+=dfs(s,1e18);
return r;
}
bool ok(double w)
{
memset(h,0,sizeof(h));
cnt=1;
for(int i=1;i<=n;i++)
ins(s,i,p[i]),g[i]=l[i],g[i+n]=r[i]+w;
sort(g+1,g+1+2*n);
for(int i=2;i<=2*n;i++)
if(g[i]-g[i-1]>eps)
for(int j=1;j<=m;j++)
{
ins(id[i][j],t,(g[i]-g[i-1])*j*a[j]);
for(int k=1;k<=n;k++)
if(g[i-1]>=l[k]&&g[i]<=r[k]+w)
ins(k,id[i][j],(g[i]-g[i-1])*a[j]);
}
// double nw=dinic();cerr<<nw<<" "<<sm<<endl;
return dinic()-sm>=0;
}
int main()
{
T=read();
while(T--)
{
con=n=read(),m=read(),sm=0;
for(int i=1;i<=n;i++)
p[i]=read(),l[i]=read(),r[i]=read(),sm+=p[i];
for(int i=1;i<=m;i++)
a[i]=read();
sort(a+1,a+1+m,cmp);
for(int i=1;i<m;i++)
a[i]-=a[i+1];
for(int i=1;i<=2*n;i++)
for(int j=1;j<=m;j++)
id[i][j]=++con;
s=0,t=con+1;
double l=0,r=1e7,ans=r;
while(r-l>eps)
{
double mid=(l+r)/2;
if(ok(mid))
r=mid,ans=mid;
else
l=mid;
}
printf("%.4f
",ans);
}
return 0;
}