一类连线问题中栈和Catalan数的应用

《数据结构》课程中有个经典的栈应用的例题：开关盒布线问题。这个题用栈来解决是非常奇妙的，题目是说给定一种布线情况，判断是否出现了短路，短路的定义就是开关盒表面的排线不能出现交叉。思路是顺(逆)时针遍历，遇到起点时入栈，遇到终点时，则将当前栈顶元素出栈，这样到最后若栈空，则布局合法，否则会出现短路。为什么呢？因为任一条线将开关盒表面分成了两个区域，不短路的情况是这两个区域不能出现一个区域包括某条线的起点而终点却分布在另一个区域。另外，布线其实是无向的，故为了便于顺（逆）时针遍历，应将输入的布线对略作调整，保证起点大（小）于终点。
这个问题涉及到了出栈入栈的问题，且保证最后栈空。那么稍稍引出本文的主题，Catalan数列的应用，应用有很多，今天着重讲的是连线问题的应用：给一个n个顶点的多边形，问两个顶点相连，最后没有孤立点且不交叉共有多少种连法(是不是神似开关盒布线)？
这个解就是Catalan数列，且记为cata[n].为什么呢，先看看Catalan数列的另一个经典应用：一个栈(无穷大)的进栈序列为1,2,3,..n,有多少个不同的出栈序列? 想必对Catalan数列有所了解的人都见过这个例子，也都知道用Catalan解决，至于为什么网上有详细解释，请自行摆渡。
那个连线问题其实是综合了开关盒布线和出入栈了的，就是相当于尝试所有的布线对组合，看有多少种合法的状态。具体讲就是假设n个顶点，编号1到n，对每个点均有两种可能的角色，要么是起点要么是终点，那么起点代表入栈，用1表示，终点代表出栈，用0表示，那么就是一连串的01字串了，跟那个栈应用就联系起来了，不同于开关盒布线之处是：由于算法本质是不一样的，跟开关盒布线的代码是不一样的，只是思想有一点相似之处。本题保证最后的结果不会有元素留在栈中，而判断过程就是判断是否有非法出栈操作：从空栈中pop。
最后给个代码实现：求cata[n]

import java.io.*; import java.util.*; import java.math.*; public class Main { public static BigInteger cata(int a) { int i; BigInteger[] ans; ans=new BigInteger[500]; ans[0]=BigInteger.ONE; for(i=1;i<=a;++i) ans[i]=BigInteger.valueOf(4*i-2).multiply(ans[i-1]).divide(BigInteger.valueOf(i+1)); return ans[a]; } public static void main(String pzjay[]) { Scanner pz=new Scanner(new BufferedInputStream(System.in)); int n; while(pz.hasNext()) { n=pz.nextInt(); if(-1==n) break; System.out.println(cata(n));; } } }

最后说下以前的一篇日志《pz伯伯的番茄排序》，也是Catalan数列解决的，那个题目也相当于将2n个番茄编号，前n(1-->n)个代表前n个最小的，用0_1……n表示;后n(n+1-->2n)个代表后n个次小的，用1_{(n+1)……2n}表示。

那么含有6个0,6个1的序列,就对应一种方案.
比如000000111111就对应着 //注意每个0是不一样的，1也是不一样的
第一排:0 1 2 3 4 5
第二排:6 7 8 9 10 11
010101010101就对应着
第一排:0 2 4 6 8 10
第二排:1 3 5 7 9 11
问题转换为,这样的满足条件的01序列有多少个.
观察1的出现,我们考虑这一个出现能不能放在第二排,显然,在这个1之前出现的那些0,1对应的人要么是在这个1左边,要么是在这个1前面.而肯定要有一个0的,在这个1前面,统计在这个1之前的0和1的个数. 也就是要求,0的个数大于1的个数. 也就是Catalan数列的应用