洛谷 P3825 游戏[NOI 2017] (2-SAT)

最新推荐文章于 2024-01-10 22:00:19 发布
最新推荐文章于 2024-01-10 22:00:19 发布
阅读量543 收藏
点赞数
分类专栏： 2-SAT 强连通分量分解
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Ab_Ever/article/details/76405454
版权

这里写图片描述
这里写图片描述
这里写图片描述

Solution

这是NOI 2017 Day2的T1。

这是一道签到题(然而好像卡dfs)。。

这题貌似是本学校的一位校友(大神)出的。。。

一开始看到这题以为是3-SAT，NPC问题啊，怎么做？后来在机房同学们的讨论下(网络同步赛大家都集中起来)，发现其实只是一道水水的2-SAT。首先，看到输出任意解的题目就可以想2-SAT。求2-SAT是可以达到线性的复杂度的，题目的关键在于d<=8，即给出的字符串中x的状态集合就是3^8那么多种。那么我们直接暴力枚举就可以了，我们只用枚举2^8=256种就行了，因为假设x取a，x取b，分别代表该地图能用的车为B,C和A,C。这就已经包含全部情况了。暴力枚举过后直接上2-SAT。

具体怎么实现呢？就是根据题目要求连边，若A则B，就从A向B连一条边，同时从!B向!A连一条边(原命题与逆否命题同真或同假)。由于有了地图限制，所以每组最多只有两种选择，这就是2-SAT了。不过与一般的题目不同的是每一组的事件A和事件!A所代表的不尽相同而已。最后直接根据选取的合法方案输出一组，然后结束暴力枚举。或者枚举结束仍无答案输出-1。连边时需要注意的是：

①如果限制为若A则B，且A不能选就直接跳过，不用连边。因为此时B和!B可以选，而输出时会根据地图，所以不会选A。
②如果限制为若A则B，且B不能选，则A也一定不能选，所以我们将A连向!A就可以了。

讲了这么多。这里实现2-SAT如果用dfs，回退标记什么的会T掉最后三个点，因为dfs的时间是不能保证的，而此题卡常数。所以一开始我是过不了的。后来我改成用Tarjan求scc就能过了，因为这样做一定是线性的，而且，不管了，反正这样能过，大概是数据太大，选取的实现方法变得关键了吧。。

Code(dfs TLE)

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <cstring>
#include <cmath>
#define N 50010
#define M 100010

using namespace std;

int n, d, m;
int back[N], head_p[N<<1], cur;
char x[5], y[5], S[N];
bool vis[N<<1];
struct Adj{int next, obj;} Edg[M<<1];
struct Da{
    int l, r, x, y;
}q[M];

void Add(int a, int b){
    cur ++;
    Edg[cur].next = head_p[a];
    Edg[cur].obj = b;
    head_p[a] = cur;
}

bool Dfs(int now){
    if(now <= n && vis[now+n] || now > n && vis[now-n])  return false;
    if(vis[now])  return true;
    vis[now] = true;
    back[++back[0]] = now;
    for(register int i = head_p[now]; ~ i; i = Edg[i].next){
      int v = Edg[i].obj;
      if(!Dfs(v))  return false;
    }
    return true;
}

bool Sat(){
    memset(vis, false, sizeof(vis));
    for(register int i = 1; i <= n; i++){
      if(vis[i] || vis[i+n])  continue;
      back[0] = 0;
      if(!Dfs(i)){      
        for(register int j = 1; j <= back[0]; j++)  vis[back[j]] = false;
        back[0] = 0;
        if(!Dfs(i+n))  return false;
      }
    }
    return true;
}

bool Work(){

    memset(head_p, -1, sizeof(head_p));
    cur = -1;

    for(register int i = 1; i <= m; i++){
      int u, v;

      if(S[q[i].l-1] == 'a' && q[i].x == 1)  continue;
      if(S[q[i].l-1] == 'b' && q[i].x == 2)  continue;
      if(S[q[i].l-1] == 'c' && q[i].x == 3)  continue;

      if(S[q[i].l-1] == 'a' && q[i].x == 2)  u = q[i].l;
      if(S[q[i].l-1] == 'a' && q[i].x == 3)  u = q[i].l+n;

      if(S[q[i].l-1] == 'b' && q[i].x == 1)  u = q[i].l;
      if(S[q[i].l-1] == 'b' && q[i].x == 3)  u = q[i].l+n;

      if(S[q[i].l-1] == 'c' && q[i].x == 1)  u = q[i].l;
      if(S[q[i].l-1] == 'c' && q[i].x == 2)  u = q[i].l+n;

      if(S[q[i].r-1] == 'a' && q[i].y == 2)  v = q[i].r;
      if(S[q[i].r-1] == 'a' && q[i].y == 3)  v = q[i].r+n;

      if(S[q[i].r-1] == 'b' && q[i].y == 1)  v = q[i].r;
      if(S[q[i].r-1] == 'b' && q[i].y == 3)  v = q[i].r+n;

      if(S[q[i].r-1] == 'c' && q[i].y == 1)  v = q[i].r;
      if(S[q[i].r-1] == 'c' && q[i].y == 2)  v = q[i].r+n;

      if(S[q[i].r-1] == 'a' && q[i].y == 1)  v = (u <= n) ? u + n : u - n;
      if(S[q[i].r-1] == 'b' && q[i].y == 2)  v = (u <= n) ? u + n : u - n;
      if(S[q[i].r-1] == 'c' && q[i].y == 3)  v = (u <= n) ? u + n : u - n;

      Add(u, v);
      u <= n ? u += n : u -= n;
      v <= n ? v += n : v -= n;
      Add(v, u);
    }
    return Sat();
}

void Fill(int now){

    if(now == n+1){
      if(Work()){
        for(register int i = 1; i <= n; i++){
          if(S[i-1] == 'a' && vis[i])  putchar('B');
          if(S[i-1] == 'b' && vis[i])  putchar('A');
          if(S[i-1] == 'c' && vis[i])  putchar('A');
          if(S[i-1] == 'a' && vis[i+n])  putchar('C');
          if(S[i-1] == 'b' && vis[i+n])  putchar('C');
          if(S[i-1] == 'c' && vis[i+n])  putchar('B');
        }
        exit(0);
      }
      return;
    }

    if(S[now-1] == 'x'){
      S[now-1] = 'a';
      Fill(now+1);
      S[now-1] = 'b';
      Fill(now+1);
    }
    else  Fill(now+1);
}

int main(){

    freopen("game.in", "r", stdin);
    freopen("game.out", "w", stdout);

    scanf("%d%d%s%d", &n, &d, &S, &m);

    for(register int i = 1; i <= m; i++){
      scanf("%d%s%d%s", &q[i].l, &x, &q[i].r, &y);
      if(x[0] == 'A')  q[i].x = 1;
      else if(x[0] == 'B')  q[i].x = 2;
      else  q[i].x = 3;
      if(y[0] == 'A')  q[i].y = 1;
      else if(y[0] == 'B')  q[i].y = 2;
      else  q[i].y = 3;
    }

    Fill(1);

    putchar('-');
    putchar('1');
    return 0;
}

Code(Tarjan求scc AC)

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <cstring>
#include <queue>
#include <cmath>
#define N 50010
#define M 100010

using namespace std;

int n, d, m;
int head_p[N<<1], cur, cur1, head_p1[N<<1];
char x[5], y[5], S[N];
struct Adj{int next, obj;} Edg[M<<1], Edg1[M<<1];
struct Da{
    int l, r, x, y;
}q[M];

int low[N<<1], stack[N<<1], Fa[N<<1], state[N<<1], Root[N<<1], in[N<<1], num[N<<1], dfn[N<<1], Tim, top;
bool vis[N<<1];

queue <int> Q;

void Add(int a, int b){
    cur ++;
    Edg[cur].next = head_p[a];
    Edg[cur].obj = b;
    head_p[a] = cur;
}

void Insert(int a, int b){
    cur1 ++;
    Edg1[cur1].next = head_p1[a];
    Edg1[cur1].obj = b;
    head_p1[a] = cur1;
}

void Tarjan(int root){
    low[root] = dfn[root] = ++Tim;
    state[root] = 1;
    stack[++top] = root;
    for(int i = head_p[root]; ~ i; i = Edg[i].next){
      int v = Edg[i].obj;
      if(state[v] == 2)  continue;
      if(!state[v])  Tarjan(v);
      low[root] = min(low[root], low[v]);
    }
    if(low[root] == dfn[root]){
      Root[++Root[0]] = root;
      while(top){
        int tmp = stack[top--];
        state[tmp] = 2;
        Fa[tmp] = root;
        if(tmp == root)  break;
      }
    }
}

void Scc(){
    memset(state, 0, sizeof(state));
    Tim = top = Root[0] = 0;
    for(int i = 1; i <= (n<<1); i++)
      if(!state[i])  Tarjan(i);

    cur1 = -1;
    memset(head_p1, -1, sizeof(head_p1));
    for(int i = 1; i <= (n<<1); i++)
     for(int j = head_p[i]; ~ j; j = Edg[j].next){
       int v = Edg[j].obj;
       if(Fa[v] != Fa[i]){
         Insert(Fa[i], Fa[v]);
         in[Fa[v]] ++;
       }
     }

    int y = 0;
    memset(num, 0, sizeof(num));

    for(int i = 1; i <= Root[0]; i++)  if(!in[Root[i]])  num[Root[i]] = ++y, Q.push(Root[i]);

    while(!Q.empty()){
      int now = Q.front();
      Q.pop();
      for(int i = head_p1[now]; ~ i; i = Edg1[i].next){
        int v = Edg1[i].obj;
        in[v] --;
        if(!in[v])  num[v] = ++y, Q.push(v);
      }
    }
}

bool Sat(){
    Scc();
    memset(vis, false, sizeof(vis));
    for(int i = 1; i <= n; i++){
      if(num[Fa[i]] == num[Fa[i+n]])  return false;
      if(num[Fa[i]] > num[Fa[i+n]])  vis[i] = true;
      else  vis[i+n] = true;
    }
    return true;
}

bool Work(){

    memset(head_p, -1, sizeof(head_p));
    cur = -1;

    for(register int i = 1; i <= m; i++){
      int u, v;

      if(S[q[i].l-1] == 'a' && q[i].x == 1)  continue;
      if(S[q[i].l-1] == 'b' && q[i].x == 2)  continue;
      if(S[q[i].l-1] == 'c' && q[i].x == 3)  continue;

      if(S[q[i].l-1] == 'a' && q[i].x == 2)  u = q[i].l;
      if(S[q[i].l-1] == 'a' && q[i].x == 3)  u = q[i].l+n;

      if(S[q[i].l-1] == 'b' && q[i].x == 1)  u = q[i].l;
      if(S[q[i].l-1] == 'b' && q[i].x == 3)  u = q[i].l+n;

      if(S[q[i].l-1] == 'c' && q[i].x == 1)  u = q[i].l;
      if(S[q[i].l-1] == 'c' && q[i].x == 2)  u = q[i].l+n;

      if(S[q[i].r-1] == 'a' && q[i].y == 2)  v = q[i].r;
      if(S[q[i].r-1] == 'a' && q[i].y == 3)  v = q[i].r+n;

      if(S[q[i].r-1] == 'b' && q[i].y == 1)  v = q[i].r;
      if(S[q[i].r-1] == 'b' && q[i].y == 3)  v = q[i].r+n;

      if(S[q[i].r-1] == 'c' && q[i].y == 1)  v = q[i].r;
      if(S[q[i].r-1] == 'c' && q[i].y == 2)  v = q[i].r+n;

      if(S[q[i].r-1] == 'a' && q[i].y == 1)  v = (u <= n) ? u + n : u - n;
      if(S[q[i].r-1] == 'b' && q[i].y == 2)  v = (u <= n) ? u + n : u - n;
      if(S[q[i].r-1] == 'c' && q[i].y == 3)  v = (u <= n) ? u + n : u - n;

      Add(u, v);
      u <= n ? u += n : u -= n;
      v <= n ? v += n : v -= n;
      Add(v, u);
    }
    return Sat();
}

void Fill(int now){

    if(now == n+1){
      if(Work()){
        for(register int i = 1; i <= n; i++){
          if(S[i-1] == 'a' && vis[i])  putchar('B');
          if(S[i-1] == 'b' && vis[i])  putchar('A');
          if(S[i-1] == 'c' && vis[i])  putchar('A');
          if(S[i-1] == 'a' && vis[i+n])  putchar('C');
          if(S[i-1] == 'b' && vis[i+n])  putchar('C');
          if(S[i-1] == 'c' && vis[i+n])  putchar('B');
        }
        exit(0);
      }
      return;
    }

    if(S[now-1] == 'x'){
      S[now-1] = 'a';
      Fill(now+1);
      S[now-1] = 'b';
      Fill(now+1);
    }
    else  Fill(now+1);
}

int main(){

    freopen("game.in", "r", stdin);
    freopen("game.out", "w", stdout);

    scanf("%d%d%s%d", &n, &d, &S, &m);

    for(register int i = 1; i <= m; i++){
      scanf("%d%s%d%s", &q[i].l, &x, &q[i].r, &y);
      if(x[0] == 'A')  q[i].x = 1;
      else if(x[0] == 'B')  q[i].x = 2;
      else  q[i].x = 3;
      if(y[0] == 'A')  q[i].y = 1;
      else if(y[0] == 'B')  q[i].y = 2;
      else  q[i].y = 3;
    }

    Fill(1);

    putchar('-');
    putchar('1');
    return 0;
}

这里写图片描述

樱花满地集于我心，楪舞纷飞祈愿相随。

AbEver
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
洛谷的各种状态
qianzhima2012的博客
03-23 855
启动一下洛谷能把我创亖今天来盘点一下洛谷的各种状态各个评测状态首先是我们最最最喜欢的。
洛谷 P4782 【模板】2-SAT 问题
Love_xyh的博客
09-13 156
2-SAT问题可以通过强连通分量来判断条件是否矛盾。 而题目往往会要求输出方案，输出方案时，强连通分量的scc值，会和原图的拓扑序紧密联系在一起。 #include <bits/stdc++.h> using namespace std; const int N=1e6+5; int n,m,a,b,nowa,nowb; int cnt,head[N<<1]; int col,now,top,dfn[N<<1],low[N<<1],color[N<&lt
洛谷各种测试点显示
taoyiwei17_QFOI的博客
08-13 2178
MLE：Memory Limit Exceeded，超出内存限制。TLE：Time Limit Exceeded，超出时间限制。PC：Partially Correct，部分正确。UKE：Unknown Error，出现未知错误。RE：Runtime Error，运行时错误。CE：Compile Error，编译错误。WA：Wrong Answer，答案错误。AC：Accept，程序通过。
洛谷各评测状态的含义
热门推荐
weixin_44685629的博客
03-12 1万+
各个评测状态 AC：Accept，程序通过。 WA：Wrong Answer，答案错误。 CE：Compile Error，编译错误。 PC：Partially Correct，部分正确。 RE：Runtime Error，运行时错误。 TLE：Time Limit Exceeded，超出时间限制。 MLE：Memory Limit Exceeded，超出内存限制。 OLE：Output Limi...
【洛谷篇】编程里你一定不知道的暗语，看看你知道几个？
m0_73787047的博客
01-10 752
【洛谷篇】编程里你一定不知道的暗语，看看你知道几个？
NOI案例分享-20160725.rar
01-26
NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725NOI案例分享-20160725...
NOI数学--2021.07.28(E).pdf
08-12
NOI数学--2021.07.28(E).pdf
信息学奥赛 省选及NOI_PDF-2020.12.29.rar
12-29
2. **《省选＋NOI-第二部分 XXXX_2020.08.29.pdf》**：虽然这里没有具体文件名，但根据其他文件的命名规律，这一部分可能是关于算法或数据结构的另一个专题，例如字符串处理、网络流或者博弈论等。 3. **《省选＋...
NOI数学--2021.09.06(E)--62页.pdf
09-06
NOI 数学是中国国家奥林匹克信息学竞赛（NOI）的一部分，旨在提高中学生的计算机科学和信息技术能力。本文档中的所有资源都与 NOI 数学相关，涵盖了格雷码、奇偶校验码、二进制码、独热码、BCD 码等编码方式，以及...
Noi-macos-0.4.0-arm64.dmg
最新发布
06-17
Noi 整合了目前市面上主流 AI 网站，进行统一化管理。并针对这些网站开发了一些内置插件，来解决现实痛点： 在使用不同 AI 时（ChatGPT、Bard、Claude 等），如何统一管理，快速复用 Prompts 是一个难题。Noi 借助...
洛谷的梗 哈哈！！
LBZ的博客
10-18 281
洛谷梗
洛谷 P3825 [NOI2017]游戏 【2-SAT+状压】
weixin_30468137的博客
03-19 82
UOJ和洛谷上能A，bzoj 8ms即WA，现在也不是知道为啥……因为我太弱了 先看数据范围发现d非常小，自然想到了状压。 所以先假装都是只能跑两种车的，这显然就是个2-SAT问题了：对于x场没有hx的，直接跳过；对于y场没有hy的，连(x,x')，表示x不能选；对于都有的，连接(x,y)，表示选了x必须选y，(y',x')，表示不选y的话也不能选x。 注意！ 1 连(x,x')的时候不要直接ad...
洛谷P3825 [NOI2017]游戏（2-SAT）
weixin_34384915的博客
10-14 97
传送门 果然图论的题永远建图最麻烦……看着题解代码的建图过程真的很珂怕…… 先不考虑地图$x$，那么每一个地图都只能用两种赛车，于是我们可以用2-SAT来搞，用$i$表示这个地图能用的第一辆车，$i'$表示它能用的第二辆车 至于怎么连边呢，考虑限制条件$(i,h_i,j,h_j)$，如果$i$不能用$h_i$我们直接忽视这个限制条件，如果$j$不能用$h_j$说明无解，于是我们连边$(...
洛谷P4782 【模板】2-SAT 问题（强连通分量）
weixin_45714726的博客
12-26 155
原题 比如a为1或者b为1，那我们可以建两条确定边，就是!a -> b，!b -> a 。。然后就缩点，如果a和 !a 在同一个强连通分量中，那说明不可能。 如果答案存在呢，该怎么找布尔值呢。 ! 来自洛谷的截图。。当结论记住？。。 #define _CRT_SECURE_NO_WARNINGS #include<stdio.h> #include<iostream> #include<algorithm> #include<stack> #in
[2-SAT] [Noi2017]游戏
Rocket_Raccoon的博客
10-08 653
题目链接[http://www.lydsy.com/JudgeOnline/upload/Noi2017D2.pdf]看题面描述就知道是2-SAT 看到d只有8一般想法是枚举a不选b不选c不选 这样是3^d 实际上a不选和b不选已经包括了c不选 复杂度就是2^d 然后这题写起来有点恶心 我uoj只有97 只能意念AC一下了qwq#include<cstdio> #include<cstrin
【BZOJ4945】游戏（NOI2017）-2-SAT+枚举
Maxwei_wzj的OI世界
05-10 226
测试地址：游戏 做法：本题需要用到2-SAT+枚举。 看到大部分的地图都只能用两种赛车，赛车之间有一些依赖关系，这显然就是个2-SAT。而对于极少数的能用三种赛车的地图，我们枚举这些地图是不用A还是不用B，这样可以保证不漏掉方案，对每种情况做2-SAT即可，这样我们就解决了这一题，时间复杂度为O(2dn)O(2dn)O(2^dn)。 注意一个比较重要的处理是，建图时如果一条限制指向的点不能使...
2-SAT(心累时学习的算法)
weixin_30493321的博客
09-17 502
今年noi考了一道2-SAT裸题，害怕今年省选会出到，只能填坑 SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。 当k>2时，k-SAT是NP完全的。因此一般讨论的是k=2的情况，即2-SAT问题。 2-SAT，简单的说就是给出n个集合，每个集合有两个元素， 已知若干个 2-SAT问题 现有...
【NOI2017】游戏 2-sat算法
weixin_34249367的博客
03-19 80
【题目】LibreOJ 【题意】n场游戏，有三种车ABC，给定长度为n的字符串，'a'表示不能选A，'b''c'同理，'x'表示不限，至多d个'x'。有m个限制(i,hi,j,hj)表示如果第i场选择车hi，那么第j场必须选择车hj。求可行方案，或无解。n<=10^5，d<=8。 【算法】2-sat 【题解】枚举'x'是'a'或'b'（如果直接枚举选那辆车复杂度太高，不如利用2-...
Dynamic Rankings 洛谷2617 bzoj 1901
A_loud_name
03-15 273
题目 给定一个含有n个数的序列a[1],a[2],a[3]……a[n]，程序必须回答这样的询问：对于给定的i,j,k，在a[i],a[i+1],a[i+2]……a[j]中第k小的数是多少(1≤k≤j-i+1)，并且，你可以改变一些a[i]的值，改变后，程序还能针对改变后的a继续回答上面的问题。你需要编一个这样的程序，从输入文件中读入序列a，然后读入一系列的指令，包括询问指令和修改指令。 对于每...
信息学奥赛 省选及noi_pdf-2020.12.29.rar
09-10
信息学奥赛是一项重要的竞赛活动，旨在培养学生的计算机科学和信息技术能力。省选是指在全省范围内举办的预赛，参赛选手需要通过省选才能晋级到更高层次的比赛。在省选中发挥出色的选手将有机会代表本省参加全国信息学奥林匹克竞赛（NOI）。 而noi_pdf-2020.12.29.rar 是一个压缩文件的命名，其中包含了一份关于NOI的PDF文档。这个文件可能包含了有关NOI的相关资料，例如竞赛规则、题目类型、考试要求等等。通过研究这个文件，选手可以更好地准备信息学奥赛，提高竞赛成绩。 对于想要参加信息学奥赛的同学们来说，可以利用这份PDF文档来深入了解NOI的要求和考试内容。首先，可以仔细阅读竞赛规则，了解比赛的时间、地点、参赛资格等重要信息。其次，可以通过研究题目类型和考试要求，明确自己需要学习和复习的内容，制定合理的备考计划。此外，可以通过查阅往年的竞赛题目和解答，进行练习和模拟考试，提高解题能力和应变能力。 综上所述，信息学奥赛省选和noi_pdf-2020.12.29.rar对于想要参加信息学奥赛的同学们来说都有重要的意义。省选是选拔出优秀选手的一个重要阶段，而noi_pdf-2020.12.29.rar则提供了有关NOI的重要资料，帮助选手更好地准备竞赛。希望通过努力学习和准备，同学们可以在比赛中取得优异成绩，提升自己的计算机科学和信息技术能力。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值