写洛谷健康的奶牛有感（附题解）

P1460 [USACO2.1]健康的荷斯坦奶牛 Healthy Holsteins - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

题面

P1460 [USACO2.1]健康的荷斯坦奶牛 Healthy Holsteins

题目描述

农民 John 以拥有世界上最健康的奶牛为傲。他知道每种饲料中所包含的牛所需的最低的维他命量是多少。请你帮助农夫喂养他的牛，以保持它们的健康，使喂给牛的饲料的种数最少。

给出牛所需的最低的维他命量，输出喂给牛需要哪些种类的饲料，且所需的饲料剂量最少。

维他命量以整数表示，每种饲料最多只能对牛使用一次，数据保证存在解。

输入格式

第一行一个整数 v，表示需要的维他命的种类数。
第二行 v 个整数，表示牛每天需要的每种维他命的最小量。

第三行一个整数 g，表示可用来喂牛的饲料的种数。
下面 g 行，第 n 行表示编号为 n 饲料包含的各种维他命的量的多少。

输出格式

输出文件只有一行，包括牛必需的最小的饲料种数 p；后面有 p 个数，表示所选择的饲料编号（按从小到大排列）。

如果有多个解，输出饲料序号最小的（即字典序最小）。

输入输出样例

输入 #1复制

4
100 200 300 400
3
50  50  50  50
200 300 200 300
900 150 389 399

输出 #1复制

2 1 3

说明/提示

【数据范围】
对于100% 的数据，1≤v≤25，1≤g≤15。
输入的所有整数在[1,1000] 范围内。

写了这道普及题之后，我深感自己对大法师的回溯还太过不熟练，日后将对这方面进行细致练习

………………………………………………………………………………………………………………

思路：

对于搜索内核，当选择的饲料id未大于饲料数m时，我们需要通过dfs（x+1，cnt+1）来表示选择该种饲料，dfs（x+1，cnt）表示不选这种饲料并且在搜索过程中切记回溯。当选择的饲料id大于饲料数m时，我们需要判断一下，当前所选方案的每种维生素是否都大于要求维生素的最小值，，但凡有一种维生素小于要求都不符合要求，在check函数中运用到了离散化的思想，大家可以学习。

#include<iostream>
using namespace std;
const int N = 1005;
int n, m, food[N], ans[N], daaa[N][N], id[N],mmin=1e8;
bool check(int x) {
	for (int i = 1; i <= n; i++) {
		int sum = 0;//id数组加上这个food是离散化操作
		for (int j = 1; j <= x; j++)sum += daaa[id[j]][i];
		//把第i种维生素的每种饲料都加起来
		if (sum < food[i])return false;
	}return true;
}
void dfs(int x, int cnt) {//x是指维生素的搜索种类，到了只是为了
	if (x > m) {//遍历而生 而cnt是选的维生素的数量
		if (check(cnt))
			if (cnt < mmin) {
				mmin = cnt;
				for (int i = 1; i <= mmin; i++)ans[i] = id[i];
			}return;
	}
	id[cnt + 1] = x;
	dfs(x + 1, cnt + 1);
	id[cnt + 1] = 0;
	dfs(x + 1, cnt);
}
int main() {
	cin >> n;
	for (int i = 1; i <= n; i++)cin >> food[i];
	cin >> m;
	for(int i=1;i<=m;i++)for(int j=1;j<=n;j++)cin>>daaa[i][j];
	dfs(1, 0);//从一开始遍历，选了0种饲料
	cout << mmin << " ";
	for (int i = 1; i <= mmin; i++)cout << ans[i]<<" ";
	return 0;
}