hdu1824-Let's go home：图论2-SAT

 

关键在于找出一定矛盾的条件，设一队的3个人为(a,b,c),a为队长，那么（a不留下，b不留下）矛盾，（a不留下，c不留下）矛盾; 对于每一对队员，（a留下，b留下）矛盾。

把模型建好，剩下的就是套模板了。

---

 

 1 #include<cstdio>

 2 #include<vector>

 3 #include<cstring>

 4 using namespace std;

 5 

 6 const int maxn = 3000+10;

 7 

 8 struct TwoSAT

 9 {

10     int n;

11     vector<int> G[maxn*2];

12     bool mark[maxn*2];

13     int S[maxn*2], c;

14 

15     bool dfs(int x)

16     {

17         if (mark[x^1]) return false;

18         if (mark[x]) return true;

19         mark[x] = true;

20         S[c++] = x;

21         for (int i = 0; i < G[x].size(); i++)

22             if (!dfs(G[x][i])) return false;

23         return true;

24     }

25 

26     void init(int n)

27     {

28         this->n = n;

29         for (int i = 0; i < n*2; i++) G[i].clear();

30         memset(mark, 0, sizeof(mark));

31     }

32 

33     // x = xval or y = yval

34     void add_clause(int x, int xval, int y, int yval)

35     {

36         x = x * 2 + xval;

37         y = y * 2 + yval;

38         G[x^1].push_back(y);

39         G[y^1].push_back(x);

40     }

41 

42     bool solve()

43     {

44         for(int i = 0; i < n*2; i += 2)

45             if(!mark[i] && !mark[i+1])

46             {

47                 c = 0;

48                 if(!dfs(i))

49                 {

50                     while(c > 0) mark[S[--c]] = false;

51                     if(!dfs(i+1)) return false;

52                 }

53             }

54         return true;

55     }

56 };

57 

58 

59 ///////////////////////////////////////////////////////////////

60 #include <iostream>

61 #include <cmath>

62 using namespace std;

63 TwoSAT solver;

64 

65 int main()

66 {

67     int t,m;

68     while(~scanf("%d%d",&t,&m))

69     {

70         solver.init(t*3);

71         for(int i=0;i<t;i++)

72         {

73             int a,b,c;

74             scanf("%d%d%d",&a,&b,&c);

75             solver.add_clause(a,0,b,0); // 0表示不留下，1表示留下

76             solver.add_clause(a,0,c,0);

77             //solver.add_clause(b,1,c,0);

78             //solver.add_clause(c,1,b,0);

79         }

80 

81         for(int i=0;i<m;i++)

82         {

83             int a,b;

84             scanf("%d %d",&a,&b);

85             solver.add_clause(a,1,b,1);

86         }

87         printf("%s\n",solver.solve()?"yes":"no");

88     }

89     return 0;

90 }