码迷,mamicode.com
首页 > 其他好文 > 详细

[HNOI 2010]Planar

时间:2018-03-12 16:51:21      阅读:169      评论:0      收藏:0      [点我收藏+]

标签:bit   body   online   AC   cpp   clu   .com   main   getch   

Description

题库链接

给出 \(T\)\(N\) 个节点 \(M\) 条边的无向图(无重边自环),并给出它们各自的哈密顿回路。分别判断每个图是否是平面图。

\(T\leq 100,3\leq N\leq 200,M\leq 10000\)

Solution

考虑一个带哈密顿回路的无向图,如果它是一个平面图,即可以画在平面上使得没有 \(2\) 条边需要交叉,那么哈密顿圈之外的边要么画在圈内,要么画在圈外。

技术分享图片(绿色的环是哈密顿圈)

如果两条边 \(e,f\) ,把它们都画在圈的内侧会相交,那么都画在外侧也一定会相交。

也就是说,对于两条边,要么没有相互约束,要么有一条约束:它们不能在圈的同侧。

求出所有边和边的约束关系,用黑白染色法判断约束关系是否为二分图。

如果是二分图,则原图是平面图。否则原图不是平面图。

似乎 \(O(M^2)\) 暴力建边不可取,但注意到的是简单极大平面图的边数 \(M\) 和节点数 \(N\) 满足关系: \[M=3N-6\]

证明:
注意到平面图欧拉定理 \(n-m+r=2\)\(n\) 个节点, \(m\) 条边, \(r\) 个面。
显然对于极大平面图 \(3r=2m\) ,带入得 \(m=3n-6\)

显然当 \(m>3n-6\) 时,这个图一定不是平面图,特判掉就好了。显然这时 \(n\)\(m\) 同阶。复杂度得到了保障。

Code

//It is made by Awson on 2018.3.12
#include <bits/stdc++.h>
#define LL long long
#define dob complex<double>
#define Abs(a) ((a) < 0 ? (-(a)) : (a))
#define Max(a, b) ((a) > (b) ? (a) : (b))
#define Min(a, b) ((a) < (b) ? (a) : (b))
#define Swap(a, b) ((a) ^= (b), (b) ^= (a), (a) ^= (b))
#define writeln(x) (write(x), putchar('\n'))
#define lowbit(x) ((x)&(-(x)))
using namespace std;
const int N = 200, M = 10000;
void read(int &x) {
    char ch; bool flag = 0;
    for (ch = getchar(); !isdigit(ch) && ((flag |= (ch == '-')) || 1); ch = getchar());
    for (x = 0; isdigit(ch); x = (x<<1)+(x<<3)+ch-48, ch = getchar());
    x *= 1-2*flag;
}
void print(int x) {if (x > 9) print(x/10); putchar(x%10+48); }
void write(int x) {if (x < 0) putchar('-'); print(Abs(x)); }

int n, m, u[M+5], v[M+5], id[N+5], x;
struct tt {int to, next; }edge[(M<<5)+5];
int path[M+5], top, color[M+5];

bool dfs(int o, int col) {
    color[o] = col;
    for (int i = path[o]; i; i = edge[i].next) {
    if (color[edge[i].to] == col) return false;
    if (color[edge[i].to] == -1) if (!dfs(edge[i].to, col^1)) return false;
    }
    return true;
}
void add(int u, int v) {edge[++top].to = v, edge[top].next = path[u], path[u] = top; }
void work() {
    read(n), read(m); top = 0; memset(path, 0, sizeof(path));
    for (int i = 1; i <= m; i++) read(u[i]), read(v[i]);
    for (int i = 1; i <= n; i++) read(x), id[x] = i;
    if (m > 3*n-6) {puts("NO"); return; }
    for (int i = 1; i <= m; i++) {
    if (id[u[i]] > id[v[i]]) Swap(u[i], v[i]);
    for (int j = 1; j < i; j++)
        if ((id[u[i]] < id[u[j]] && id[v[i]] < id[v[j]] && id[u[j]] < id[v[i]]) || (id[u[j]] < id[u[i]] && id[v[j]] < id[v[i]] && id[u[i]] < id[v[j]]))
        add(i, j), add(j, i);
    }
    for (int i = 1; i <= m; i++) color[i] = -1;
    for (int i = 1; i <= m; i++)
    if (color[i] == -1) if (dfs(i, 0) == 0) {puts("NO"); return; }
    puts("YES");
}
int main() {
    int t; read(t); while (t--) work(); return 0;
}

[HNOI 2010]Planar

标签:bit   body   online   AC   cpp   clu   .com   main   getch   

原文地址:https://www.cnblogs.com/NaVi-Awson/p/8549372.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!