首先我是的确确定了LRJ那个代码也是判断一个点的两种状态是否在一个连通分量内。

   关于自己做的,自己又确定了一些,让自己那样先,比如说对于 3 6 1 AND这样3 6都已经确定的点,自己用Num记录的话结果死的很惨。

   我也确定下,现场比赛自己创算法(指的是代码比较新)的话也许会死的很惨。。。

  

   2-SAT,后来我忽然想到就是确定的位置也可以用这种对称方法做出来,就加一个每种状态都可以推出这种状态呗。。

   顺便知道了RANK上排名超前的一般都加入了输入输出加速了

   还顺便知道了OJ上的数据也许是随机出的

   还顺便学习了下tarjan的2-SAT做法,其实思想本来就是类似的。

 

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std; //我的错误就是无法判断已经确定结果的边然后。。。。
const int maxn = 1500;
int n,m;
vector<int> G[maxn*3];
bool mark[maxn*3];
int s[maxn*3],c;
char op[10]; bool dfs(int x)
{
if(mark[x^1]) return false;//这个一定是强连通分量果然
if(mark[x]) return true;
mark[x]=true;
s[c++]=x;
for(int i=0;i<G[x].size();i++)
if(!dfs(G[x][i])) return false;
return true;
} void init()
{
for(int i=0;i<n*2;i++) G[i].clear();
memset(mark,0,sizeof(mark));
} bool solve()
{
for(int i = 0;i < n*2; i += 2)
{
if( !mark[i] && !mark[i+1] )
{
c = 0;
if( !dfs(i) )
{
while(c>0)
mark[s[--c]]=false;
if(!dfs(i+1)) return false;
}
}
}
return true;
} int main()
{
int a,b,c;
while(scanf("%d%d",&n,&m)!=EOF)
{
init();
for(int i=0;i<m;i++)
{
scanf("%d%d%d%s",&a,&b,&c,op);
if(!strcmp(op,"AND"))
{
if(c==1)
{
G[a*2].push_back(b*2);//如果出现这种情况那么一定是真。就这样。
G[a*2+1].push_back(b*2); G[b*2].push_back(a*2);
G[b*2+1].push_back(a*2);
}
else if(c==0)
{
G[a*2].push_back(b*2+1);//真只能放假
G[b*2].push_back(a*2+1);
}
}
//////////
else if(!strcmp(op,"OR"))
{
if(c==1)
{
G[a*2+1].push_back(b*2);//a假b必须为真
G[b*2+1].push_back(a*2);
}
else if(c==0)
{
G[a*2].push_back(b*2+1);
G[a*2+1].push_back(b*2+1);//必须都为0 G[b*2].push_back(a*2+1);
G[b*2+1].push_back(a*2+1);
}
}
////////////
else if(!strcmp("XOR",op))
{
if(c==1)
{
G[a*2+1].push_back(b*2);
G[a*2].push_back(b*2+1); G[b*2+1].push_back(a*2);
G[b*2].push_back(a*2+1);
}
else if(c==0)
{
G[a*2+1].push_back(b*2+1);
G[a*2].push_back(b*2); G[b*2+1].push_back(a*2+1);
G[b*2].push_back(a*2);
}
}
} if(solve()==false) printf("NO\n");
else
{
printf("YES\n");
}
}
return 0;
}

POJ3678【错误总会让自己有收获的】的更多相关文章

  1. 【转】Javascript错误处理——try…catch

    无论我们编程多么精通,脚本错误怎是难免.可能是我们的错误造成,或异常输入,错误的服务器端响应以及无数个其他原因. 通常,当发送错误时脚本会立刻停止,打印至控制台. 但try...catch语法结构可以 ...

  2. 关于react16.4——错误边界

    过去,组件内的 JavaScript 错误常常会破坏 React 内部状态,并导致它在下一次渲染时产生神秘的错误.这些错误总会在应用代码中较早的错误引发的,但 React 并没有提供一种方式能够在组件 ...

  3. 廖雪峰Java3异常处理-1错误处理-1Java的异常

    1.计算机运行中的错误 在计算机程序运行的过程中,错误总会出现,不可避免的 用户输入错误 读写文件错误 网络错误.内存耗尽.无法连接打印机不可 String s = "abc"; ...

  4. 我是一只IT小小鸟读后感

    当老师推荐我读这本书的时候,并不想看,因为我不喜欢机械的东西,然而阅读几章后,对这本书有了其他看法.不知不觉竟把它看完!看完这本<我是一只IT小小鸟>,我感触很深. 在书中我明白了很多,大 ...

  5. jQuery的ajax学习

    jQuery是一个非常常见的JavaScript库,可是,突然发现其实自己大多数时候,潜意识里面对它其实是视而不见的,比如它的ajax,不是没用过,每次使用,要不,是直接套用已有的格式,要不直接从官网 ...

  6. 20155303 2016-2017-2 《Java程序设计》第四周学习总结

    20155303 2016-2017-2 <Java程序设计>第四周学习总结 教材学习内容总结 第六章 继承与多态 6.1 何谓继承 继承避免多个类间重复定义共同行为,使用关键字exten ...

  7. FOC 算法基础之欧拉公式

    文章目录 欧拉公式 几何意义 复数平面 动态过程 加法 FOC电压矢量的推导 总结 参考 FOC中电压矢量合成的推导,对于欧拉公式的几何意义做了一个全面的回顾. 欧拉公式 欧拉是一个天才,欧拉公式甚至 ...

  8. eclipse再见,android studio 新手入门教程(二)项目的导入

    上一篇博客介绍了AS的一些常用设置方法,当工具调教妥当后,自然就要开始项目的开发啦.从零开始新建一个项目,这个简单,不必多说,这篇博客会分享我从旧平台eclipse导入项目到AS的过程,以及遇到的一些 ...

  9. SQL Server时间粒度系列

        工作中经常遇到针对业务部门提出不同时间粒度(年.季度.月.周.日等等日期时间粒度,以下简称时间粒度)的数据统计汇总任务,也看到不少博友针对这方便的博文,结合SQL Server的日期时间函数和 ...

随机推荐

  1. 原生js仿jquery--animate效果

    效果 代码 <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF ...

  2. 10 - 应用程序间通信、本地通知、加速计、URL传输中文

    一.应用间通信 URL 调用系统服务: tel:11111 sms:xxx@163.com http:// URL深入 类型://主机:端口/地址?参数 label框等于文字大小快捷键:command ...

  3. Data Annotation

    Data Annotation 什么是Data Annotation ? 如何使用 ? 自定义Validate Attribute EF  Db first中使用Data Annotation asp ...

  4. Qt学习之路(24): QPainter(改写paintEvent)

    多些大家对我的支持啊!有朋友也提出,前面的几节有关event的教程缺少例子.因为event比较难做例子,也就没有去写,只是把大概写了一下.今天带来的是新的部分,有关Qt的2D绘图.这部分不像前面的内容 ...

  5. PowerManager.WakeLock

    PowerManager.WakeLock PowerManager.WakerLock是我分析Standup Timer源代码时发现的一个小知识点,Standup Timer 用WakeLock保证 ...

  6. C#:总结页面传值几种方法

    小知识点: 1.  W7自带 .NetFrameWork 3.5, 兼容模式为 高版本号兼容低版本号: 2. WF和WPF都是基于XAML的,可是两者的用途不同. WF是一种开发框架,将工作流嵌入在. ...

  7. JAVA中extends 与implements有啥区别?

    JAVA中extends 与implements有啥区别?1. 在类的声明中,通过关键字extends来创建一个类的子类.一个类通过关键字implements声明自己使用一个或者多个接口.extend ...

  8. 基于visual Studio2013解决面试题之1305字符串所有子集

     题目

  9. MFC网页访问的实现示例

    本示例使用MFC 类CInternetSession 建立连接,使用 CHttpFile读取内容. 首先,建立一个MFC对话框项目,界面如下: 1. 添加头文件: #include <afxin ...

  10. OpenRisc-35-基于orpsoc,eCos的sd card controller的测试实验

    引言 之前,曾经在orpsoc的平台上,测试验证过其sd card controller的linux的驱动,但是并不是很完美,经过努力,终于在eCos下完成了其全部功能的验证,包括驱动层验证,文件系统 ...