[JLOI2015]装备购买

题目描述

脸哥最近在玩一款神奇的游戏，这个游戏里有 n 件装备，每件装备有 m 个属性，用向量zi(aj ,.....,am) 表示 (1 <= i <= n; 1 <= j <= m)，每个装备需要花费 ci，现在脸哥想买一些装备，但是脸哥很穷，所以总是盘算着怎样才能花尽量少的钱买尽量多的装备。

对于脸哥来说，如果一件装备的属性能用购买的其他装备组合出（也就是说脸哥可以利用手上的这些装备组合出这件装备的效果），那么这件装备就没有买的 必要了。严格的定义是，如果脸哥买了 zi1,.....zip这 p 件装备，那么对于任意待决定的 zh，不存在 b1,....,bp 使得 b1zi1 + ... + bpzip = zh（b 是实数），那么脸哥就会买 zh，否则 zh 对脸哥就是无用的了，自然不必购买。

举个例子,z1 =(1; 2; 3);z2 =(3; 4; 5);zh =(2; 3; 4)，b1 =1/2，b2 =1/2，就有 b1z1 + b2z2 = zh，那么如果脸哥买了 z1 和 z2 就不会再买 zh 了。脸哥想要在买下最多数量的装备的情况下花最少的钱，你能帮他算一下吗？

输入输出格式

输入格式：

第一行两个数 n;m。接下来 n 行，每行 m 个数，其中第 i 行描述装备 i 的各项属性值。接下来一行 n 个数，其中 ci 表示购买第 i 件装备的花费。

输出格式：

一行两个数，第一个数表示能够购买的最多装备数量，第二个数表示在购买最多数量的装备的情况下的最小花费

输入输出样例

输入样例#1：

3 3
1 2 3
3 4 5
2 3 4
1 1 2

输出样例#1：

2 2

说明

如题目中描述，选择装备 1 装备 2，装备 1 装备 3，装备 2 装备 3 均可，但选择装备 1 和装备 2 的花费最小，为 2。

对于 100% 的数据, 1 <= n;m <= 500; 0 <= aj <= 1000。

线性相关

在向量空间 $V$ 的一组向量 $A$，如果存在不全为零的数 $k1,k2,···,km$ ，使得

$k_{1}a_{1}+k_{2}a_{2}$+...+k_{m}a_{m}=b$

则称向量组A是线性相关的

所以我们考虑维护一个类似于异或线性基的东西：第$i$个线性基表示前$i-1$位都是$0$，第$i$位不是$0$的线性基。一个一个插入，贪心策略同[BJOI 2011]元素。

就是高斯消元，如果有解就说明线性相关

所以每一次插入都在维护高斯矩阵的上三角，判断当前属性是否可解

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<cmath>
 using namespace std;
 struct Object
 {
   double b[];
   int cost;
 }a[];
 double eps=1e-;
 int n,m,A[],cnt,ans;
 bool cmp(Object a,Object b)
 {
   return a.cost<b.cost;
 }
 int main()
 {int i,j,k;
   cin>>n>>m;
   for (i=;i<=n;i++)
     {
       for (j=;j<=m;j++)
     scanf("%lf",&a[i].b[j]);
     }
   for (i=;i<=n;i++)
       scanf("%d",&a[i].cost);
   sort(a+,a+n+,cmp);
   for (i=;i<=n;i++)
     {
       for (j=;j<=m;j++)
     if (fabs(a[i].b[j])>eps)
       {
         if (!A[j])
           {
         cnt++;
         ans+=a[i].cost;
         A[j]=i;
         break;
           }
         else
           {
         double p=a[i].b[j]/a[A[j]].b[j];
         for (k=j;k<=m;k++)
           a[i].b[k]-=a[A[j]].b[k]*p ;
           }
       }
     }
   cout<<cnt<<' '<<ans;
 }