Submission #1655619


Source Code Expand

#include <bits/stdc++.h>
#define xx first
#define yy second
#define mp make_pair
#define pb push_back
#define mset(x, y) memset(x, y, sizeof x)
#define mcpy(x, y) memcpy(x, y, sizeof x)
using namespace std;

typedef long long LL;
typedef pair <int, int> pii;

inline int Read()
{
	int x = 0, f = 1, c = getchar();
	for (; !isdigit(c); c = getchar())
		if (c == '-')
			f = -1;
	for (;  isdigit(c); c = getchar())
		x = x * 10 + c - '0';
	return x * f;
}

const int MAXN = 200005;

struct SAT
{
	int n, cnt, tim, top, sta[MAXN], dfn[MAXN], low[MAXN], scc[MAXN];
	vector <int> adj[MAXN];

	inline void Init(int m)
	{
		n = m, tim = cnt = 0;
		for (int i = 1; i <= n << 1; i ++)
			dfn[i] = scc[i] = 0, adj[i].clear();
	}

	inline void Addedge(int x, int y)
	{
		adj[x].pb(y), adj[y > n ? y - n : y + n].pb(x > n ? x - n : x + n);
	}

	inline void Dfs(int x)
	{
		int k = 0;
		dfn[sta[++ top] = x] = low[x] = ++ tim;
		for (auto y : adj[x])
			if (!dfn[y])
				Dfs(y), low[x] = min(low[x], low[y]);
			else if (!scc[y])
				low[x] = min(low[x], dfn[y]);
		if (dfn[x] == low[x])
			for (cnt ++; k ^ x; scc[k = sta[top --]] = cnt);
	}

	inline bool Solve()
	{
		for (int i = 1; i <= n << 1; i ++)
			if (!dfn[i])
				Dfs(i);
		for (int i = 1; i <= n; i ++)
			if (scc[i] == scc[i + n])
				return false;
		return true;
	}
} sat;

int n, m, x[MAXN], p[MAXN], idx[MAXN];

inline void Build(int x, int l, int r)
{
	idx[x] = ++ m;
	if (l == r)
		return ;
	int mid = l + r >> 1;
	Build(x << 1, l, mid), Build(x << 1 | 1, mid + 1, r);
}

inline void Addedge(int x, int l, int r)
{
	if (l == r)
		return sat.Addedge(idx[x], p[l] + m);
	int mid = l + r >> 1;
	Addedge(x << 1, l, mid), Addedge(x << 1 | 1, mid + 1, r);
	sat.Addedge(idx[x], idx[x << 1]), sat.Addedge(idx[x], idx[x << 1 | 1]);
}

inline void Addedge(int x, int l, int r, int ql, int qr, int p)
{
	if (l == ql && r == qr)
		return sat.Addedge(p, idx[x]);
	int mid = l + r >> 1;
	if (qr <= mid)
		return Addedge(x << 1, l, mid, ql, qr, p);
	if (ql > mid)
		return Addedge(x << 1 | 1, mid + 1, r, ql, qr, p);
	return Addedge(x << 1, l, mid, ql, mid, p), Addedge(x << 1 | 1, mid + 1, r, mid + 1, qr, p);
}

inline bool Chk(int lim)
{
	sat.Init(m);
	Addedge(1, 1, n << 1);
	for (int i = 1; i <= n << 1; i += 2)
		sat.Addedge(i, i + 1 + m), sat.Addedge(i + m + 1, i);
	for (int i = 1, j = 1; i <= n << 1; i ++)
	{
		for (; j <= n << 1 && x[p[j]] - x[p[i]] < lim; j ++);
		if (i + 1 < j)
			Addedge(1, 1, n << 1, i + 1, j - 1, p[i]);
	}
	return sat.Solve();
}

int main()
{
#ifdef wxh010910
	freopen("data.in", "r", stdin);
#endif
	n = Read();
	for (int i = 1; i <= n << 1; i ++)
		x[++ m] = Read(), p[m] = m;
	sort(p + 1, p + m + 1, [&](int a, int b) { return x[a] < x[b]; });
	Build(1, 1, m);
	int l = 1, r = 1e9, ret = 0;
	while (l <= r)
	{
		int mid = l + r >> 1;
		if (Chk(mid))
			ret = mid, l = mid + 1;
		else
			r = mid - 1;
	}
	return printf("%d\n", ret), 0;
}

Submission Info

Submission Time
Task F - Flags
User wxh010910
Language C++14 (GCC 5.4.1)
Score 1200
Code Size 3050 Byte
Status AC
Exec Time 519 ms
Memory 21376 KB

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 1200 / 1200
Status
AC × 3
AC × 30
Set Name Test Cases
Sample 00_example_01.txt, 00_example_02.txt, 00_example_03.txt
All 00_example_01.txt, 00_example_02.txt, 00_example_03.txt, 01.txt, 02.txt, 03.txt, 04.txt, 05.txt, 06.txt, 07.txt, 08.txt, 09.txt, 10.txt, 11.txt, 12.txt, 13.txt, 14.txt, 15.txt, 16.txt, 17.txt, 18.txt, 19.txt, 20.txt, 21.txt, 22.txt, 23.txt, 24.txt, 25.txt, 26.txt, 27.txt
Case Name Status Exec Time Memory
00_example_01.txt AC 4 ms 8448 KB
00_example_02.txt AC 4 ms 8448 KB
00_example_03.txt AC 4 ms 8448 KB
01.txt AC 14 ms 8832 KB
02.txt AC 7 ms 8576 KB
03.txt AC 5 ms 8448 KB
04.txt AC 5 ms 8448 KB
05.txt AC 5 ms 8448 KB
06.txt AC 358 ms 20864 KB
07.txt AC 365 ms 20864 KB
08.txt AC 377 ms 21120 KB
09.txt AC 13 ms 8832 KB
10.txt AC 7 ms 8576 KB
11.txt AC 5 ms 8448 KB
12.txt AC 5 ms 8448 KB
13.txt AC 5 ms 8448 KB
14.txt AC 322 ms 18432 KB
15.txt AC 324 ms 18432 KB
16.txt AC 323 ms 18432 KB
17.txt AC 14 ms 8832 KB
18.txt AC 7 ms 8576 KB
19.txt AC 385 ms 20864 KB
20.txt AC 361 ms 20736 KB
21.txt AC 469 ms 21376 KB
22.txt AC 467 ms 21376 KB
23.txt AC 519 ms 20864 KB
24.txt AC 371 ms 20096 KB
25.txt AC 410 ms 19968 KB
26.txt AC 355 ms 20352 KB
27.txt AC 4 ms 8448 KB