Codeforces Round 816 (Div. 2) D. 2+ doors（贪心）

Problem - 1715D - Codeforces

题意：存在n个元素的数组，给定q个约束，i,j,x，表示a[i]|a[j]=x;求满足条件字典序最小的可能数组

标签有个  2-sat来着，但好像也没用到。

a[i]|a[j]=x,那么x二进制位为0处a[i]和a[j]也为0，制定一数组f[M]表示可选条件，二进制位为0代表当前为只能为0，否则也可为1。

那么对每个元素从第一个开始进行贪心，即某一位可选0必选0，即遍历所哟约束条件，确定当前元素可选的最小值，具体可看代码。

#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> PI;
const int M=2e5+5;
vector<pair<int,int> > e[M];
int f[M],vis[M]; 
int main()
{
	int n,q; cin>>n>>q;
	int u,v,tmp;
	
	for(int i=1;i<=q;i++)
	{
		cin>>u>>v>>tmp;
		if(!vis[u]) f[u]=(1<<30)-1;
		if(!vis[v]) f[v]=(1<<30)-1;
		vis[u]=vis[v]=1; 
		f[u]&=tmp;
		f[v]&=tmp;
		e[u].push_back({v,tmp});
		e[v].push_back({u,tmp});
	}
	for(int i=1;i<=n;i++)
	{
		tmp=0;
		for(int j=0;j<e[i].size();j++)
		{
			pair<int,int> q=e[i][j];
			tmp|=~f[q.first]&q.second;
//对约束条件另一元素取反后与约束条件按位与，这样可保证能选0则必定选0。
//tmp与其结果按位或原因是若出现要选1的位则那一位必须为1，若是按位与则可能为0而与某约束冲突。
			if(i==q.first) 
			{
				tmp=q.second;
				break;
			}
		}
		f[i]=tmp;
		cout<<f[i]<<" ";
	}
}