MyException - 我的异常网
当前位置:我的异常网» 编程 » POJ3297【二-SAT一水】

POJ3297【二-SAT一水】

www.MyException.Cn  网友分享于:2013-11-09  浏览:0次
POJ3297【2-SAT一水】

题意理解有问题。      以为是是否存在相交直线了。   忽略了可以在圆外部连的情况。

自己有心理阴影了。    读题有心理阴影了肿么破。  呵~~~~~~~~~~

 

正解。  2-SAT一水。


我老是感觉这题与2-SAT不太相关。。

这题是必须同为真或同为假。   不像2-SAT的1为真或2为真。   并且里面连线之后外面照常可以连。  囧 ,难道又是破题意有误? 


行了,直接题解吧,被题意坑坏了。


果然,考虑点是不满足2-SAT的条件,可是可以考虑边。。。囧了。。。。。。     是否是可析取或可以加条件。


AC了。。


思路过程:  1.直接暴力,题意理解是只能所有线段都在园内或圆外, WA

                      2.后来试了几次感觉好像题意理解有问题, 只看了题意,原来可以“曲”在圆外。

                      3.试了试2-SAT以点为判断  感觉与2-SAT相应条件不符  WA+++

                      4.参考了一下解题报告,可以枚举边的2-SAT思路,好像会了,顺便对2-SAT LRJ版稍微理解了点。

                      5.AC        别人的2-SAT模板(仅网上)一般都是用tarjan判断是否有i,i+1在同一个连通分量里面。 LRJ的代码其实也类似思路。

                        

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std;
const int maxn=1005;
int n;
vector<int> G[maxn*2];
bool mark[maxn*2];
int s[maxn*2],c;
struct xx
{
    int be,en;
}x[5555];

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));
}

void add(int x,int xval,int y,int yval)
{
    x=x*2+xval;
    y=y*2+yval;
    G[x^1].push_back(y);
    G[y^1].push_back(x);
}

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;
}

bool judge(int a,int b,int c,int d)
{
    if((a<c&&c<b&&b<d)||(c<a&&a<d&&d<b)) return true;
    else return false;
}

int main()
{
    int m,a,b;
    scanf("%d%d",&n,&m);
    init();
    for(int i=0;i<m;i++)
    {
        scanf("%d%d",&x[i].be,&x[i].en);
        if(x[i].be>x[i].en)
            swap(x[i].be,x[i].en);
    }
    for(int i=0;i<m;i++)
        for(int j=i+1;j<m;j++)
        {
            if(judge(x[i].be,x[i].en,x[j].be,x[j].en))
            {
                G[i*2].push_back(j*2+1);
                G[j*2].push_back(i*2+1);
                G[i*2+1].push_back(j*2);
                G[j*2+1].push_back(i*2);
            }
        }
    if(solve()==true) printf("panda is telling the truth...\n");
    else printf("the evil panda is lying again\n");
    return 0;
}

                               

文章评论

每天工作4小时的程序员
每天工作4小时的程序员
团队中“技术大拿”并非越多越好
团队中“技术大拿”并非越多越好
10个调试和排错的小建议
10个调试和排错的小建议
60个开发者不容错过的免费资源库
60个开发者不容错过的免费资源库
老程序员的下场
老程序员的下场
聊聊HTTPS和SSL/TLS协议
聊聊HTTPS和SSL/TLS协议
看13位CEO、创始人和高管如何提高工作效率
看13位CEO、创始人和高管如何提高工作效率
代码女神横空出世
代码女神横空出世
要嫁就嫁程序猿—钱多话少死的早
要嫁就嫁程序猿—钱多话少死的早
鲜为人知的编程真相
鲜为人知的编程真相
程序猿的崛起——Growth Hacker
程序猿的崛起——Growth Hacker
“懒”出效率是程序员的美德
“懒”出效率是程序员的美德
程序员必看的十大电影
程序员必看的十大电影
如何区分一个程序员是“老手“还是“新手“?
如何区分一个程序员是“老手“还是“新手“?
程序员最害怕的5件事 你中招了吗?
程序员最害怕的5件事 你中招了吗?
“肮脏的”IT工作排行榜
“肮脏的”IT工作排行榜
5款最佳正则表达式编辑调试器
5款最佳正则表达式编辑调试器
程序员的一天:一寸光阴一寸金
程序员的一天:一寸光阴一寸金
程序员眼里IE浏览器是什么样的
程序员眼里IE浏览器是什么样的
10个帮程序员减压放松的网站
10个帮程序员减压放松的网站
程序员和编码员之间的区别
程序员和编码员之间的区别
Java程序员必看电影
Java程序员必看电影
旅行,写作,编程
旅行,写作,编程
编程语言是女人
编程语言是女人
 程序员的样子
程序员的样子
我跳槽是因为他们的显示器更大
我跳槽是因为他们的显示器更大
Java 与 .NET 的平台发展之争
Java 与 .NET 的平台发展之争
为啥Android手机总会越用越慢?
为啥Android手机总会越用越慢?
不懂技术不要对懂技术的人说这很容易实现
不懂技术不要对懂技术的人说这很容易实现
程序员应该关注的一些事儿
程序员应该关注的一些事儿
初级 vs 高级开发者 哪个性价比更高?
初级 vs 高级开发者 哪个性价比更高?
Web开发者需具备的8个好习惯
Web开发者需具备的8个好习惯
程序员都该阅读的书
程序员都该阅读的书
什么才是优秀的用户界面设计
什么才是优秀的用户界面设计
老美怎么看待阿里赴美上市
老美怎么看待阿里赴美上市
如何成为一名黑客
如何成为一名黑客
程序员的鄙视链
程序员的鄙视链
我是如何打败拖延症的
我是如何打败拖延症的
总结2014中国互联网十大段子
总结2014中国互联网十大段子
写给自己也写给你 自己到底该何去何从
写给自己也写给你 自己到底该何去何从
程序员周末都喜欢做什么?
程序员周末都喜欢做什么?
亲爱的项目经理,我恨你
亲爱的项目经理,我恨你
做程序猿的老婆应该注意的一些事情
做程序猿的老婆应该注意的一些事情
当下全球最炙手可热的八位少年创业者
当下全球最炙手可热的八位少年创业者
十大编程算法助程序员走上高手之路
十大编程算法助程序员走上高手之路
软件开发程序错误异常ExceptionCopyright © 2009-2015 MyException 版权所有