摘要：
首先看出$E_i=\frac{\sum\limits^{i-1}_{j=1}\frac{q_iq_j}{(i-j)^2}-\sum\limits^n_{j=i+1}\frac{q_iq_j}{(i-j)^2}}{q_i}=\sum\limits^{i-1}_{j=1}\frac{q_j}{(i-j) 阅读全文
摘要：
没有x地图的话是一个比较明显的2-SAT。对于$(i,h_i,j,h_j)$，若$h_i$不能用，则无视掉；若$h_j$不能用，则连边$(i,i')$，表示选$i$就要选$i'$，那么按照2-SAT的定义，$i$肯定不会出现在答案中；否则连边$(i,j),(j',i')$（若$j$不选$h_j$，则 阅读全文