題目鏈接：http://poj.org/problem?id=3207

思路分析：該問題給出N個點，并給出M條連接這些點的線，需要判斷是否這些線不會相交；

（1）假設兩條線A的端點按照圓圈的順時針方向依次為A0,A1，同理線B為B0, B1，則可以知道當 A0 < B0 < A1 < B1 或者 B0 < A0 < B1 < A1時線A與B如果同時在內側或者外側，則線A與B必定相交；

（2）將M條線視為圖中的M個布爾變量，每條線或者在內側或者在外側，如果線段A與B在同一側并定相交，則可以得到等價式：線A在內側—>線B在外側，線A在外側—>線B在內側，線B在內側—>線A在外側，線B在外側—>線A在內側；

?

代碼如下：

#include <cstdio> #include <vector> #include <cstring> #include <iostream> using namespace std;const int MAX_N = 5000 + 10; int e[MAX_N][MAX_N];struct TwoSAT {int n;vector<int> G[2 * MAX_N];bool mark[2 * MAX_N];int S[2 * MAX_N], c;void Init(int n){this->n = n;for (int i = 0; i <= 2 * n; ++i)G[i].clear();memset(mark, 0, sizeof(mark));}void AddClause(int x, int y){int a = 2 * x;int b = 2 * y;G[a].push_back(b ^ 1);G[a ^ 1].push_back(b);G[b].push_back(a ^ 1);G[b ^ 1].push_back(a);}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;}bool Solve(){for (int i = 0; i < 2 * n; i += 2){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;} };inline bool Judge(int x, int y) {if ((e[x][0] < e[y][0]) && (e[y][0] < e[x][1])&& (e[x][1] < e[y][1]))return true;if ((e[y][0] < e[x][0]) && (e[x][0] < e[y][1])&& (e[y][1] < e[x][1]))return true;return false; }inline void Swap(int &a, int &b) {int temp = a;a = b;b = temp; }TwoSAT sat;int main() {int n, m;while (scanf("%d %d", &n, &m) != EOF){memset(e, 0, sizeof(e));sat.Init(m);for (int i = 0; i < m; ++i){scanf("%d %d", &e[i][0], &e[i][1]);if (e[i][0] > e[i][1])Swap(e[i][0], e[i][1]);}for (int i = 0; i < m; ++i){for (int j = i + 1; j < m; ++j){if (Judge(i, j))sat.AddClause(i, j);}}bool ok = sat.Solve();if (ok)printf("panda is telling the truth...\n");elseprintf("the evil panda is lying again\n");}return 0; }

轉載于:https://www.cnblogs.com/tallisHe/p/4681880.html

總結

以上是生活随笔為你收集整理的poj 3207 Ikki's Story IV - Panda's Trick(2-SAT)的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。