2017多校四 1004题 hdu 6070 Dirt Ratio 二分 + 线段树 + 分数规划

题目链接

题意：

给定一个数列 a 长度为 n (n <= 6e5, a1, a2, ..., an <= n)，求其子串中 出现的不同数字个数 与 子串的长度 之比的最小值。

这道题的特殊之处在于其是special judge

Output For each test case, print a single line containing a floating number, denoting the lowest ''Dirt Ratio''. The answer must be printed with an absolute error not greater than  10−4 .

如果有什么正经（雾）的做法，那么这个值应该是个定值啊，不至于会............

故：二分！

二分后怎么check呢...赛后看题解（。

题解如是说：

二分答案$mid$，检验是否存在一个区间满足\frac{size(l,r)}{r-l+1}\leq mid​r−l+1​​size(l,r)​​≤mid，也就是$size(l,r)+mid\times l\le mid\times (r+1)$。

从左往右枚举每个位置作为$r$，当$r$变化为$r+1$时，对$size$的影响是一段区间加$1$，线段树维护区间最小值即可。

再说明白一点，当处理到第 i 个数时，线段树中中每个节点的值的含义为：

1. 每个叶子节点 [L, L] 的值为 [L, i] 一段的 val，

2. 每个非叶子结点 [L, R] 的值为 min{ [l, i].val | L <= l <= R }.

想明白这一点就好写了

Code:

#include <bits/stdc++.h> #define maxn 60010 #define inf 0x3f3f3f3f #define eps 1e-5 #define lson (rt << 1) #define rson (rt << 1 | 1) struct tree { int l, r, tag; double val; }tr[maxn * 4]; double v; int n, pre[maxn], pos[maxn]; inline int midi(int a, int b) { return a + b >> 1; } inline double min(double a, double b) { return a < b ? a : b; } void build(int rt, int l, int r, double x) { tr[rt].l = l; tr[rt].r = r; tr[rt].val = x * l; tr[rt].tag = 0; if (l == r) return; int mid = midi(l, r); build(lson, l, mid, x); build(rson, mid + 1, r, x); } inline void push_up(int rt) { tr[rt].val = min(tr[lson].val, tr[rson].val); } inline void push_down(int rt) { if (tr[rt].tag) { tr[lson].tag += tr[rt].tag; tr[lson].val += tr[rt].tag; tr[rson].tag += tr[rt].tag; tr[rson].val += tr[rt].tag; tr[rt].tag = 0; } } void modify(int rt, int l, int r, int r0) { if (tr[rt].l == l && tr[rt].r == r) { tr[rt].tag += 1; tr[rt].val += 1; return; } push_down(rt); int mid = midi(tr[rt].l, tr[rt].r); if (r <= mid) modify(lson, l, r, r0); else if (l > mid) modify(rson, l, r, r0); else { modify(lson, l, mid, r0); modify(rson, mid + 1, r, r0); } push_up(rt); } void query(int rt, int r) { if (tr[rt].r <= r) { v = min(v, tr[rt].val); return; } if (tr[rt].l == tr[rt].r) return; push_down(rt); int mid = midi(tr[rt].l, tr[rt].r); query(lson, r); if (r > mid) query(rson, r); push_up(rt); } bool check(double x) { // printf("x : %.3f\n", x); build(1, 1, n, x); for (int r = 1; r <= n; ++r) { modify(1, pre[r] + 1, r, r); v = inf; query(1, r); if (v <= (r + 1) * x) { // printf("%d\n", r); return true; } } return false; } void work() { memset(pos, 0, sizeof(pos)); scanf("%d", &n); for (int i = 1; i <= n; ++i) { int x; scanf("%d", &x); pre[i] = pos[x]; pos[x] = i; } double l = 0, r = 1.0, mid; while (r - l > eps) { mid = (l + r) / 2; if (check(mid)) r = mid; else l = mid; } printf("%.10f\n", mid); } int main() { int T; scanf("%d", &T); while (T--) work(); return 0; }