bot 的能量堆
一个复杂度正确的暴搜
简要说一下复杂度为啥正确
暴搜的状态按$ a,b $差分类，显然有约数的个数类
那么从同一个状态搜索到同一类状态时，不难发现$ a $ （或$ b $）只相差1
那么这两个状态再向下转移时同除一个数就会又搜到同一个状态
所以总状态数还是在约数个左右
bot 的矩阵
建立二分图，行和列分别对应左边的点和右边的点，行和列之间的边代表一个格子
然后跑二分图最大流
发现是个图进行操作有些难
我们把每个联通的图建立一棵树
然后由叶子往上递推
没有连的边就认为对应格子处的值为$ 0 $
所以每一个节点在计算时都只用考虑一个条件，就是一个直接递推
如果不合法就是根的值不为$ 0 $
关键是，为啥一棵树和一张图是等效的？
牵强附会一下，就是图和树其实是没有关系的
这个矩阵实际上没有任何限制
有解就是有解，无解就是无解
有一个解就一定有无穷个解，那么随便构造一个解构造不出来就一定无解
并不是从图到树保留了它的判断有无解的性质
它有没有解跟它是一张图还是一棵树出来的结果没有半点关系
构造一棵树只是为了把值变成类似于拓扑这种可以递推的形式
bot 的字符串
6
bot 的殖民扩张
不知道自己为啥才75分 鸽了
标签：十一,状态,省选,为啥,bot,一棵树,行和列,联测,递推 From： https://www.cnblogs.com/Sakura-Lu/p/17031606.html