【对偶定理】hdu4128

之前用对偶定理解决了个网络流，这次又碰到了个半平面交...可惜漏了个约束条件，对偶后的变量少了一个

首先把至少要跑的d先跑完，得到新的L和W

设每个人跑的长度是xi,同时令xn=L-sigma(xi)

我们的目标min(sigma(ti*xi)+tn*(L-sigma(xi)))

变形得(-max(sigma((tn-ti)*xi)))+tn*L

常数不去管它，只考虑max的式子

再来考虑约束条件

1、L-sigma(xi)>=0 ===> sigma(xi)<=L （一开始漏了这个，就变成了一维问题...）

2、sigma(si*xi)+sn*(L-sigma(xi))<=W ===> sigma((si-sn)*xi)<=W-sn*L

写成矩阵形式

max （tn-t1,....ti-tn）*(x1,...xi...)'

约束条件

1、 (1,1,1...)*(x1....xi...)'<=L

2、 (s1-sn...si-sn...)*(x1...xi...)'<=W-sn*L   (不方便写成一个矩阵，只好分开写)

对偶后

min (y1,y2)*