对一个有向无环图G(V,E)，其中每个节点有1个可变值：非负整数offset，和两个已知值：正整数length，布尔值inPlace。
定义Overlap(x1,x2,y1,y2)=(y1<=x1&&x1<=y2)||(x1<=y1&&y1<=x2)
OverlapV(u,v)=Overlap(u.offset,u.offset+u.length,v.offset,v.offset+v.length),u,v∈V
对其中每个顶点v，存在约束：
任意(v1,u),(v2,u)∈G,有：!OverlapV(v1,v2)
以及约束u.inPlace||(!OverlapV(u,v1))。
在上述约束下，求解min max u.offset+u.length,u∈G，并给出此情境下u的offset。
问题表述符号可能不是很严谨，希望各位多多包涵 。表达不清楚的地方我可以再解释。
定义Overlap(x1,x2,y1,y2)=(y1<=x1&&x1<=y2)||(x1<=y1&&y1<=x2)
OverlapV(u,v)=Overlap(u.offset,u.offset+u.length,v.offset,v.offset+v.length),u,v∈V
对其中每个顶点v，存在约束：
任意(v1,u),(v2,u)∈G,有：!OverlapV(v1,v2)
以及约束u.inPlace||(!OverlapV(u,v1))。
在上述约束下，求解min max u.offset+u.length,u∈G，并给出此情境下u的offset。
问题表述符号可能不是很严谨，希望各位多多包涵 。表达不清楚的地方我可以再解释。
