Codeforces 469D Two Sets【思维+并查集】

本文介绍了一种将一组不重复整数合理划分为两个集合的算法。若x属于集合A,则a-x也必须属于A;同样地,若x属于集合B,则b-x也必须属于B。文章详细阐述了解决方案的思路及实现代码。

D. Two Sets
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

Little X has n distinct integers: p1, p2, ..., pn. He wants to divide all of them into two sets A and B. The following two conditions must be satisfied:

  • If number x belongs to set A, then number a - x must also belong to set A.
  • If number x belongs to set B, then number b - x must also belong to set B.

Help Little X divide the numbers into two sets or determine that it's impossible.

Input

The first line contains three space-separated integers n, a, b (1 ≤ n ≤ 105; 1 ≤ a, b ≤ 109). The next line contains n space-separated distinct integers p1, p2, ..., pn (1 ≤ pi ≤ 109).

Output

If there is a way to divide the numbers into two sets, then print "YES" in the first line. Then print n integers: b1, b2, ..., bn (bi equals either 0, or 1), describing the division. If bi equals to 0, then pi belongs to set A, otherwise it belongs to set B.

If it's impossible, print "NO" (without the quotes).

Examples
Input
4 5 9
2 3 4 5
Output
YES
0 0 1 1
Input
3 3 4
1 2 4
Output
NO
Note

It's OK if all the numbers are in the same set, and the other one is empty.


题目大意:

给你N个数(distinct),有两个集合A.B,要求如果数字x在集合A中,那么要求a-x也要在集合A中,同理x在B中,要求b-x也要在集合B中。

问能否分出一个可行方案,使得每个数能且只能分配到一个集合中。


思路(思路源自:http://blog.youkuaiyun.com/budlele/article/details/39548063):


首先设定两个点作为集合A的root以及集合B的root.

如果有:find(rootA)==find(a【i】),那么我们表示a【i】这个数字分到了集合A中。

同理有:find(rootB)==find(a【i】),那么我们表示a【i】这个数字分到了集合B中。


对于所有a【i】.其总共有几种情况:

①存在数字a-a【i】。那么对应两个数字一定是属于同一集合中的。那么merge(a【i】,a-a【i】);但是因为一个数字可能有多种匹配的数字放到一个集合中的情况,所以a【i】这个数字到底属于哪个集合我们并不是确定的。同理,a-a【i】这个数字到底属于哪个集合我们也不是确定的,但是我们确定a【i】和a-a【i】是可以属于同一集合的。

否则如果不存在,那么这个数字只可能属于集合B.那么merge(a【i】,rootB);此时这种情况我们能够确定一个数字一定属于哪个集合,所以这里一定要进行设定。

②存在数字b-b【i】。那么对应两个数字一定是属于同一集合中的。那么merge(a【i】,b-a【i】);

否则如果不存在,那么这个数字只可能属于集合A.那么merge(a【i】,rootA);


那么对于结果的判定,如果有:find(rootA)==find(rootB)的情况,那么结果就是NO的情况。

否则就是YES的情况,那么我们只要判定find(a【i】)和find(rootA)相等还是和find(rootB)相等即能够判定当前数字到底属于哪个集合了。


Ac代码:

#include<stdio.h>
#include<string.h>
#include<map>
using namespace std;
int f[150000];
int a[150000];
int find(int a)
{
    int r=a;
    while(f[r]!=r)
    r=f[r];
    int i=a;
    int j;
    while(i!=r)
    {
        j=f[i];
        f[i]=r;
        i=j;
    }
    return r;
}
void merge(int a,int b)
{
    int A,B;
    A=find(a);
    B=find(b);
    if(A!=B)
    f[B]=A;
}
int main()
{
    int n,A,B;
    while(~scanf("%d%d%d",&n,&A,&B))
    {
        int cnt=1;
        map<int ,int >s;
        for(int i=1;i<=n+2;i++)f[i]=i;
        for(int i=0;i<n;i++)scanf("%d",&a[i]),s[a[i]]=cnt++;
        for(int i=0;i<n;i++)
        {
            if(s[A-a[i]]>0)
            {
                merge(s[a[i]],s[A-a[i]]);
            }
            else merge(s[a[i]],n+2);
            if(s[B-a[i]]>0)
            {
                merge(s[a[i]],s[B-a[i]]);
            }
            else merge(s[a[i]],n+1);
        }
        if(find(n+1)==find(n+2))printf("NO\n");
        else
        {
            printf("YES\n");
            for(int i=0;i<n;i++)
            {
                if(find(s[a[i]])==find(n+1))printf("0 ");
                else printf("1 ");
            }
            printf("\n");
        }
    }
}







### 关于 CodeForces 892E 的解题思路分析 #### 使用可撤销并查集解决最小生成树中的边集合验证问题 针对给定的无向图以及多个询问,每个询问涉及一组特定的边,并要求判断这组边能否同时存在于某棵最小生成树中。此问题可以通过结合Kruskal算法构建最小生成树的过程来求解,在这一过程中利用到的是按照权重升序排列后的边逐步加入至森林结构之中[^1]。 为了高效处理多次查询而不影响后续操作的结果,引入了带有回溯功能的数据结构——即所谓的“可撤销并查集”。这种特殊形式的并查集允许执行合并(union)的同时记录下每一次变动以便之后能够恢复原状;当完成一次查询判定后即可通过一系列反向动作使数据结构回到初始状态,从而不影响其他独立事件的发生逻辑[^3]。 具体实现方法如下: - 将所有的边依据其权重从小到大排序; - 对每一个询问所涉及到的边也做同样的预处理; - 开始遍历已排序好的全局边列表,每当遇到属于当前待检验询问范围内的边时,则尝试将其纳入现有连通分量内; - 如果发现形成环路则说明该询问无法满足条件; - 同样地,任何不属于当前询问但同样处于相同权值下的其它边也应该被考虑进来以确保最终形成的MST是最优解的一部分; - 完成一轮测试后记得清除所有临时更改使得系统重置为未受干扰的状态准备迎接下一个挑战。 ```cpp #include <bits/stdc++.h> using namespace std; struct Edge { int u, v; }; class DSUWithRollback { public: vector<int> parent, rank, historyParent, historyRank; void init(int n){ parent.resize(n); iota(parent.begin(), parent.end(), 0); // Fill with identity mapping. rank.assign(n, 0); historyParent.clear(); historyRank.clear(); } int findSet(int i) {return (parent[i]==i)?i:(findSet(parent[i]));} bool isSameSet(int i, int j){ return findSet(i)==findSet(j);} void unionSets(int i, int j){ if (!isSameSet(i,j)){ historyParent.push_back(findSet(i)); historyParent.push_back(findSet(j)); historyRank.push_back(rank[findSet(i)]); historyRank.push_back(rank[findSet(j)]); int x=findSet(i), y=findSet(j); if (rank[x]>rank[y]) swap(x,y); parent[x]=y; if (rank[x]==rank[y]) ++rank[y]; } } void rollback(){ while(!historyParent.empty()){ parent[historyParent.back()]=historyParent.back(); historyParent.pop_back(); rank[historyParent.back()] = historyRank.back(); historyParent.pop_back(); historyRank.pop_back(); } } }; ``` 上述代码展示了如何创建一个支持撤销机制的并查集类`DSUWithRollback`,它可以在不破坏原有连接关系的前提下安全地进行节点间的联合与查找操作。此外还提供了用于追踪变化历史的方法,方便在必要时候撤消最近的一系列更动。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值