gzwzm06
C++博客
::
首页
::
新随笔
::
联系
::
聚合
::
管理
::
1 随笔 :: 52 文章 :: 17 评论 :: 0 Trackbacks
<
2024年11月
>
日
一
二
三
四
五
六
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
7
常用链接
我的随笔
我的评论
我参与的随笔
留言簿
(3)
给我留言
查看公开留言
查看私人留言
随笔档案
2009年5月 (1)
文章分类
DP(12)
(rss)
Hash应用(4)
(rss)
几何(1)
(rss)
模拟题(2)
(rss)
数据结构(12)
(rss)
数学(2)
(rss)
搜索(2)
(rss)
图论(7)
(rss)
与Tree相关的题(2)
(rss)
字符串处理(8)
(rss)
文章档案
2009年5月 (8)
2009年4月 (5)
2009年3月 (14)
2008年11月 (20)
2008年10月 (5)
搜索
最新评论
1. re: Pku 2774--Long Long Message(后缀树)
求教大牛,那个Lt属性是记录什么的
--dereky
2. re: POJ 2481(树状数组)
@gzwzm06
哦,实在是不好意思,确实是那个地方,现在过了,谢谢了啊。
--Klion
3. re: POJ 2481(树状数组)
你再检查下,cc[j].m_e == cc[j].m_e这个条件肯定是真的,没有意义吧
--gzwzm06
4. re: POJ 2481(树状数组)
@gzwzm06
两个相同一起比较也就是两个区间是一样的,起点和终点是相同的,和您的第80行比较的应该是一样的吧?
--Klion
5. re: POJ 2481(树状数组)
评论内容较长,点击标题查看
--gzwzm06
Pku 3678--Katu Puzzle
2-SAT 问题
关键:建图(建议先看赵爽的论文)
#include
<
stdio.h
>
#include
<
cstring
>
#include
<
stack
>
using
namespace
std ;
const
int
MAXN
=
2005
;
struct
Node
{
int
ID;
Node
*
next;
}
mapa[MAXN] ;
Node gTemp[
110001
] ;
int
gPos
=
0
;
int
N , M ;
//
点数 边数
int
g_Pred[MAXN], g_Num[MAXN], SN, flag[MAXN] ;
bool
visited[MAXN];
stack
<
int
>
g_Stack ;
void
Insert(
int
a,
int
b)
{
Node
*
p
=
&
gTemp[gPos
++
];
p
->
ID
=
b;
p
->
next
=
mapa[a].next;
mapa[a].next
=
p;
}
void
Build(
const
int
&
a ,
const
int
&
b,
const
int
&
c,
const
char
*
cmd )
{
if
( strcmp( cmd ,
"
AND
"
)
==
0
)
{
if
( c
==
1
)
{
Insert( a
+
N, a ) ;
Insert( b
+
N, b ) ;
}
else
{
Insert( a, b
+
N ) ;
Insert( b, a
+
N ) ;
}
}
else
if
( strcmp( cmd ,
"
OR
"
)
==
0
)
{
if
( c
==
1
)
{
Insert( a
+
N , b ) ;
Insert( b
+
N , a ) ;
}
else
{
Insert( a, a
+
N ) ;
Insert( b, b
+
N ) ;
}
}
else
if
( strcmp( cmd ,
"
XOR
"
)
==
0
)
{
if
( c
==
1
)
{
Insert( a
+
N , b ) ;
Insert( b
+
N , a ) ;
Insert( b , a
+
N ) ;
Insert( a , b
+
N ) ;
}
else
{
Insert( a
+
N , b
+
N ) ;
Insert( b
+
N , a
+
N ) ;
Insert( a , b ) ;
Insert( b , a ) ;
}
}
}
int
MIN(
const
int
&
a,
const
int
&
b )
{
return
( a
<
b
?
a : b ) ;
}
//
Tarjan算法 求SCC
void
StrongDFS(
int
v )
{
g_Pred[v]
=
g_Num[v]
=
SN
++
;
g_Stack.push( v ) ;
Node
*
ptr
=
mapa[v].next ;
visited[v]
=
true
;
while
( ptr )
{
if
( g_Num[ptr
->
ID]
==
0
)
{
StrongDFS( ptr
->
ID ) ;
g_Pred[v]
=
MIN( g_Pred[v], g_Pred[ptr
->
ID] ) ;
}
else
if
( g_Num[ptr
->
ID]
<
g_Num[v]
&&
!
visited[ptr
->
ID] )
{
g_Pred[v]
=
MIN( g_Pred[v], g_Num[ptr
->
ID] ) ;
}
ptr
=
ptr
->
next ;
}
if
( g_Pred[v]
==
g_Num[v] )
{
int
w
=
g_Stack.top() ;
g_Stack.pop() ;
while
( w
!=
v )
{
flag[w]
=
SN ;
w
=
g_Stack.top() ;
g_Stack.pop() ;
}
flag[w]
=
SN ;
}
}
void
StronglyCon()
{
int
i ;
memset(g_Num,
0
,
sizeof
(g_Num)) ;
memset(visited,
0
,
sizeof
(visited)) ;
memset(flag,
0
,
sizeof
(flag)) ;
SN
=
1
;
for
( i
=
0
; i
<
N
*
2
;
++
i )
{
if
( g_Num[i]
==
0
)
StrongDFS( i ) ;
}
}
void
Init()
{
gPos
=
0
;
int
i ;
for
( i
=
0
; i
<
MAXN ;
++
i )
{
mapa[i].next
=
NULL ;
}
while
(
!
g_Stack.empty() )
{
g_Stack.pop() ;
}
}
int
main()
{
int
i , first , second , third ;
char
cmd[
8
] ;
while
( scanf(
"
%d %d
"
,
&
N,
&
M)
!=
EOF )
{
Init() ;
for
( i
=
0
; i
<
M ;
++
i )
{
scanf(
"
%d %d %d %s
"
,
&
first,
&
second,
&
third,
&
cmd) ;
Build( first, second, third, cmd ) ;
}
StronglyCon() ;
bool
ans
=
true
;
for
( i
=
0
; i
<
N ;
++
i )
{
if
( flag[i]
==
flag[i
+
N] )
{
ans
=
false
;
break
;
}
}
if
( ans )
{
printf(
"
YES\n
"
) ;
}
else
{
printf(
"
NO\n
"
) ;
}
}
return
0
;
}
posted on 2008-10-30 23:26
巫
阅读(351)
评论(0)
编辑
收藏
引用
所属分类:
图论
只有注册用户
登录
后才能发表评论。
【推荐】100%开源!大型工业跨平台软件C++源码提供,建模,组态!
相关文章:
POJ 3662--Telephone Lines(二分枚举 + Dij)
POJ 3268(最短路径 SPFA)
POJ 1511(SPFA)
POJ 1511(Dij + Heap)
POJ 1094(简单的拓扑排序)
Pku 2226--Muddy Fields
Pku 3678--Katu Puzzle
网站导航:
博客园
IT新闻
BlogJava
知识库
博问
管理
Powered by:
C++博客
Copyright © 巫