LOJ #2985. 「WC2019」I 君的商店

傳送門 搬題解QwQ 首先最大值必定爲 $1$，直接掃一遍兩兩比較 $O(2N)$ 求出最大值 設最大值位置爲 $a$，對於任意兩個沒有肯定的位置 $x,y$ 詢問 $[a,x+y]$，若是 $a\le x+y$ 那麼 $x,y$ 的最大值爲 $1$，不然 $x,y$ 最小值爲 $0$ 再詢問 $[x,y]$ 便可 複雜度 $O(7N)$ 考慮 $Task3$，首先花費 $2$ 的代價找到端點的 $1$ 假設序列爲 $00000....11111$，只須要找到最靠前的位置 $x$，使得 $x+(x+1)\ge 1$，二分便可 而後 $\ge x+1$ 的位置都是 $1$，$< x$ 的位置都是 $0$，利用奇偶性判斷 $x$ 是否爲 $1$ 再考慮 $Task6$，猜測複雜度爲 $5N+3logN$ 左右 任取三個沒有肯定的位置 $x,y,a$，詢問 $[x+y,a]$，再花費 $2$ 的代價肯定 $x\le y$ 或者 $y\ge x$ 假設 $x\le y$ 若是 $x+y\le a$，那麼 $x=0$ 不然 $y\ge a$，把 $y$ 當成新的 $a$ 繼續作 最後能夠獲得一個不肯定的位置 $z$ 和一條遞增的鏈 $x_1...x_k$，其它的都是 $0$ $max(z,x_k)$ 必定爲 $1$，那麼能夠直接用 $Task3$ 的方法二分 最後利用常數的代價 $+$ 奇偶性求出 $z$ 和二分中不肯定的位置

# include "shop.h"
# include <bits/stdc++.h>
using namespace std;
typedef long long ll;

const int maxn(1e5 + 5);

int tmp1[2], tmp2[2], que[maxn], cnt, st[maxn], tp;

inline int Query1(int x, int y) {
	tmp1[0] = x, tmp2[0] = y;
	return query(tmp1, 1, tmp2, 1);
}

inline int Query2(int x, int y, int z) {
	tmp1[0] = x, tmp1[1] = y, tmp2[0] = z;
	return query(tmp1, 2, tmp2, 1);
}

inline int Binary(int n, int k, int *ans) {
	int i, l, r, mid, ret, v;
	l = 0, ret = n - 1, r = n - 2;
	while (l <= r) {
		mid = (l + r) >> 1;
		if (!Query2(que[mid], que[mid + 1], que[n - 1])) ret = mid, r = mid - 1;
		else l = mid + 1;
	}
	v = ret;
	if (((n - ret) & 1) ^ k) ++ret;
	for (i = 0; i < ret; ++i) ans[que[i]] = 0;
	for (i = ret; i < n; ++i) ans[que[i]] = 1;
	return v;
}

void find_price(int task_id, int n, int k, int ans[]) {
	int i, mx = 0, ret;
	for (i = 0; i < n; ++i) ans[i] = 0;
	if (task_id == 3) {
		for (i = 0; i < n; ++i) que[i] = i;
		if (!Query1(0, n - 1)) reverse(que, que + n);
		Binary(n, k, ans);
	}
/* times = 7N
	else {
		for (i = 1; i < n; ++i) if (Query1(mx, i)) mx = i;
		ans[mx] = 1, cnt = 0, k ^= 1;
		for (i = 0; i < n; ++i) if (i ^ mx) que[++cnt] = i;
		while (cnt > 1) {
			if (Query2(que[cnt], que[cnt - 1], mx)) {
				if (!Query1(que[cnt], que[cnt - 1])) swap(que[cnt], que[cnt - 1]);
				ans[que[cnt]] = 0;
			}
			else {
				if (Query1(que[cnt], que[cnt - 1])) swap(que[cnt], que[cnt - 1]);
				ans[que[cnt]] = 1, k ^= 1;
			}
			--cnt;
		}
		if (k && cnt) ans[que[1]] = 1;
	}
*/
	else {
		if (n == 1) {
			ans[0] = 1;
			return;
		}
		if (n == 2) {
			mx = Query1(0, 1) ? 1 : 0;
			ans[mx] = 1;
			if (!k) ans[mx ^ 1] = 1;
			return;
		}
		st[0] = cnt = 0, tp = 1;
		for (i = 1; i < n; ++i) que[++cnt] = i;
		while (cnt > 1) {
			if (Query2(que[cnt], que[cnt - 1], st[tp - 1])) {
				if (!Query1(que[cnt], que[cnt - 1])) swap(que[cnt], que[cnt - 1]);
				ans[que[cnt]] = 0;
			}
			else {
				if (Query1(que[cnt], que[cnt - 1])) swap(que[cnt], que[cnt - 1]);
				st[tp++] = que[cnt];
			}
			--cnt;
		}
		if (Query1(que[cnt], st[tp - 1])) {
			ans[st[tp - 1]] = 1, mx = que[cnt], cnt = 0;
			for (i = 0; i < tp; ++i) que[cnt++] = st[i];
			ret = Binary(cnt, k, ans);
			k ^= (cnt - ret - 1) & 1, ret = que[ret];
			if (Query2(ret, mx, st[tp - 1])) {
				if (!Query1(ret, mx)) swap(ret, mx);
				ans[ret] = 0;
			}
			else {
				if (Query1(ret, mx)) swap(ret, mx);
				ans[ret] = 1, k ^= 1;
			}
			ans[mx] = k;
		}
		else {
			ans[que[cnt]] = 1, st[tp++] = que[cnt], cnt = 0;
			for (i = 0; i < tp; ++i) que[cnt++] = st[i];
			Binary(cnt, k, ans);
		}
	}
}