「SuperOJ 1979」「模拟测试」拆墙-最小生成树+平面图转对偶图

地主的傻儿子豆豆家很大很大,由很多个区域组成。其中有不少封闭的区域,豆豆觉得很不爽于是决定拆墙,把家打通使得他可以访问到每一个区域(包括家外面无限大的区域)。我们用 $N$ 个端点和 $M$ 条边来描述豆豆的家。第 $i$ 个端点的坐标为($x_i, y_i$),第 $i$ 条边连接端点 $A_i$ 和 $B_i$,拆除所需要花费的力气为 $C_i$ 。保证所有边只在端点相交,也就是这是一个平面图,也没有重边和自环。

现在豆豆想知道他最少一共需要花费多少力气?

题解

这个题其实可以直接做一遍最大生成树就可以了,然而我测试时并没有看出来。

我们考虑把这个平面图转对偶图,最开始我写了 Delaunay 三角剖分来确定点的位置,后来参考了一下 miskcoo 的 WC2013 平面图,发现并不需要这么复杂

具体流程就是

  1. 把所有的边改成双向边
  2. 对每个点的出边按照极角排序
  3. 找一条没有标记过的边 $(u, v)$
  • 将当前边 $(u, v)$ 标记
  • 找到 $v$ 的出边中极角序在 $(v, u)$ 前的最后一条边,设为下一条的当前边
  • 重复这个过程,直到找到一条已经被标记过的当前边,这时候就找到了一个区域
  1. 不断重复 $3$,直到所有边都被标记过

我们把逆时针方向围成一个区域的边认为是属于这个区域的,这样一条边就只会属于唯一一个区域

注意到有一个十分特别的区域,它是无界的,在 $3$ 过程中,我们计算出这个区域的有向面积,如果是正的,那就说明是有界域,否则就是无界域

这样我们就可以较为简单的求出其对偶图,然后此题就可以直接求最小生成树解决了,注意的是此题求最小生成树时要包含无界区域,对于拆墙的个数也可以在做最小生成树的时候记录一下。

时间复杂度 $O(T(n + m) \log m)$

代码

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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
/**
* Copyright (c) 2017, xehoth
* All rights reserved.
* 「SuperOJ 1979」拆墙 13-09-2017
* 平面图转对偶图 + 最小生成树
* @author xehoth
*/
#include <bits/stdc++.h>

namespace IO {

inline char read() {
static const int IN_LEN = 1000000;
static char buf[IN_LEN], *s, *t;
s == t ? t = (s = buf) + fread(buf, 1, IN_LEN, stdin) : 0;
return s == t ? -1 : *s++;
}

template <typename T>
inline bool read(T &x) {
static char c;
static bool iosig;
for (c = read(), iosig = false; !isdigit(c); c = read()) {
if (c == -1) return false;
c == '-' ? iosig = true : 0;
}
for (x = 0; isdigit(c); c = read()) x = x * 10 + (c ^ '0');
iosig ? x = -x : 0;
return true;
}

inline void read(char &c) {
while (c = read(), isspace(c) && c != -1)
;
}

inline int read(char *buf) {
register int s = 0;
register char c;
while (c = read(), isspace(c) && c != -1)
;
if (c == -1) {
*buf = 0;
return -1;
}
do
buf[s++] = c;
while (c = read(), !isspace(c) && c != -1);
buf[s] = 0;
return s;
}

const int OUT_LEN = 1000000;

char obuf[OUT_LEN], *oh = obuf;

inline void print(char c) {
oh == obuf + OUT_LEN ? (fwrite(obuf, 1, OUT_LEN, stdout), oh = obuf) : 0;
*oh++ = c;
}

template <typename T>
inline void print(T x) {
static int buf[30], cnt;
if (x == 0) {
print('0');
} else {
x < 0 ? (print('-'), x = -x) : 0;
for (cnt = 0; x; x /= 10) buf[++cnt] = x % 10 | 48;
while (cnt) print((char)buf[cnt--]);
}
}

inline void print(const char *s) {
for (; *s; s++) print(*s);
}

inline void flush() { fwrite(obuf, 1, oh - obuf, stdout); }

struct InputOutputStream {
template <typename T>
inline InputOutputStream &operator>>(T &x) {
read(x);
return *this;
}

template <typename T>
inline InputOutputStream &operator<<(const T &x) {
print(x);
return *this;
}

~InputOutputStream() { flush(); }
} io;
}

namespace DataAccess {

typedef long double ld;

const int MAXN = 200000 + 10;
const int MAXM = 400000 + 10;

const ld PI = acos((ld)-1);
const ld PI2 = 2 * PI;

int n, m;
}

namespace PlanarGraph {

using namespace DataAccess;
typedef long double ld;

using IO::io;

struct Point {
ld x, y;

Point(ld x = 0, ld y = 0) : x(x), y(y) {}

inline Point operator-(const Point &p) const {
return Point(x - p.x, y - p.y);
}

inline ld operator*(const Point &p) const {
return (ld)x * p.y - (ld)y * p.x;
}
} p[MAXN + 1];

struct Edge {
int u, v, w;
ld angle;

Edge(int u = 0, int v = 0, int w = 0) : u(u), v(v), w(w) {
angle = atan2((ld)(p[v].y - p[u].y), (ld)(p[v].x - p[u].x));
if (angle < 0) angle += PI2;
}
} edge[MAXM + 1];

bool vis[MAXM + 1];
int regionCnt, infArea, rank[MAXM + 1], near[MAXM + 1];

std::vector<int> et[MAXN + 1];

void findRegion(int x, int id) {
if (vis[id]) return;
register ld area = 0;
while (!vis[id]) {
area += p[x] * p[edge[id].v];
vis[id] = true, near[id] = regionCnt, x = edge[id].v;
if (!rank[id ^ 1])
id = et[x].back();
else
id = et[x][rank[id ^ 1] - 1];
}
if (area < 0) infArea = regionCnt;
regionCnt++;
}

inline void init() {
memset(vis, 0, sizeof(vis));
memset(rank, 0, sizeof(rank));
memset(near, 0, sizeof(near));
for (register int i = 0; i < MAXN; i++) et[i].clear();
regionCnt = 0, infArea = 0;
memset(p, 0, sizeof(p));
memset(edge, 0, sizeof(edge));
for (register int i = 1; i <= n; i++) io >> p[i].x >> p[i].y;
for (register int i = 0, u, v, w; i < m; i++) {
io >> u >> v >> w;
edge[i << 1] = Edge(u, v, w), edge[i << 1 | 1] = Edge(v, u, w);
}
}

inline void findDualGraph() {
static std::pair<ld, int> tmp[MAXM + 1];
memset(tmp, 0, sizeof(tmp));
for (register int i = 0; i != m << 1; i++)
tmp[i] = std::make_pair(edge[i].angle, i);
std::sort(tmp, tmp + (m << 1));
for (register int i = 0, id; i != m << 1; i++) {
id = tmp[i].second;
const Edge &e = edge[id];
rank[id] = et[e.u].size(), et[e.u].push_back(id);
}
for (register int i = 1; i <= n; i++)
for (register int j = 0; j != et[i].size(); j++)
findRegion(i, et[i][j]);
}
}

namespace {

using namespace DataAccess;

using IO::io;

struct Edge {
int u, v, w;

Edge(int u = 0, int v = 0, int w = 0) : u(u), v(v), w(w) {}

inline bool operator<(const Edge &p) const { return w < p.w; }
} edge[MAXM + 1];

inline void transPlanarGraphToDualGraph() {
PlanarGraph::init();
PlanarGraph::findDualGraph();
memset(edge, 0, sizeof(edge));
for (register int i = 0, a; i != m; i++) {
a = i << 1;
edge[i].u = PlanarGraph::near[a];
edge[i].v = PlanarGraph::near[a ^ 1];
edge[i].w = PlanarGraph::edge[a].w;
}
}

int fa[MAXN + 1];

int get(int u) { return u == fa[u] ? u : fa[u] = get(fa[u]); }

inline void kruskal() {
transPlanarGraphToDualGraph();
for (register int i = 0; i < MAXN; i++) fa[i] = i;
std::sort(edge, edge + m);
register int ans1 = 0, ans2 = 0;
for (register int i = 0, u, v; i != m; i++) {
u = edge[i].u, v = edge[i].v;
// if (u == PlanarGraph::infArea || v == PlanarGraph::infArea) continue;
u = get(u), v = get(v);
if (u != v) {
fa[u] = v;
ans2 += edge[i].w, ans1++;
}
}
io << ans1 << ' ' << ans2 << '\n';
}

inline void solve() {
register int T;
io >> T;
while (T--) {
io >> n >> m;
kruskal();
}
}
}

int main() {
freopen("wall.in", "r", stdin);
freopen("wall.out", "w", stdout);
solve();
return 0;
}

Comments

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×