2-SAT
DoBelieve
天空越暗的时候,你越能看到星辰。
展开
-
高考是不可能高考的 国家集训队作业题
高考是不可能高考的Description给出NN个旗子,全部旗子摆在一条线上。 第ii个旗子可以被放在位置xix_i或yiy_i上. LYDLYD认为两个旗子间的最小距离越大越好。 请你求出最大值。Data Constraint11<=NN<=10410^4 11<=xix_i,yiy_i<=10910^9Solution做过这题后便发现国家集训队的作业题其实也没那么难。 其实模型也挺原创 2017-11-04 21:20:52 · 922 阅读 · 0 评论 -
JZOJ 4350 废水回收
废水回收有nn个水阀,mm个开关,每个水阀有两个阀门。 每一个阀门有一个开关控制,每个阀门都有一个标志ss。 ss=00时表示这个阀门关闭仅当对应开关关闭,ss=11时表示这个阀门关闭仅当对应开关开启。 一个开关可能控制多个阀门。 求是否存在一种开关的开关方案满足每个水阀至少有一个阀门关闭。Data ConstraintSolution还能有比这个更模板化的2−SAT2-SAT模型吗? 将原创 2017-12-27 21:47:21 · 410 阅读 · 0 评论