摘要：Miller_Rabin 快速($O(slogn)$，s为尝试次数)地测试一个数是否是质数 首先有费马小定理$a^{p-1}=1\ (mod\ p)$当p为质数时成立，所以可以随机选择a来以这个式子作为一定的判断依据，但并不是所有合数都不满足这个式子，甚至存在合数对所有的a都不满足这个式子 然后有二 阅读全文

摘要：做法 考虑用射线（一个点和一个向量）表示它左侧的半平面 那么我们可以先按与x轴正半轴夹角（可用atan2(y,x)实现）排序，然后再用双端队列维护当前在交中的射线即可 之所以要用双端队列，是因为新插入一个半平面时队首和队尾都有可能被弹出，而且要注意的是，要先弹队尾再弹队首 在最后，还要再用队首的弹一 阅读全文

摘要：min-max容斥： $$max\{a_i\}=\sum\limits_{S}(-1)^{|s|-1}min\{a_i|a_i \in S\}$$ 关于证明，可以把一个数$a$看作是集合$\{1...a\}$，于是max相当于取并集，min相当于取交集，就变成了普通的容斥 然后这道题就可以dp了 然 阅读全文