
2Sat
Mys_C_K
人生有许多道:曾经踏足的是道,即将踏往的也是道,那什么才是道呢?唯有脚下走的才是道。一切精神或者物质都归于虚无,然后从混沌中衍生出三万道。在悲喜间涉足一条无数前人经历过,且将有无数后人奔赴的道,无论是否已经或者将要到达彼岸,然后便不再回头或是左顾右盼,即使有些道繁盛至极,夜灯如昼,无数人一浪又一浪的涌去,造就了世人皆知的辉煌;即使有些道草木凋敝,荒草丛生,只等勇敢的开拓者斩开荆棘,创造一片天地;这些都无所关,无所在意,彼岸何如、来日何方甚至过往旧事都化作一缕云烟,飘渺碧霄,我自撷高山之月色,独随足落处往行。
展开
-
ARC 069 F Falgs - 线段树优化建图 - 2Sat
线段树优化2sat建图,特判坐标相等的情况即可。 #include<iostream> #include<cstring> #include<cstdio> #include<algorithm> #include<vector> #include<stack&原创 2018-08-08 14:50:43 · 286 阅读 · 0 评论 -
battery -2SAT
题目大意:有个网格图,每个格子是 炮台:可以向上下’|‘或者左右’-‘发射激光(你来决定向上下还是左右) 镜子:两种’\‘或者’/’,成45°反射激光 障碍:’#’:激光遇到会消失。激光出边界也会消失。 空地:’.’ 现在你要给每个炮台确定方向,使得不存在一个炮台能打到另一个炮台,并且每个空地至少被一个炮台的激光经过(激光可以相交)。 T≤100,n,m≤50T\le100,n,m\le50T≤1...原创 2018-12-19 10:37:26 · 245 阅读 · 0 评论