转载地址:http://blog.csdn.net/qq172108805/article/details/7603351
/*
2-sat问题,题意:有对情侣结婚,请来n-1对夫妇,算上他们自己共n对,编号为0~~n-1,他们自己编号为0
所有人坐在桌子两旁,新娘不想看到对面的人有夫妻关系或偷奸关系,若有解,输出一组解,无解输出bad luck
思路:
1.根据偷奸关系建图(1h和2h有偷奸关系,建边1h->2w 2h->1w)
2.求强连通分量
3.判断有无解(任一对夫妇不在同一强连通分量中,有解;否则无解)
4.缩点建图(建反向图)
5.拓扑排序
6.由底向上求解(由于上面建的是反向图,所以自顶(无入度)向下)
至此,选出来的是做新娘对面的,要求输出,坐在新娘一边的
*/
#include<stdio.h>
#include<string.h>
#include<queue>
#include<stack>
using namespace std;
struct edge
{
int yong;
int v[1000000];
int next[1000000];
int head[1000000];
edge()
{
clear();
}
void clear()
{
yong=1;
memset(head,0,sizeof(head));
}
void add(int u,int w)
{
v[yong]=w;
next[yong]=head[u];
head[u]=yong;
yong++;
}
}e1,e2;
int dfn[1000],low[1000];
int n,m,index,scc;
queue<int>q;
stack<int>ss;
int ins[1000],belong[1000],dui[1000],ind[1000],fang[1000];
void tarjan(int u)//tarjan求强连通分量
{
int i,v;
dfn[u]=low[u]=index++;
ins[u]=1;
ss.push(u);//之前误写成队列
for(i=e1.head[u];i;i=e1.next[i])
{
v=e1.v[i];
if(dfn[v]==0)
{
tarjan(v);
if(low[v]<low[u])
low[u]=low[v];
}else if(ins[v]&&dfn[v]<low[u])
low[u]=dfn[v];
}
if(low[u]==dfn[u])
{
do{
v=ss.top();
ss.pop();
ins[v]=0;
belong[v]=scc;//标记所属强连通分量的标号
}while(v!=u);
scc++;
}
}
void topsort()//拓扑排序 和 求解
{
int v,u;
while(!q.empty())
q.pop();
int i;
for(i=0;i<scc;i++)
{
if(ind[i]==0)//0入度的节点入队
q.push(i);
} while(!q.empty())
{
v=q.front();
q.pop();
if(!fang[v])//0入度的节点涂色
{//fang[i]表示标号为i的强连通分量被选择 或 删除
fang[v]=1;//表示选择
fang[dui[v]]=2;//表示删除
} for(i=e2.head[v];i;i=e2.next[i])
{
u=e2.v[i];
if(--ind[u]==0)//减入度,0入度的入队
{
q.push(u);
}
}
}
} int main()
{
int i,j,a,b,v;
char c1,c2;
while(scanf("%d%d",&n,&m),m+n)
{//初始化
e1.clear();
e2.clear();
//建原图
for(i=1;i<=m;i++)
{
scanf("%d%c %d%c",&a,&c1,&b,&c2);
e1.add(c1=='h'?a*2+1:a*2,c2=='h'?b*2:b*2+1);
e1.add(c2=='h'?b*2+1:b*2,c1=='h'?a*2:a*2+1);//这里处理要仔细
}
e1.add(0,1);//新郎必选
//求强连通分量
index=1;//dfn[]标记
scc=0;//强连通分量个数,从0开始计数
memset(dfn,0,sizeof(dfn));
memset(ins,0,sizeof(ins));
for(i=0;i<2*n;i++)
{
if(!dfn[i])
tarjan(i);
}
//判断有无解
for(i=0;i<n;i++)
{//belong[i]表示i所属的强连通分量的标号
if(belong[2*i]==belong[2*i+1])//若有夫妇在同一强连通分量中,无解
break;
dui[belong[2*i+1]]=belong[2*i];//记录配偶所属的强连通分量的标号,求解的时候有用
dui[belong[2*i]]=belong[2*i+1];
}
if(i!=n)
{
printf("bad luck\n");
continue;
}
//构建反向缩点图
memset(ind,0,sizeof(ind));
for(i=0;i<2*n;i++)
{
for(j=e1.head[i];j;j=e1.next[j])
{
v=e1.v[j];
if(belong[i]!=belong[v])
{
e2.add(belong[v],belong[i]);//注意,这里的顺序
ind[belong[i]]++;//统计入度
}
}
}
//拓扑排序 和 求解 同时进行了
memset(fang,0,sizeof(fang));
topsort();
//输出解
for(i=1;i<n;i++)
{
if(fang[belong[2*i]]==1)
printf("%dh ",i);
else printf("%dw ",i);
}
printf("\n");
}
return 0;
}

poj 3648 2-sat 输出任意一组解模板的更多相关文章

  1. HDU 1507 Uncle Tom's Inherited Land*(二分匹配,输出任意一组解)

    Uncle Tom's Inherited Land* Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (J ...

  2. poj 3683 2-sat问题,输出任意一组可行解

    /* 2sat问题 输出任意一组可行解 */ #include<stdio.h> #include<string.h> #include<stdlib.h> #in ...

  3. 洛谷 P4174 [NOI2006]最大获利 && 洛谷 P2762 太空飞行计划问题 (最大权闭合子图 && 最小割输出任意一组方案)

    https://www.luogu.org/problemnew/show/P4174 最大权闭合子图的模板 每个通讯站建一个点,点权为-Pi:每个用户建一个点,点权为Ci,分别向Ai和Bi对应的点连 ...

  4. Wedding (poj 3648 2-SAT 输出随意一组解)

    Language: Default Wedding Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 9004   Accept ...

  5. 2-sat 输出任意一组可行解&拓扑排序+缩点 poj3683

    Priest John's Busiest Day Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 8170   Accept ...

  6. POJ - 3648 Wedding (2-SAT 输出解决方案)

    题意:有N-1对夫妇和1对新郎新娘要出席婚礼,这N对人要坐在走廊两侧.要求每对夫妇要坐在不同侧.有M对人有通奸关系,对于这一对人,不能同时坐在新娘对面(新娘新郎也可能和别人有通奸关系).求如何避免冲突 ...

  7. SAM I AM UVA - 11419(最小顶点覆盖+输出一组解)

    就是棋盘问题输出一组解 https://blog.csdn.net/llx523113241/article/details/47759745 http://www.matrix67.com/blog ...

  8. POJ 3648 Wedding(2-SAT的模型运用+DFS | Tarjan)

    Wedding Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 10427   Accepted: 3170   Specia ...

  9. POJ 3648 Wedding (2-SAT,经典)

    题意:新郎和新娘结婚,来了n-1对夫妻,这些夫妻包括新郎之间有通奸关系(包括男女,男男,女女),我们的目地是为了满足新娘,新娘对面不能坐着一对夫妻,也不能坐着有任何通奸关系的人,另外新郎一定要坐新娘对 ...

随机推荐

  1. 数据流和ByteArray

    问题:如何把一个long类型的数写进一个文件里 所以现在有DataInputStream和DataOutputStream 这两个是节点流 例子代码: import java.io.*; public ...

  2. 【LeetCode 33】Search in Rotated Sorted Array

    Search in Rotated Sorted Array 分段有序的数组,二分查找返回下标,没有返回-1 数组有序之后经过 rotated, 比如:6 1 2 3 4 5  or 5 6 7 8 ...

  3. jQuery幸运大转盘_jQuery+PHP抽奖程序

    http://www.thinkphp.cn/code/1153.html 网上转盘抽奖程序大多是flash完成的,而本文使用jQuery和PHP来实现转盘抽奖程序. 若是想看更多js特效.网站源码. ...

  4. if判断的时候明明是null却不走null的函数体?

    String phoneStr = String.valueOf(parmMap.get(phone.trim())); if(StringUtils.isBlank(phoneStr) || &qu ...

  5. Java数组的交集、并集

    // 求两个数组的交集 public static int[] SameOfTwoArrays(int[] arr1, int[] arr2) { // 新建一个空数组,用于存储交集,空数组长度应该为 ...

  6. java 对sql格式化

    public class SqlFormat{ public static void main(String[] args){ String sql=""; sqlFormat(s ...

  7. js基础盲点

    var myarray= new Array(8); //创建数组,存储8个数据. 注意:1.创建的新数组是空数组,没有值,如输出,则显示undefined.2.虽然创建数组时,指定了长度,但实际上数 ...

  8. Winform之GDI绘制验证码

    主要功能:点击验证码可更换,输入验证码进行登陆 需要导入命名空间System.Drawing; 产生五位的随机字符串: 1 Random random = new Random(); //产生5个随机 ...

  9. MySQL性能优化之max_connections配置

    MySQL的最大连接数,增加该值增加mysqld 要求的文件描述符的数量.如果服务器的并发连接请求量比较大,建议调高此值,以增加并行连接数量,当然这建立在机器能支撑的情况下,因为如果连接数越多,介于M ...

  10. SQL GROUP BY 和 ORDER BY 区别

    order by 是按表中某字段排列表中数据group by 是按某些字段分类. 例如按 1.按年龄排序表中的记录select * from users order by age 2.按年龄分类表中数 ...