2sat[专题]

最新推荐文章于 2022-07-07 12:06:28 发布
最新推荐文章于 2022-07-07 12:06:28 发布
阅读量1.7k 收藏
点赞数
分类专栏： HDOJ ZJU ACM 图论 POJ 文章标签： struct c im
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/jxy859/article/details/8001687
版权
HDOJ 同时被 3 个专栏收录
23 篇文章 0 订阅
订阅专栏
ACM 图论
10 篇文章 0 订阅
订阅专栏
ZJU
3 篇文章 0 订阅
订阅专栏

http://hi.baidu.com/joy32812/item/8d2c066065a2e92c68105b12

http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html   这个比较推荐照这个刷，这个2-sat就基本差不多了

HDU 3062 Party 【裸题】 模版题


#include <cstdio>
#include <cstring>

using namespace std;

const int maxn=2000+123;
const int maxm=2000000+123;

struct Edge{
    int v, next;
}edge[maxm];
int head[maxn], cnt;

void addedge(int u, int v)
{
    edge[cnt].v=v; edge[cnt].next=head[u];
    head[u]=cnt++;
}

void init()
{
    memset (head, -1, sizeof(head));
    cnt=0;
}

inline void add(int u, int v)
{
    addedge(u, v^1);
    addedge(v, u^1);
}

int id[maxn], pre[maxn], low[maxn], s[maxn], cnt0, scnt, stop;
void dfs(int u, int n)
{
    int t, minc=low[u]=pre[u]=cnt0++;
    s[stop++]=u;/// 存入栈中。
    for (int p=head[u]; ~p; p=edge[p].next)
    {
        const int &v=edge[p].v;
        if(-1==pre[edge[p].v])dfs(v, n);
        if(low[v]<minc)minc=low[v];
    }
    if(minc<low[u])
    {
        low[u]=minc; return;
    }
    
    for (; id[t=s[--stop]]=scnt, low[t]=n, t!=u;);
    scnt++;
}

void tarjan(int n)
{
    memset (pre, 0xff, sizeof(pre));
    cnt0=scnt=stop=0;
    for (int i=0; i<n; ++i)
        if(-1 == pre[i])dfs(i, n);
}

bool Two_sat(int n)
{
    tarjan(n);
    for (int i=0; i<n; i+=2)
    {
        ///printf("%d %d\n", id[i], id[i|1]);
        if(id[i]==id[i|1])return false;
    }
    return true;
}

int main()
{
    int n, m;
    while (~scanf("%d%d", &n, &m))
    {
        init();
        for (int i=0; i<m; ++i)
        {
            int a, b, c, d; scanf("%d%d%d%d", &a, &b, &c, &d);
            int u=a*2+c, v=b*2+d;
            add(u, v);
            ///printf("u=%d sv=%d\nv=%d sv=%d\n", u, v^1, v, u^1);
//            addedge(u, v^1);
//            addedge(v, u^1);
        }
        puts(Two_sat(2*n)?"YES":"NO");
    }
    return 0;
}
/*
2 
1 
0 1 1 1
2 
2 
0 1 1 1
0 1 0 1
*/

POJ 3678 Katu Puzzle 接近裸题

vector <int> G[maxn];

inline void add(int u, int v)
{
    ///printf("u=%d v'=%d\nv=%d u'=%d\n", u, v^1, v, u^1);
    G[u].push_back(v^1);
    G[v].push_back(u^1);
}

int low[maxn], pre[maxn], S[maxn], Stop, scnt, cnt0, id[maxn];

void dfs(int u, int n)
{
    int minc=low[u]=pre[u]=cnt0++;
    S[Stop++]=u;
    int sz=G[u].size();
//    for_each(G[u].begin(), G[u].end(), printf);???
    for (int i=0; i<sz; ++i)
    {
        if(-1 == pre[G[u][i]])dfs(G[u][i], n);
        minc=min(minc, low[G[u][i]]);
    }
    if(minc<low[u])
    {
        low[u]=minc; return;
    }
    for (int t; id[t=S[--Stop]]=scnt, low[t]=n, t!=u; );
    scnt++;
}

void tarjan(int n)
{
    memset(pre, -1, sizeof(pre));
    cnt0=scnt=Stop=0;
    for (int i=0; i<n; ++i)
        if(-1 == pre[i])dfs(i, n);
}

bool Two_sat(int n)
{
    tarjan(2*n);
    for (int i=0; i<n; ++i)
    {
        ///printf("%d %d\n", id[i<<1], id[i<<1|1]);
        if(id[i<<1]==id[i<<1|1])return false;
    }
    return true;
}

int main()
{
    int n, m;
    while (~scanf("%d%d", &n, &m))
    {
        for (int i=0; i<2*n; ++i)G[i].clear();
        for (int i=0; i<m; ++i)
        {
            int a, b, c; char op[10]; scanf("%d%d%d%s", &a, &b, &c, op);
            if(op[0]=='A')
            {
                if(c==1)
                {
                    add(a<<1, b<<1);/// 0 0 
                    add(a<<1, b<<1|1);/// 0 1
                    add(a<<1|1, b<<1);/// 1 0
                }
                else 
                    add(a<<1|1, b<<1|1);/// 1 1
            }
            if(op[0]=='O')
            {
                if(c==1)
                {
                    add(a<<1, b<<1);
                }
                else 
                {
                    add(a<<1|1, b<<1);
                    add(a<<1, b<<1|1);
                    add(a<<1|1, b<<1|1);
                }
            }
            if(op[0]=='X')
            {
                if(c==1)
                {
                    add(a<<1, b<<1);
                    add(a<<1|1, b<<1|1);
                }
                else 
                {
                    add(a<<1|1, b<<1);
                    add(a<<1, b<<1|1);
                }
            }
        }
        puts(Two_sat(n)?"YES":"NO");
    }
    return 0;
}

HDU 3622 Bomb Game 二分+构图， 还是很水的， 不过前提是看出是2sat.



3648Wedding spj的输出任意解， 这里要求输出的是除了解集之外的解， 就是0w之外的蓝色。 由于是spj，可以忽略格式。

#include <cstdio>
#include <cstring>
#include <vector>
#include <queue>

using namespace std;

const int maxn=2000+123;
const int maxm=2000000+123;

struct Edge{
    int v, next;
}edge[maxm];
int head[maxn], cnt;

void addedge(int u, int v)
{
    edge[cnt].v=v; edge[cnt].next=head[u];
    head[u]=cnt++;
}

void init()
{
    memset (head, -1, sizeof(head));
    cnt=0;
}

inline void add(int u, int v)
{
    addedge(u, v^1);addedge(v, u^1);
}
///************tarjan*********************///
int id[maxn], pre[maxn], low[maxn], s[maxn], cnt0, scnt, stop;

void dfs(int u, int n)
{
    int t, minc=low[u]=pre[u]=cnt0++;
    s[stop++]=u;
    for (int p=head[u]; ~p; p=edge[p].next)
    {
        const int &v=edge[p].v;
        if(-1==pre[edge[p].v])dfs(v, n);
        if(low[v]<minc)minc=low[v];
    }
    if(minc<low[u])
    {
        low[u]=minc; return;
    }
    
    for (; id[t=s[--stop]]=scnt, low[t]=n, t!=u;);
    scnt++;
}

void tarjan(int n)
{
    memset (pre, 0xff, sizeof(pre));
    cnt0=scnt=stop=0;
    for (int i=0; i<n; ++i)
        if(-1 == pre[i])dfs(i, n);
}
/// ***********scc***************///

int deg[maxn], opp[maxn];
vector<int> G[maxn];
void getback(int n)///build the artigraph in 
{
    memset (deg, 0, sizeof(deg));
    for (int i=0; i<n; ++i)
        G[i].clear();
    for (int i=0; i<n; ++i)
    {
        opp[id[i]]=id[i^1];opp[id[i^1]]=id[i];
        for (int p=head[i]; ~p; p=edge[p].next)
        {
            const int &v=edge[p].v;
            if(id[i]!=id[v])
            {
                G[id[v]].push_back(id[i]);
                deg[id[i]]++;
            }
        }
    }
}

int color[maxn];
queue<int> Q;
bool toposort(int n)
{
    for (int i=0; i<n; ++i)
        if(deg[i]==0)Q.push(i);
    
    while(!Q.empty())
    {
        int u=Q.front();
        Q.pop();
        if(color[u] == 0)
        {
            color[u]=1; color[opp[u]]=2;
        }
        for (int i=0; i<G[u].size(); ++i)
        {
            int v=G[u][i];
            deg[v]--;
            if(deg[v]==0)Q.push(v);
        }
    }
}

bool Two_sat(int n)
{
    tarjan(2*n);
    for (int i=0; i<n; i++)
        if(id[i<<1]==id[i<<1|1])return false;
        
    memset (opp, -1, sizeof(opp));
    memset (color, 0, sizeof(color));
    getback(2*n);
    while (!Q.empty())Q.pop();/// 先清空队列。
    toposort(scnt);/// 这里是连通分量数
    return true;
}

int main()
{
    int n, m;
    while (scanf("%d%d", &n, &m), n&&m)
    {
        init();
        for (int i=0; i<m; ++i)
        {
            int a, b; char c, d; 
            scanf("%d%c %d%c", &a, &c, &b, &d);
            add(a*2+('h'==c), b*2+('h'==d));
        }
        //add(0, 1);
        addedge(0, 1);
        /**找出一组可行的方案坐在0w对面，
           这样加边会使0h出现在可行解中，
           与他同色的当然也是这个解的其他元素**/
        /// 输出的是除了0w以外的其他非解元素
        if(Two_sat(n))
        {
            for (int i=2; i<2*(n-1); ++i)
                if(color[id[i]]==color[id[0]])printf("%d%c ", i>>1, i&1?'h':'w');
            for (int i=2*(n-1); i<2*n; ++i)
                if(color[id[i]]==color[id[0]])printf("%d%c \n", i>>1, i&1?'h':'w');
        }
        else printf("bad luck\n");
    }
    return 0;
}



hdu 1814 要求输出字典序最小的方案

http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.aspx


百里屠猪
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
2-sat(Tarjan算法+二分)
M_GSir的博客
10-23 819
此博客是指一类2-sat的题目，需要通过二分，将答案不断精确化判断是否存在解来得出最临近临界值的解，具体见题。 题目：http://acm.hdu.edu.cn/showproblem.php?pid=3622 题意：一个人在玩游戏，这个游戏的规则是每次给两个点x1，y1，x2，y2，每次只能选择其中的一个点，然后以所有选择的点为圆心做同样大小的圆，这些圆可以相切，但不可以相交，求圆半径的
2-SAT
ZigZagK的博客
07-15 3717
定义2-SAT问题描述如下：有n个集合，每个集合里有两个元素且必须选一个，再给出若干条限制条件，比如选了i元素就不能j元素，求可行的选择方案。 ps：其实有k-SAT(k>=3)问题，但已经被证明是NPC问题，所以无视~分析首先我们要把给出的限制分析清楚。由于每个集合里有两个元素，所以如果某一个元素不能选，另一个就必须选。假设i集合的元素分别为2*(i-1),2*(i-1)+1（这两个元素可以相互
2-SAT学习资料
09-07
"【2-sat】专题～ - Amb@HDU - 博客园_files"和"2-SAT总结 - kuangbin - 博客园_files"这两个文件夹可能包含了与博客文章相关的图片、代码示例或其他辅助材料，有助于读者更好地理解2-SAT的实现和应用。 总的来说，...
ACM之2-sat
06-11
这个专题的资料包括了`2-SAT.ppt`和`2-sat.pdf`，可能包含了深入的理论解释、实例分析以及解决方法。 2-SAT问题可以表述为：给定一个二元联接的布尔公式，即所有子句都是由两个不同变量或它们的否定组成的，并问...
专题资料（2021-2022年）SAT咨询收集.doc
10-07
2. **熟悉考试范围**：考生应在考试前全面了解SAT数学涵盖的知识点，包括代数、几何、概率等，确保对所有可能的考点有充分准备。 3. **审题细致**：仔细阅读题目要求，避免因理解错误而答错题。对于复杂问题，可...
专题资料（2021-2022年）SAT考试介绍.docx
10-07
【SAT考试介绍】 SAT，全称Scholastic Assessment Test，是一项全球范围内广泛认可的大学入学考试，主要用于评估高中生的学术能力和潜在的大学学习能力。自2005年起，SAT考试经历了重大改革，由原来的两部分（英文...
专题资料（2021-2022年）DVB指标和指标测试方法.doc
10-07
- 短路电流测试，通过测量SAT IN输入口短路至地时的电流。 - 0/12V输出检查，确保OFF状态下电压小于0.5V，ON状态下电压在11V至13.1V之间。 2. 电源输入主板后的参数测试： - 在220V, 50Hz的输入电压下，对主板的...
2-SAT问题
KaiserWilheim的博客
07-07 3202
2-SAT问题
2-SAT问题解析与对称性解法
"本文主要探讨2-SAT问题及其解法，通过一个具体的实例来解析2-SAT问题的特性，并介绍一种基于对称性的解决方案。" 2-SAT（2-满足问题）是布尔满足问题（SAT）的一个子类，它涉及的是2个变量的逻辑表达式。在2-SAT...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值