「JSOI2014」学生选课

「JSOI2014」学生选课

传送门
看到这题首先可以二分。
考虑对于当前的 \(mid\) 如何 \(\text{check}\)
我们用 \(f_{i,j}\) 来表示 \(i\) 对 \(j\) 的好感度排名,那么对于两个人 \(i\),\(j\) 如果有 \(\max\{f_{i, j}, f_{j, i}\} > mid\) 那么显然这两个人是不能上同一个老师的课的。
而且每个人可以上的课只有两种,我们记为 \(a_{i, 0 / 1}\)
假设 \(i\),\(j\) 对于当前的 \(mid\) 而言不能分在一起,其中 \(a_{i, 0} = a_{j, 0}\),那么我们可以发现:

  • \(i\) 上 \(a_{i, 0}\) 的课,则必须有 \(j\) 上 \(a_{j, 1}\) 的课
  • \(j\) 上 \(a_{j, 0}\) 的课,则必须有 \(i\) 上 \(a_{i, 1}\) 的课

可以发现这就是一个裸的 \(\text{2-SAT}\)
所以我们每次 \(\text{check}\) 都建图跑一遍 \(\text{2-SAT}\) 就好了。
参考代码:

#include <cstring>
#include <cstdio>
#define rg register
#define file(x) freopen(x".in", "r", stdin), freopen(x".out", "w", stdout)
template < class T > inline T min(T a, T b) { return a < b ? a : b; }
template < class T > inline T max(T a, T b) { return a > b ? a : b; }
template < class T > inline void read(T& s) {
    s = 0; int f = 0; char c = getchar();
    while ('0' > c || c > '9') f |= c == '-', c = getchar();
    while ('0' <= c && c <= '9') s = s * 10 + c - 48, c = getchar();
    s = f ? -s : s;
}

const int _ = 1010;

int tot, head[_ * 3]; struct Edge { int v, nxt; } edge[_ * _ * 4];
inline void Add_edge(int u, int v) { edge[++tot] = (Edge) { v, head[u] }, head[u] = tot; }

int n, t[_], a[_][2], f[_][_];
int num, dfn[_ * 3], low[_ * 3], col, co[_ * 3], top, stk[_ * 3];

inline void tarjan(int u) {
    dfn[u] = low[u] = ++num, stk[++top] = u;
    for (rg int i = head[u]; i; i = edge[i].nxt) {
        int v = edge[i].v;
        if (!dfn[v])
            tarjan(v), low[u] = min(low[u], low[v]);
        else
            if (!co[v]) low[u] = min(low[u], dfn[v]);
    }
    if (low[u] == dfn[u]) { ++col;
        do co[stk[top]] = col; while (stk[top--] != u);
    }
}

inline int id(int x, int y) { return y * (n + 1) + x; }

inline void init() {
    tot = num = col = top = 0;
    memset(head, 0, sizeof head);
    memset(dfn, 0, sizeof dfn);
    memset(low, 0, sizeof low);
    memset(co, 0, sizeof co);
}

inline bool check(int mid) {
    init();
    for (rg int i = 1; i <= n; ++i)
        for (rg int j = i + 1; j <= n; ++j) {
            if (f[i][j] <= mid) continue ;
            if (a[i][0] == a[j][0]) {
                Add_edge(id(i, a[i][0]), id(j, a[j][1]));
                Add_edge(id(j, a[j][0]), id(i, a[i][1]));
            }
            if (a[i][0] == a[j][1]) {
                Add_edge(id(i, a[i][0]), id(j, a[j][0]));
                Add_edge(id(j, a[j][1]), id(i, a[i][1]));
            }
            if (a[i][1] == a[j][0]) {
                Add_edge(id(i, a[i][1]), id(j, a[j][1]));
                Add_edge(id(j, a[j][0]), id(i, a[i][0]));
            }
            if (a[i][1] == a[j][1]) {
                Add_edge(id(i, a[i][1]), id(j, a[j][0]));
                Add_edge(id(j, a[j][1]), id(i, a[i][0]));
            }
        }
    for (rg int i = 1; i <= n; ++i)
        for (rg int k = 0; k < 3; ++k)
            if (t[i] != k && !dfn[id(i, k)]) tarjan(id(i, k));
    for (rg int i = 1; i <= n; ++i)
        if (co[id(i, a[i][0])] == co[id(i, a[i][1])]) return 0;
    return 1;
}

int main() {
#ifndef ONLINE_JUDGE
    file("cpp");
#endif
    read(n);
    for (rg int i = 1; i <= n; ++i) {
        read(t[i]);
        if (t[i] == 0) a[i][0] = 1, a[i][1] = 2;
        if (t[i] == 1) a[i][0] = 0, a[i][1] = 2;
        if (t[i] == 2) a[i][0] = 0, a[i][1] = 1;
        for (rg int x, j = 1; j < n; ++j) read(x), f[i][x] = j;
    }
    for (rg int i = 1; i <= n; ++i)
        for (rg int j = i + 1; j <= n; ++j) f[i][j] = max(f[i][j], f[j][i]);
    int l = 1, r = n - 1;
    while (l < r) {
        int mid = (l + r) >> 1;
        if (check(mid)) r = mid; else l = mid + 1;
    }
    printf("%d\n", l);
    return 0;
}

原文地址:https://www.cnblogs.com/zsbzsb/p/12260562.html

时间: 2024-11-07 23:37:43

「JSOI2014」学生选课的相关文章

「JSOI2014」序列维护

「JSOI2014」序列维护 传送门 其实这题就是luogu的模板线段树2,之所以要发题解就是因为被 \(\color{black}{\text{M}} \color{red}{\text{_sea}}\) 告知了一种比较NB的 \(\text{update}\) 的方式. 我们可以把修改操作统一化,视为 \(ax + b\) 的形式,然后我们按照原来的套路来维护两个标记,分别代表 \(a\) 和 \(b\) ,那么我们的更新就可以这么写: inline void f(int p, int at

「JSOI2014」强连通图

「JSOI2014」强连通图 传送门 第一问很显然就是最大的强连通分量的大小. 对于第二问,我们先把原图进行缩点,得到 \(\text{DAG}\) 后,统计出入度为零的点的个数和出度为零的点的个数,两者取 \(\max\) 就是答案. 理性证明可以看这里 参考代码: #include <cstdio> #define rg register #define file(x) freopen(x".in", "r", stdin), freopen(x&q

「JSOI2014」打兔子

「JSOI2014」打兔子 传送门 首先要特判 \(k \ge \lceil \frac{n}{2} \rceil\) 的情况,因为此时显然可以消灭所有的兔子,也就是再环上隔一个点打一枪. 但是我们又会发现当 \(n = 3, k = 2\) 时,这种情况也满足上述条件但是我们只能打掉两群兔子,所以选兔子最多的两个格子打. 对于剩下的情况我们可以考虑 \(\text{DP}\) . 我们可以发现一件事,就是说如果我们把环弱化成链,那么顺着打就可以包含所有状态了. 所以说我们就可以有一个性质:两个

「JSOI2014」矩形并

「JSOI2014」矩形并 传送门 我们首先考虑怎么算这个期望比较好. 我们不难发现每一个矩形要和 \(n - 1\) 个矩形去交,而总共又有 \(n\) 个矩形,所以我们把矩形两两之间的交全部加起来再除以 \(n(n - 1)\) 就是答案. 至于算矩形之间的交我们可以考虑把每个矩形都视为在这个矩形范围内区间加上 \(1\) ,那么我们只需要查询一个矩形内的和 - 该矩形自身的贡献就可以算出一个矩形与其他矩形的交. 所以现在相当于我们只需要实现二维的区间加/查询. 但是数据范围很大我们不可能用

【sql: 联系题26 ,27】查询平均成绩大于等于 85 的所有学生的学号、姓名和平均成绩,查询课程名称为「数学」,且分数低于 60 的学生姓名和分数

题目:26:查询平均成绩大于等于 85 的所有学生的学号.姓名和平均成绩 分析:这个应该是根据student 进行分组 group by 再根据 having >= 85 进行过滤,然后在关联student 信息表,拿到学生的基本信息 SELECT student.id, student.stdentname,AVG(student_score.score) AS a FROM student_score, studentWHERE student.id = student_score.stud

「AHOI2014/JSOI2014」骑士游戏

「AHOI2014/JSOI2014」骑士游戏 传送门 考虑 \(\text{DP}\). 设 \(dp_i\) 表示灭种(雾)一只编号为 \(i\) 的怪物的代价. 那么转移显然是: \[dp_i = \min(K_i, S_i + \sum_{j = 1}^{R_i} dp_{v_j})\] 但是我们会发现这个东西是有后效性的... 所以我们会想要用建图然后跑一个最短路什么的来搞... 于是我们观察到上面那个 \(\text{DP}\) 式子中,\(dp_i\) 如果用后面那一项来转移,显然

「AHOI2014/JSOI2014」支线剧情

「AHOI2014/JSOI2014」支线剧情 传送门 上下界网络流. 以 \(1\) 号节点为源点 \(s\) ,新建一个汇点 \(t\),如果 \(u\) 能到 \(v\),那么连边 \(u \to v\),下界为 \(1\),上界为 \(+\infty\),费用为对应的所需时间,表示这段剧情至少看一次,且看一次代价为对应的所需时间. 又因为我们可以在任何一个节点重开一次,所以我们的每个节点 \(u\) 都连边 \(u \to t\) ,下界为 \(0\),上界为 \(+\infty\),费

「AHOI2014/JSOI2014」拼图

「AHOI2014/JSOI2014」拼图 传送门 看到 \(n \times m \le 10^5\) ,考虑根号分治. 对于 \(n < m\) 的情况,我们可以枚举最终矩形的上下边界 \(tp, bt\),那么我们发现最终矩形一定是由所有满足从第 \(tp\) 行到第 \(bt\) 行都是白格子的矩形顺次连接,并且两端再各自接上一个最大的前缀和一个最大的后缀构成的. 这个我们可以 \(O(m)\) 地算. 总复杂度就是 \(O(n^2m)\),也就是一个根号级别的. 对于 \(n \ge

Linux 小知识翻译 - 「Unix」和「兼容Unix的OS」

经常有人会问「Linux和Unix有什么区别?」,「Linux就是Unix吗?」. 回答一般都是「Linux是仿照Unix而开发的OS」,「Linux和Unix相似但不是一种OS」之类的. 关于「Linux和Unix」,这其中还有些故事. 首先,「Unix」是1970年左右由美国AT&T公司的贝尔实验室开发,并将开发推进下去而形成的OS. 现在,「Unix」这个商标由The Open Group所拥有,因此可以说「Linux不是Unix」. 另一方面,还有一个「Linux不是Unix」的理由.1