forezxl的博客

逆元

群G中任意一个元素a，都在G中有唯一的逆元a‘,具有性质aa’=a’a=e，其中e为群的单位元。

Catalan 逆元BZOJ题目传送门 洛谷题目传送门发现这个生成字符串的定义很像Catalan，那么就和Catalan一样搞。首先总方案数=Cmn+m=Cn+mm=C_{n+m}^m，关键是求不满足条件的方案数。Catalan在坐标系中不能超过x轴，而这道题则不能超过直线y=−1y=−1y=-1，终点为(n+m,n−m)(n+m,n−m)(n+m,n-m)。可以发现从(0,0)...