每个串拆成两个，都插入trie数。

把trie树建出来后，每一条从根到叶子的链上最多只能有一个变量为1。

这是个经典的前后缀优化2-sat建图的套路。

树上的做法也就是边dfs边做而已。

#include<bits/stdc++.h>

#define N 3300000

#define eps 1e-7

#define inf 1e9+7

#define db double

#define ll long long

#define ldb long double

using namespace std;

inline int read()

{

	char ch=0;

	int x=0,flag=1;

	while(!isdigit(ch)){ch=getchar();if(ch=='-')flag=-1;}

	while(isdigit(ch)){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();}

	return x*flag;

}

struct edge{int to,nxt;}e[N*4];

int num,head[N];

inline void add(int x,int y){e[++num]=(edge){y,head[x]};head[x]=num;}

stack<int>st;

bool in_stack[N];

int times,bel_cnt,dfn[N],low[N],bel[N];

void tarjan(int x)

{

	dfn[x]=low[x]=++times;

	st.push(x);in_stack[x]=true;

	for(int i=head[x];i!=-1;i=e[i].nxt)

	{

		int to=e[i].to;

		if(!dfn[to])tarjan(to),low[x]=min(low[x],low[to]);

		else if(in_stack[to])low[x]=min(low[x],dfn[to]);

	}

	if(dfn[x]==low[x])

	{

		bel_cnt++;

		int u;

		do

		{

			u=st.top();st.pop();

			bel[u]=bel_cnt;

			in_stack[u]=false;

		}while(x!=u);

	}

}

char s[N];

int size,f[N],p[N],pre[N];

struct Trie

{

	#define lson son[x][0]

	#define rson son[x][1]

	#define mid ((l+r)>>1)

	vector<int>v[N];

	int root=1,cnt=0,tot=1,son[N][2];

	void insert(int n,int id)

	{

		int x=root;

		for(int i=1;i<=n;i++)

		{

			int k=s[i]-'0';

			if(!son[x][k])son[x][k]=++tot;

			x=son[x][k];

		}

		v[x].push_back(id);

	}

	void dfs(int x)

	{

		int len=v[x].size();

		for(int i=0;i<len;i++)

		{

			p[++cnt]=v[x][i];

			pre[p[cnt]]=++size;

			f[pre[p[cnt]]]=++size;

			f[size]=pre[p[cnt]];

			add(p[cnt],pre[p[cnt]]);

			add(f[pre[p[cnt]]],f[p[cnt]]);

			if(cnt!=1)

			{

				add(pre[p[cnt-1]],pre[p[cnt]]);

				add(f[pre[p[cnt]]],f[pre[p[cnt-1]]]);

				add(pre[p[cnt-1]],f[p[cnt]]);

				add(p[cnt],f[pre[p[cnt-1]]]);

			}

		}

		if(lson)dfs(lson);if(rson)dfs(rson);cnt-=len;

	}

}T;

int main()

{

	int n=read();size=n;

	num=-1;memset(head,-1,sizeof(head));

	for(int o=1;o<=n;o++)

	{

		scanf("%s",s+1);

		int k=0,len=strlen(s+1);

		for(int i=1;i<=len;i++)if(s[i]=='?')k=i;

		f[o]=++size;f[size]=o;

		if(k)

		{

			s[k]='0';T.insert(len,f[o]);

			s[k]='1';T.insert(len,o);

		}

		else add(f[o],o),T.insert(len,o);

	}

	T.dfs(T.root);

	for(int i=1;i<=size;i++)if(!dfn[i])tarjan(i);

	for(int i=1;i<=size;i++)if(bel[i]==bel[f[i]]){printf("NO");return 0;}

	printf("YES");

	return 0;

}