Codeforces Round #585 (Div. 2) F. Radio Stations

最新推荐文章于 2025-05-01 18:31:59 发布

hqwhqwhq

最新推荐文章于 2025-05-01 18:31:59 发布

阅读量224

点赞数

分类专栏： CF 文章标签： CF

本文链接：https://blog.youkuaiyun.com/u014610830/article/details/102176312

版权

CF 专栏收录该内容

2 篇文章

订阅专栏

本文深入探讨了2-SAT算法的原理及其在解决特定约束满足问题中的应用。通过构造特殊的图结构，利用Tarjan算法进行强连通分量分析，解决了变量范围限制下的逻辑表达式求解问题。文章详细介绍了算法流程，包括节点和边的定义、Tarjan算法的实现，并通过实例展示了如何判断逻辑表达式的可行性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题意

$2 - S A T$ 多了一个边的范围，其实只需要把点的范围加上去就行了即：
第 $i$ 个点 $(l [i], r [i])$ ，那么构造点 $j$ ， $k$ 对应 $l [i]$ ， $r [i] + 1$ 。
$j < < 1$ ， $j < < 1 ∣ 1$ 分别对应 $v a l > = l [i]$ 与 $v a l < l [i]$ 。
$k < < 1$ ， $k < < 1 ∣ 1$ 分别对应 $v a l > = r [i] + 1$ 与 $v a l < r [i] + 1$ 。
这样连接点 $\to j<<1$ ， $\to k<<1|1$ ，以及 $\to i<<1|1$ ， $\to i<<1|1$ 。
然后把 $\backsim M+1$ 的点按逻辑连接起来就行了。

小trick

$2 - S A T$ 中一条关系表达式一定能退出两条有向边，不能漏边了！！！

#include <bits/stdc++.h>

using namespace std;

vector<vector<int>> e;
vector<int> l, r;

vector<bool> vis;
stack<int> stk;
vector<int> dfn, low, be;
int tot = 0, cnt = 0;

void tarjan(int u)
{
    dfn[u] = low[u] = ++tot;
    stk.push(u);
    vis[u] = true;
    for (auto &v : e[u]) {
        if (!dfn[v]) {
            tarjan(v);
            low[u] = min(low[u], low[v]);
        } else if (vis[v]) {
            low[u] = min(low[u], dfn[v]);
        }
    }
    if (dfn[u] == low[u]) {
        ++cnt;
        // cout << "stk: ";
        while (stk.top() != u) {
            int v = stk.top(); stk.pop();
            // cout << v << " ";
            be[v] = cnt;
            vis[v] = false;
        }
        // cout << u << endl;
        stk.pop();
        be[u] = cnt;
        vis[u] = false;
    }
}

int main()
{
    int n, p, M, m;
    cin >> n >> p >> M >> m;
    const int maxn = (p + M + 1) * 2 + 10;
    e.assign(maxn, vector<int>());
    l.assign(p, 0);
    r.assign(p, 0);
    int x, y;
    for (int i = 0; i < n; ++i) {
        cin >> x >> y;
        --x; --y;
        e[x<<1|1].emplace_back(y<<1);    
        e[y<<1|1].emplace_back(x<<1);
    }
    for (int i = 0; i < p; ++i) {
        cin >> l[i] >> r[i];
        e[i<<1].emplace_back((l[i] + p)<<1);
        e[i<<1].emplace_back((r[i] + p + 1)<<1|1);
        e[(l[i] + p)<<1|1].emplace_back(i<<1|1);
        e[(r[i] + p + 1)<<1].emplace_back(i<<1|1);
    }
    for (int i = 0; i < m; ++i) {
        cin >> x >> y;
        --x; --y;
        e[x<<1].emplace_back(y<<1|1);
        e[y<<1].emplace_back(x<<1|1);
    }
    for (int i = 0; i <= M; ++i) {
        e[(i + p + 1)<<1].emplace_back((i + p)<<1);
        e[(i + p)<<1|1].emplace_back((i + p + 1)<<1|1);
    }
    vis.assign(maxn, false);
    dfn.assign(maxn, 0);
    low.assign(maxn, 0);
    be.assign(maxn, 0);
    for (int i = 0, _i = 2 * (p + M + 1); i <= _i; ++i)
        if (!dfn[i])
            tarjan(i);
    for (int i = 0, _i = p + M + 1; i <= _i; ++i) {
        if (be[i<<1] == be[i<<1|1]) {
            cout << -1 << endl;
            return 0;
        }
    }
    vector<int> ans;
    int val = 0;
    for (int i = 0; i < p; ++i) {
        // cout << "i: " << be[i<<1] << " " << be[i<<1|1] << endl;
        if (be[i<<1] < be[i<<1|1]) {
            ans.emplace_back(i);
            val = max(val, l[i]);
        }
    }
    cout << ans.size() << " " << val << "\n";
    for (int i = 0, _i = ans.size(); i < _i; ++i) {
        if (i)
            cout << " ";
        cout << ans[i] + 1;
    } 
    cout << endl;
    return 0;
}