【codevs 1618】[省队选拔赛浙江]防守战线（单纯形）

【单纯形裸题】 
【单纯形是解决线性规划问题最大化的一种算法。线性规划问题的解决，一般首先要根据题意列出求解最大值的多项式，并列出符合题意的不等式组，并通过加减特定的值（用未知量表示）转变为等式，另外加上使之成为等式的点组成的集合叫做基变量集合，原题中包含的位置点组成的集合叫非基变量集合】

 【线性规划分为标准型和松弛型，简单的来说，标准型就是由不等式表示的，松弛型就是由等式表示的，就此可知松弛型和标准型是可以互相转换的，因为等式相对来说比较好处理，所以一般来说都化为松弛型来处理】

   


【在做单纯形的时候，先假定基本解是一组可行解，可以得知当一个变量的非负系数增大时，也会使总体的值增大，所以要尽可能的增大每个变量的非负系数，以达到求最大值的目的。直到所有的变量的系数都小于0了，就结束。当然每个数都不能无限增大——它是有限制的，所以最多只能增大到最紧的限制，如果最紧限制为0，则返回极大值，即当前的求解的多项式无上限，可以无限增大

】 
 【增大变量的系数，通过转轴操作来实现，转轴其实就是一个基变量与非基变量的替换，所谓替换，其实只是用这个式子中的其他变量来表示当前变量并将它的系数化为一，并代入其他等式中（包括求max的多项式），每次选择的非基变量都必须是满足限制的编号最小的一个，这样可以避免被一些特殊数据卡掉】

#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define EPS 1e-7
#define INF 1e10
using namespace std;
int n,m;
double A[1010][10100],b[10010],c[10010];//a数组存花费；A[i][j]存在第j个不等关系所化的等式中xi是否出现过；b数组存每个不等关系所化的等式中的常数项；c数组存最小花费的式子中x[i]的系数
double ans,v;
inline void pivot(int l,int e)
{
int i,j;
b[l]/=A[l][e];
for (i=1;i<=m;++i)
if (i!=e) A[l][i]/=A[l][e];
A[l][e]=1/A[l][e];
for (i=1;i<=n;++i)
if (i!=l&&fabs(A[i][e])>EPS)
{
b[i]-=A[i][e]*b[l];//用替代的式子更改每一个等式，此处是在更改常数项的值
for (j=1;j<=m;++j)
if (j!=e) A[i][j]-=A[i][e]*A[l][j];
A[i][e]=-A[i][e]*A[l][e];
}
v+=c[e]*b[l];
for (i=1;i<=m;++i)
if (i!=e) c[i]-=c[e]*A[l][i];
c[e]=-c[e]*A[l][e];
return;
}
inline double do1()
{
int i,l,e;
while (1)
{
for (i=1;i<=m;++i)
if (c[i]>EPS) break;
if ((e=i)==m+1)  return v;
double tmp=INF;
for (i=1;i<=n;++i)
if (A[i][e]>EPS&&b[i]/A[i][e]<tmp)
{tmp=b[i]/A[i][e]; l=i;}
if (tmp==INF) return INF;
pivot(l,e);
}

}
int main()
{
int i,j;
scanf("%d%d",&n,&m);
for (i=1;i<=n;++i)
scanf("%lf",&b[i]);
for (i=1;i<=m;++i)
{
int l,r,val;
scanf("%d%d%d",&l,&r,&val);
for (j=l;j<=r;++j)
A[j][i]=1;
c[i]=val;
}
ans=do1();
cout<<(long long)(ans+0.5)<<endl;
return 0;
}