题干:
L2-1 插松枝
人造松枝加工场的工人需要将各种尺寸的塑料松针插到松枝干上,做成大大小小的松枝。他们的工作流程(并不)是这样的:
每人手边有一只小盒子,初始状态为空。
每人面前有用不完的松枝干和一个推送器,每次推送一片随机型号的松针片。
工人首先捡起一根空的松枝干,从小盒子里摸出最上面的一片松针 —— 如果小盒子是空的,就从推送器上取一片松针。将这片松针插到枝干的最下面。
工人在插后面的松针时,需要保证,每一步插到一根非空松枝干上的松针片,不能比前一步插上的松针片大。如果小盒子中最上面的松针满足要求,就取之插好;否则去推送器上取一片。如果推送器上拿到的仍然不满足要求,就把拿到的这片堆放到小盒子里,继续去推送器上取下一片。注意这里假设小盒子里的松针片是按放入的顺序堆叠起来的,工人每次只能取出最上面(即最后放入)的一片。
当下列三种情况之一发生时,工人会结束手里的松枝制作,开始做下一个:
(1)小盒子已经满了,但推送器上取到的松针仍然不满足要求。此时将手中的松枝放到成品篮里,推送器上取到的松针压回推送器,开始下一根松枝的制作。
(2)小盒子中最上面的松针不满足要求,但推送器上已经没有松针了。此时将手中的松枝放到成品篮里,开始下一根松枝的制作。
(3)手中的松枝干上已经插满了松针,将之放到成品篮里,开始下一根松枝的制作。
现在给定推送器上顺序传过来的 N 片松针的大小,以及小盒子和松枝的容量,请你编写程序自动列出每根成品松枝的信息。
输入
输入在第一行中给出 3 个正整数:N ( ≤ 1 0 3 ) N(≤10^3)N(≤10
3
),为推送器上松针片的数量;M(≤20)为小盒子能存放的松针片的最大数量;K(≤5)为一根松枝干上能插的松针片的最大数量。
随后一行给出 N 个不超过 100 的正整数,为推送器上顺序推出的松针片的大小。
输出
每支松枝成品的信息占一行,顺序给出自底向上每片松针的大小。数字间以 1 个空格分隔,行首尾不得有多余空格。
输入样例
8 3 4
20 25 15 18 20 18 8 5
输出样例
20 15
20 18 18 8
25 5
分析:
第一步,考虑数据结构,为情况分析铺路:
小盒子抽象为栈、推进器抽象为队列.
第二步,情况分析:
(L2相对L1,if-else更为复杂.如果不能“心算”,依靠纸笔,结合离散数学,同样可以透彻分析)
下面拆解题干:
“工人首先捡起一根空的松枝干”
->说明情况的讨论至要分成:松枝干空、松枝干不空两种可能,即 “松枝干:空||不空”
“从小盒子里摸出最上面的一片松针 —— 如果小盒子是空的,就从推送器上取一片松针。”
->说明:
栈(小盒子):空||不空
队列(推进器):空||不空
列一个情况表格:
松枝干 | p:空 | !p:不空 |
栈(小盒子) | q:空 | !q:不空 |
队列(推进器) | r:空 | !r:不空 |
画一个树状情况分析:
得出结论,排除栈与队列两者皆空,题干已经将空松枝下所有可能的所有情况全部坦白.
继续拆解题干:
“工人在插后面的松针时,“
->说明,接下来将坦白表1中 !p时的可能情况
“如果小盒子中最上面的松针满足要求,就取之插好;”
->给出了新的状态: 栈(小盒子):栈顶合乎要求||栈顶不合乎要求
“否则去推送器上取一片。如果推送器上拿到的仍然不满足要求,就把拿到的这片堆放到小盒子里,继续去推送器上取下一片。”
->新的状态: 队列(推进器):队首合乎要求||队首不合乎要求
扩充表一:
松枝干 | p :空 | !p :不空 |
栈(小盒子) | q :空 | !q :不空 |
栈 | q1:合乎 | !q1:不合 |
队列(推进器) | r:空 | !r:不空 |
队列 | r1:合乎 | !r1:不合 |
画树状情况分析图:
这里显然有令人不放心的地方,比如万一队列是空该怎么办? 因此必须指明,这里的分析价值在于,如果只考虑 q1、r2,那么上述简单合取式,析取之后的结果是!p. 保证情况分析在任何时候都不重不漏才是最终要的.
题干仍有信息,继续拆解题干:
“小盒子已经满了,但推送器上取到的松针仍然不满足要求。”
->说明有新的情况: 栈(小盒子):已满|未满
“小盒子中最上面的松针不满足要求,但推送器上已经没有松针了”
->这表明图2里有新的情况细分
“手中的松枝干上已经插满了松针,将之放到成品篮里,开始下一根松枝的制作。”
->说明松枝有新的情况了: 松枝: 已满|未满
扩充表2:
松枝干 | p :空 | !p :不空 |
松枝干 | p1:已满 | !p1:未满 |
栈(小盒子) | q :空 | !q :不空 |
栈 | q1:合乎 | !q1:不合 |
栈 | q2:已满 | !q2:未满 |
队列(推进器) | r:空 | !r:不空 |
队列 | r1:合乎 | !r1:不合 |
扩充图2:
因为我们的树状分析时刻保证情况不重不漏,因此向分析体系内添加分支变得十分轻松
紫r处:这里不关心栈是否为空,无论空否在这一情景下“开始下一根松枝的制作”都是没有问题的
把所有图归到一起:
最后我们发现: 红r处的情况正是停工休息的条件.
如果没有上述的分析,直接指明 “当,面对一根空松枝、小盒子是空的、队列也是空的” 时,就是停工条件,恐怕很难让人信服. 但回看分析会发现,所谓的万一就是紫r到红色r. 我们的分析始终保证了不遗漏、不重复,也就保证了正确性. 有了这一通分析,下一步写代码的信心必然大增.
第三步:敲代码
真正开始敲就会发现,仍然有一些问题,比如: 如何把纸面上的条件落实到代码上? 用什么方法把代码抽象出来? 这些东西是问题,但不是主要问题,可仍然是个问题.只能说,通透的分析不等于成熟的代码.不过,如果仔细看一看下面的代码就能发现,凭借着翔实的分析,我们可以用一种抽象程度更高的方式进行实现.
#include<iostream>
#include <queue>
#include <stack>
using namespace std;
stack<int> sta;//小盒子
queue<int> que;//推送器
int main() {
int n, m, k;
cin >> n >> m >> k;
for (int temp,i = 0; i < n; ++i) {
cin >> temp;
que.push(temp);
}
int top = -1, total = 0;
while (true) {
//空松枝
if (top == -1) {
//栈空
if (sta.empty()) {
//栈空队也空
if(que.empty()){
break;
}
//栈空队不空
else{
top = que.front();
cout << top;
que.pop();
++total;
}
}
//栈不空
else {
top = sta.top();
cout << top;
sta.pop();
++total;
}
}
//松枝非空
else {
//松枝满
if (total == k) {
total = 0, top = -1;
cout << "\n";
continue;
}
//松枝非空且不满
else {
//栈合规
if (!sta.empty() && sta.top() <= top) {
top = sta.top();
sta.pop();
cout << " " << top;
++total;
}
//栈不合规
else {
//队合规
if (!que.empty() && que.front() <= top) {
top = que.front();
que.pop();
cout << " " << top;
++total;
}
//队不合规
else {
//队空
if (que.empty()){
total = 0, top = -1;
cout << "\n";
}
//队非空
else{
//栈已满
if (sta.size() == m){
total = 0, top = -1;
cout << "\n";
}
//栈未满
else{
sta.push(que.front());
que.pop();
}
}
}
}
}
}
}
return 0;
}
我衷心希望本文能够帮助那些和我一样,不久前结束L1,前不久开始面对L2的天梯萌新.祝大家有朝一日也能过五关斩六将,一路杀到175.