[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[501];
  int cost;
}a[501];
double eps=1e-5;
int n,m,A[501],cnt,ans;
bool cmp(Object a,Object b)
{
  return a.cost<b.cost;
}
int main()
{int i,j,k;
  cin>>n>>m;
  for (i=1;i<=n;i++)
    {
      for (j=1;j<=m;j++)
    scanf("%lf",&a[i].b[j]);
    }
  for (i=1;i<=n;i++)
      scanf("%d",&a[i].cost);
  sort(a+1,a+n+1,cmp);
  for (i=1;i<=n;i++)
    {
      for (j=1;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;
}