习题4-8 UVA12108 Extraordinarily Tired Student（39行AC代码）

紫书刷题进行中，题解系列点这里

习题4-8 UVA12108 Extraordinarily Tired Student（39行AC代码）

题目大意

给定若干个学生初始状态，根据规则计算他们全部清醒的时刻，若不存在，输出-1，规则如下：

• 三元组（a，b，c）分别表示一个学生的清醒持续时间，睡眠持续时间，初始时刻
• 睡眠时刻结束后立刻进入清醒时刻，而清醒时刻即将结束时，若当前睡觉人数严格大于清醒人数，则进入睡觉时刻，否则继续清醒时刻

算法设计

定义vector<int> stat, tmp, as, bs;分别存储当前状态，中间变量，清醒持续时间，睡眠持续时间。假设当前为第i个人，可如下判定状态

• 清醒状态：1<=stat[i]<=as[i]
• 睡眠状态：as[i]<stat[i]<=as[i]+bs[i]

为了处理死循环，即所有人永远无法同时清醒，可用set<vector<int> > _set;存储每个时刻状态序列，当出现重复，即找到循环节，输出-1

核心算法伪代码描述如下：

for 每个时刻t:
	for 每个学生:
		用以上判定方法统计清醒人数wknum
	if wknum == n: // 全部清醒
		输出结果t
	else: // 未全部清醒
		for 每个学生：
			if stat[i]==as[i]: // 清醒结束时刻，需判断下一个时刻是清醒还是睡眠
				if wknum*2<n:
					stat[i] = as[i]+1; // 睡觉，睡觉人数大于清醒
				else：
					stat[i] = 1; // 继续清醒
			else:
				if stat[i]==as[i]+bs[i]: // 周期结束，回头
					stat[i]=1
				else:
					stat[i]++ // 往后走即可
		

AC代码（C++11，循环节，序列模拟）

#include<bits/stdc++.h>
using namespace std;
int n, a, b, c, num=0;
int main() {
    while (cin >>n && n != 0) {
        set<vector<int> > _set; // 死循环判重
        vector<int> stat, tmp, as, bs; // 当前状态，中间变量，清醒持续时间，睡眠持续时间
        for (int i = 0; i < n; i ++) {
            cin >>a >>b >>c;
            as.push_back(a); bs.push_back(b); // 存储左右区间
            stat.push_back(c); // 第一轮状态
            _set.insert(stat); // 保存状态序列
        }
        int cnt = 1, ans = -1;
        while (true) {
            int wknum = 0; // 清醒人数
            for (int i = 0; i < n; i ++) { // 计算清醒人数
                if (1 <= stat[i] && stat[i] <= as[i]) wknum ++;
            }
            if (wknum == n) { // 全部清醒
                ans = cnt;
                break; // 直接结束
            }
            cnt ++;
            tmp = stat; // 开始模拟
            for (int i = 0; i < n; i ++) { // n个人
                if (tmp[i] == as[i]) { // 准备睡觉
                    if (wknum * 2 < n) stat[i] = as[i]+1; // 睡觉人数大于清醒
                    else stat[i] = 1; // 继续清醒
                }
                else stat[i] = (stat[i] == as[i]+bs[i]) ? 1 : stat[i]+1; // 下一个状态 
            }
            if (_set.find(stat) == _set.end()) _set.insert(stat); 
            else break; // 出现重复，死循环
        }
        printf("Case %d: %d\n", ++num, ans);
    }
    return 0;
}