摘要：
我很久以前就做过这道题，但是当时没有想出来于是扔掉了（在状压dp那块），今天被学长重新拿出来再讲一次，终于有了点思路。 先讲一下暴力思路，说是暴力也很难想了。设dp[i][j][s]为以树上编号为i的点为子树，i对应原图的j的，s是i的子树中包含对应原图中的点状态为s的方案数。 那么写一下式子。 $ 阅读全文
摘要：
考虑大力容斥。 全集是： $ C_{nm}^3 $ 需要减去三点共线的情况。 那么以原点为一个端点，$ n^2 $ 枚举另外一个端点(x,y)，得到一条线段，每条线段上有gcd(x,y)个点，那么这条的贡献就是gcd(x,y)-1（去除(x,y)）可以平移得到另外（n-x）*(m-y)条线段。 容斥 阅读全文
摘要：
今天学长说了个结论是 $ num=gcd(x_1-x_2,y_1-y_2) $ 现在我试着证明一下。 证明： 令 $ x=x_1-x_2 , y=y_1-y_2 $ 令 $ d=gcd(x,y) $ $ x=pd , y=qd $ 令直线上某一点为$ (a,h) $ 由相似三角形可得： $ \fra 阅读全文
摘要：
这道题乍一看挺水的，直接$ Ploya $就可以了，可是再看看数据范围：n<=1e9 那就是有1e9种置换，这不歇比了。 于是考虑式子的优化。 首先证明，转i次的置换的每个循环结大小是 $ gcd(i,n) $ 证明： 首先设第x个元素的位置是p，置换种类是i，循环k次后回到原点，k也就是循环结个数 阅读全文