uva 1086 - The Ministers' Major Mess(TwoSat)

csdn真是神坑,刚写的解题竟然被吞了,尼玛,害我重写。

本题的突破口在每个投票人都要有超过一半的建议被采纳。所以对于k<3的,每个建议都得采纳,k>=3的,只有一个建议不能采纳。

都得采纳的,我用了一个must数组记录,然后dfs找出所有开始就定下来的建议的值;只有一个不能采纳,即每两个建议间都至少有一个被采纳。

最后输出要判断“?”,我的方法是对每个建议检查是否无论它采不采纳都有解。开始忘了dfs找所有应该must的建议,2y

#include<cstdio>
#include<cstring>
#include<queue>
#include<vector>
#include<algorithm>
using namespace std;

const int maxn = 100 + 5;

struct TwoSAT {
  int n;
  vector<int> G[maxn*2];
  bool mark[maxn*2],must[maxn*2];
  int S[maxn*2], c;

  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 dfs2(int x){
        must[x] = true;
        for(int i = 0;i < G[x].size();i++)
            if(!must[G[x][i]]) dfs2(G[x][i]);
    }

  void init(int n) {
    this->n = n;
    for (int i = 0; i < n*2; i++) G[i].clear();
    memset(mark, 0, sizeof(mark));
    memset(must,0,sizeof(must));
  }

  void clear(){
     memset(mark,0,sizeof(mark));
     for(int i = 0;i < 2*n;i++) mark[i] = must[i];//每次都要重新对mark赋值
  }
  // x = xval or y = yval
  void add_clause(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]) return false;//对于开始就有对mark标记的,这句话是必须的
      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;
  }
};

TwoSAT solver;
int tag[maxn];

int main(){
    int n,m,kase=0;
    while(scanf("%d%d",&m,&n)){
        if(n == 0 && m == 0) break;
        solver.init(m);
        memset(tag,0,sizeof(tag));

        while(n--){
            int c,x[10],valx,valy;
            char s[10][10];
            scanf("%d",&c);
            for(int i = 0;i < c;i++) scanf("%d%s",&x[i],s[i]);
            if(c >= 3){
                for(int i = 0;i < c;i++)
                for(int j = i+1;j < c;j++){
                    valx = s[i][0]=='y'?1:0;
                    valy = s[j][0]=='y'?1:0;
                    solver.add_clause(x[i]-1,valx,x[j]-1,valy);
                }
            }
            else{
                for(int i = 0;i < c;i++){
                    valx = s[i][0]=='y'?1:0;
                    solver.must[2*(x[i]-1)+valx] = 1;
                }
            }
        }

        for(int i = 0;i < 2*m;i++)
            if(solver.must[i]) solver.dfs2(i);

        for(int i = 0;i < m;i++){
            if(solver.must[2*i] || solver.must[2*i+1]) continue;
            solver.clear();
            solver.mark[2*i] = true;
            bool tag1 = solver.solve();
            solver.clear();
            solver.mark[2*i+1] = true;
            bool tag2 = solver.solve();
            if(tag1 && tag2) tag[i] = 1;
        }

        solver.clear();
        printf("Case %d: ",++kase);
        if(!solver.solve()) printf("impossible\n");
        else{
            for(int i = 0;i < m;i++){
                if(tag[i]) printf("?");
                else if(solver.mark[2*i]) printf("n");
                else printf("y");
            }
            printf("\n");
        }
    }
    return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
智慧校园整体解决方案是响应国家教育信息化政策,结合教育改革和技术创新的产物。该方案以物联网、大数据、人工智能和移动互联技术为基础,旨在打造一个安全、高效、互动且环保的教育环境。方案强调从数字化校园向智慧校园的转变,通过自动数据采集、智能分析和按需服务,实现校园业务的智能化管理。 方案的总体设计原则包括应用至上、分层设计和互联互通,确保系统能够满足不同用户角色的需求,并实现数据和资源的整合与共享。框架设计涵盖了校园安全、管理、教学、环境等多个方面,构建了一个全面的校园应用生态系统。这包括智慧安全系统、校园身份识别、智能排课及选课系统、智慧学习系统、精品录播教室方案等,以支持个性化学习和教学评估。 建设内容突出了智慧安全和智慧管理的重要性。智慧安全管理通过分布式录播系统和紧急预案一键启动功能,增强校园安全预警和事件响应能力。智慧管理系统则利用物联网技术,实现人员和设备的智能管理,提高校园运营效率。 智慧教学部分,方案提供了智慧学习系统和精品录播教室方案,支持专业级学习硬件和智能化网络管理,促进个性化学习和教学资源的高效利用。同时,教学质量评估中心和资源应用平台的建设,旨在提升教学评估的科学性和教育资源的共享性。 智慧环境建设则侧重于基于物联网的设备管理,通过智慧教室管理系统实现教室环境的智能控制和能效管理,打造绿色、节能的校园环境。电子班牌和校园信息发布系统的建设,将作为智慧校园的核心和入口,提供教务、一卡通、图书馆等系统的集成信息。 总体而言,智慧校园整体解决方案通过集成先进技术,不仅提升了校园的信息化水平,而且优化了教学和管理流程,为学生、教师和家长提供了更加便捷、个性化的教育体验。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值