摘要：
2 SAT 可以把每一次仪式看成变量，0/1的取值分别为开头举行和结尾举行。 转换为2 SAT接受的命题，就是看某一次仪式中有没有重合的时间段，有的话，就按照不冲突的形式连有向边。 然后跑tarjan就行啦，我们把时间全部转成分钟方便处理。。 include include include incl 阅读全文
摘要：
高中数学 前面那一道数据小，可以暴力枚举每条直线是否相交。。这个显然不行。 两条直线平行，那么对应的直线方程 ax by = c 的a和b一定比例是相同的，而且这个题只有整数坐标，所以最后只要是互相平行的直线，a和b一定可以化简成一样的。 所以我们把两点的直线用斜截式化简，可以求出a, b, c，然 阅读全文
摘要：
思维题 这次比赛打的太烂了。。 一开始还去离散化了一下。。发现完全不需要。 要求找到一个前缀，删除一个数后其他数出现次数相等。 我们肯定要统计每一个数出现的次数，然后考虑符合题意的情况。 显然有四种： 每个数都出现一次 整个前缀只有一种数 有一个数出现的次数和其他数不同，如果这个数出现的次数小于其他 阅读全文