摘要："PTA" "牛客" A. 托米的字符串 显然答案为： $$ \frac{n(n+1)}{2}\cdot\sum_{len=1}^n\frac{f(len)}{len} $$ 其中$f(i)$表示长度为$i$的所有串中含元音的个数。 显然$f(1)$易求，那么$\displaystyle f(2)= 阅读全文

摘要：bzoj 洛谷 题意： 现在有$a,b,c$三种车，每个赛道可能会存在限制：$a$表示不能选择$a$类型的赛车，$b,c$同理；$x$表示该赛道不受限制，但$x$类型的个数$d\leq 8$。 同时赛道之间还存在$m$条关系，每个关系用$(i\ h_i\ j\ h_j)$表示，意味着若在第$i$个赛 阅读全文

摘要："传送门" 几乎和 "这个题" 一样，就不说题意了，比较特殊的点就是，这里有个结论： 平面图的边数$m include include include include include include include define MP make_pair define fi first define 阅读全文

摘要："传送门" 题意： 给出一个圆，圆上有$n$个点，依次为$0,1,\cdots,n 1$。 现在要连接$m$对点，每次连接时可以直接从里面连，也可以从外面连。 最后问，连完这$m$对点后，是否有线相交。 思路： 每次连接时可以直接从里面连，也可以从外面连 ，那么可以考虑这个问题是一个$2 sat$模 阅读全文

摘要："传送门" $2 sat$的模板题，首先得出题目中的二元关系为：对于有矛盾的$x_i,x_j$，至多选择一个，那么连边$x_i\rightarrow x_j',x_j\rightarrow x_i'$。 在这里这个关系是明确的关系，我们连边时只用连明确的关系即可。假设不选$x_i$，我们也不知道$x 阅读全文