题目如下:
sicily 双栈排序
Description
Tom最近在研究一个有趣的排序问题。如图所示,通过2个栈S1和S2,Tom希望借助以下4种操作实现将输入序列升序排序。
操作a:如果输入序列不为空,将第一个元素压入栈S1
操作b:如果栈S1不为空,将S1栈顶元素弹出至输出序列
操作c:如果输入序列不为空,将第一个元素压入栈S2
操作d:如果栈S2不为空,将S2栈顶元素弹出至输出序列
如果一个1~n的排列P可以通过一系列操作使得输出序列为1,2,…,(n-1),n,Tom就称P是一个“可双栈排序排列”。例如(1,3,2,4)就是一个“可双栈排序序列”,而(2,3,4,1)不是。
下图描述了一个将(1,3,2,4)排序的操作序列:<a,c,c,b,a,d,d,b>
当然,这样的操作序列有可能有几个,对于上例(1,3,2,4),<a,c,c,b,a,d,d,b>
是另外一个可行的操作序列。Tom希望知道其中字典序最小的操作序列是什么。
Input
输入有多组Case,每个Case第一行是一个整数n(n<=1000)。
第二行有n个用空格隔开的正整数,构成一个1~n的排列。
Output
每组Case输出一行,如果输入的排列不是“可双栈排序排列”,输出数字0;否则输出字典序最小的操作序列,每两个操作之间用空格隔开,行尾没有空格。
Sample Input
4
1 3 2 4
4
2 3 4 1
Sample Output
a b a a b b a b
0
注:此题有多种解题版本,但网上代码质量参差不齐,有待检验,对于初学者很难分辨正误,容易误入歧途,况且有些方法较为复杂,没有必要学习。因此,本文以一个初学者角度,对双栈排序进行详细解析。在此声明:本文代码已通过sicily评测, 文章内容相关引用已用带有底色方框标记。
1.Introduction
双栈排序,顾名思义,就是利用两个栈,对一串数字进行排序。但是,这种排序方式与其他排序方式有一定的差别,它并不能满足所有数串的排序。因此,对于能进行双栈排序的数串,我们称之为“可双栈排序序列”,反之,称之为“不可双栈排序序列”。
读者可以先根据“a b a a b b a b”自行尝试一下1 3 2 4的双栈排序,了解它的大致过程。
对于本题,我采用的方法是二分图染色法。那么什么是二分图?什么是染色法?怎么构造二分图?怎么染色?这是完成这道题之前必须回答的问题,同时也是网上教程欠缺的重要内容。
2.Bipartite graph(二分图)
二分图又称作二部图,是图论中的一种特殊模型。 设G=(V,E)是一个无向图,如果顶点V可分割为两个互不相交的子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B),则称图G为一个二分图。
对于学过离散数学的同学,就很容易理解上面这段定义了。
G=(V, E),其中G代表图,V代表这个图的所有顶点的集合,E代表这个图所有连线的集合,即是边集。现如今如果能将V这个顶点集分成两个互不相交的子集A、B,E这个边集内所有边的两个顶点分别属于*A、B两个子集的话,我们就称这个图为二分图*。
没有学过的同学看一下下面的这张图,再参照上面的定义,应该也能了解得差不多吧。
了解了二分图是什么东西后,接下来我们需要了解染色这一概念。
什么是染色?就是给对象标记一种“颜色”(这里的颜色其实可以用数字定义),其主要作用是便于分类、记,而不是实现真正意义上的染色。
故我们可以创建一个数组,每个数组的下标对应一个元素,数组的每个元素的值代表该对象标记的颜色。如此,就完成了染色这一步骤。
而且,染色还可以用于判别一个图是否是二分图。下文会提到。
在数据结构中,我们可以通过建立二维数组(布尔矩阵) picture[MAX][MAX]来实现二分图。二维数组的横向index代表A顶点子集,纵向index代表B顶点子集(当然也可以倒过来)。如若两个顶点i, j有连接,则在对应的picture[i][j] 与 picture[j][i]处赋值为1或true。
虽然二维数组可以代表图,但并不代表每一个二维数组都是二分图。那么如何检验呢?那就要通过深度优先搜索dfs进行染色验证了。
对于深度优先搜索