这是我正要写的paper里面会用到的一个组合问题:
(做问题总是会掉出一些组合,不过人老了不像小时候觉得组合问题总是可以做的XDDD)
如果一个1,2,...,n的重新排列s(1),..,s(n)满足对任意i<=n-2,
s(i)+1总是出现在{s(1),...,s(i+2)}中,则称这个重排为‘可接受的’。
(a) 证明可接受的重排有2^{n-1}个。
对于一个可接受的重排,定义他的得分为满足s(i)>s(j), i+1<=j<=i+2
的数对(i,j)的个数
(b) 证明得分为k的可接受重排的个数为:(n-1)取k。
-
以上的东西被用来证明GL_n的full flag variety的某个subvariety的
cohomology groups跟(P^1)^{n-1}一样XD
我暂时没想出证明(不过我不知道难不难),写程式验证了n<=10以下是对的,
给出证明的板友的大名会出现在我的paper的acknowledgement里,
并且我可以请你吃饭,感恩XD