理论依据：假设n=k时共有m种排列符合要求(以0结尾的有m1种，以1结尾的有m2种.m=m1+m2)
n=k+1时，n=k时的m种组合都可以再后面加0构成以0结尾符合条件的组合。n=k时以0结尾的
组合后加1就是n=k+1时以1结尾的符合条件的组合（即n=k-1时的所有符合条件的组合）。
因此a[k+1]>=a[k]+a[k-1];