题目描述

脸哥最近在玩一款神奇的游戏,这个游戏里有 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;
}
05-08 15:32