深搜 最佳调度问题 C++

吉林大学大二学生 东北师范大学附属中学OJ jinxi20111 2019.05.07

题目

【问题描述】
假设有n个任务由k个可并行工作的机器完成。完成任务i需要的时间为ti。试设计一个算法找出完成这n个任务的最佳调度，使得完成全部任务的时间最早。
【编程任务】
对任意给定的整数n和k，以及完成任务i需要的时间为ti，i=1~n。编程计算完成这n个任务的最佳调度。
【输入格式】
第一行有2 个正整数n和k。第2 行的n个正整数是完成n个任务需要的时间。
【输出格式】
将计算出的完成全部任务的最早时间输出。
【输入样例】
7 3
2 14 4 16 6 5 3
【输出样例】
17
【数据范围】
n<=20,k<=8

分析过程

第一眼看过去的时候，个人觉得是一道很EASY的深搜题

但是在逐渐分析的过程中，很容易发现，这道题深搜方式很奇怪

---

第一种方案 时间超限 原理可行

首先，我们把工作机器当做容器，就有了K个容器

N个任务填入K个容器中，如果生成1~k数列，很容易得出，需要遍历的数列数量为 K^N (N个任务所以指数为N)

瞄一眼数据范围，8的20次方，也就是2的60次方，OK，炸了

这个时候，职业的素养告诉我，这道题可能是贪心

---

第二种方案 贪心

贪心的规则应该比较容易想到

我们分为两种

1. 按剩余空间贪心

2. 按空间最密集贪心

第一种，我们将已有的任务排一下序，从大到小，把最大的放入第一个容器中，后面的任务，都放入当前任务最少的容器中。

这种方式，很像我们在学校里干活，每个人都做自己的工作，如果你做完了，那么就再从老师那里领一个任务。

看起来很科学，做完了，答案不对

我通过暴力验证了它的错误，但是一直没有一个很好的反例

于是我去北苑一公寓三楼西北角的洗手间的第三个坑蹲了一会（笑

想出来了

任务：5 5 5 3 3 3 3 3
容器数量为2

很容易知道，第一个容器里放3个5，第二个容器里放5个3，结果为15

但是按照这种贪心的算法，算出来的结果应该是5+5+3+3=16

所以从原理上，这种做法就有错误

不死心的我想出了第二种贪心策略

第二种，按空间最密集贪心

这种方式像是你妈给你收拾行李箱，妈妈总是会从箱子里摆好大件，然后塞进去小件。在里面还有空间，但是小件塞不进去的时候，妈妈会把大件拿出来重新规划位置。（看起来是贪心，实际上已经有了回溯的想法了）

这种方法，我没有验证过，我认为应该是可行的

但是规划方式，已经和DFS并无什么区别了。毕竟你让你的程序找到刚刚好放入容器的组合，除非你的程序里有个人工智能（笑

---

重头戏 第三种方案 深搜+剪枝

既然深搜会炸，那就剪枝呗QwQ

首先，我必须承认，这道题的剪枝很简单但也很难

找不到的时候我使用了很多方案，在下面的程序中有很多残留的痕迹

比如排序我就没有删除

剪枝有两个部分

第一部分问题很简单，但解决有点困难

1/ 2,3 / 4,5 / 6,7
和
2,3 / 1 / 6,7 / 4,5

这两种方式是完全一致的，但是深搜当中会出现很多次，次数为排列数（手写会，博客里不会打）

解决方案

将第一个任务锁定在第一个容器中，后面的每一个任务，都只能在已使用的容器中，或者下一个新容器中。

这种解决方式可以说非常巧妙（自夸23333）

这样，就解决了第一位乱动的问题，也确保占用新容器的时候，不会因为有多个新容器时增大分支开销。我可真是太智慧了

第二部分 非最优解剪枝

最开始，我用我之前失败的贪心算法，计算了一个较优解，然后向下搜

结果嘛

233333

么得办法，就只能又去北苑一公寓三楼西北角的洗手间的第三个坑蹲了一会

很开心的是，我又想出来了
在dfs中，之前是这样的

		num[i]+=a[deep];
		b[deep]=i;
		dfs(deep+1);
		num[i]-=a[deep];

蹲完坑之后，我把它改成了这样

if (num[i]+a[deep]<=ans)
	{
		num[i]+=a[deep];
		b[deep]=i;
		dfs(deep+1);
		num[i]-=a[deep];
	}

效果十分显著，运行时间一下就压下来了

这里的ANS，我也没有计算，先放入一个最大值，是所有任务都给1来做（莫名想到自己），这就是ANS的最大值，后面通过计算我们可以不停地得到最大值的最小值！
最大值的最小值！
最大值的最小值！
最大值的最小值！
不明白慢慢想，反正只要在运算过程中，有一个容器中，任务量超过了当前的ans，那么这一定不是最优解，可以剪枝。由于ans不停更新变小，所以剪枝能力也慢慢变强。，最后得出最优解后，后面几乎就不会再有了。

下面就是我精妙而简洁的代码了

//吉林大学大二学生 东北师范大学附属中学OJ jinxi20111 2019.05.07

代码展示

//MythCoffee 最佳调度问题
#include<iostream>
using namespace std;
int n,k;
int a[1000],b[1000];
int num[100];
int h,ans,maxnum,tail;
void dfs(int deep)
{
	if (deep>n)
	{
		maxnum=num[1];
		for(int i=2;i<=k;i++)
		{
			if (maxnum<num[i]) maxnum=num[i];
		}
		if (maxnum<ans) 
		{
			ans=maxnum;
		}
	}
	else
	{
		for(int i=1;i<=tail-1;i++)
		{
			if (num[i]+a[deep]<=ans)
			{
				num[i]+=a[deep];
				b[deep]=i;
				dfs(deep+1);
				num[i]-=a[deep];
			}
		}
		if (tail<k+1)
		{
			num[tail]+=a[deep];
			b[deep]=tail;
			tail++;
			dfs(deep+1);
			tail--;
			num[tail]-=a[deep];
		}
	}
}
int main()
{
	int i,j,x;
	cin>>n>>k;
	for(i=1;i<=n;i++)
	{
		cin>>a[i];
	}
	for(i=1;i<=n-1;i++)
		for(j=i+1;j<=n;j++)
		{
			if (a[i]<a[j])
			{
				x=a[i];
				a[i]=a[j];
				a[j]=x;
			}
		}
	for(i=1;i<=k;i++)
	{
		num[i]=0;
	}
	ans=0;
	for(i=1;i<=n;i++)
	{
		ans+=a[i];
	}
	num[1]+=a[1];
	tail=2;
	dfs(2);
	cout<<ans;
	return 0;
	
}