https://ac.nowcoder.com/acm/contest/12482/D
Significado da pergunta: https://blog.csdn.net/zstuyyyyccccbbbb/article/details/115171072 Com base na pergunta original, alguns pontos não podem ser colocados.
Idéia: Combine estes não colocáveis no pré-processado st []. Aqui, precisamos abrir st [] [] em duas dimensões para registrar a viabilidade do estado da i-ésima coluna e j.
detalhe:
1. Converta não armazenável em acumulação de número binário (denotado como temp), atravesse todos [estado e temperatura], se == 1 significa que o estado não armazenável está incluído e marque-o como não
2. Devido à limitação de não armazenamento, isso afeta a viabilidade da linha única / linha única original.
Tal como:
temp: 0 0 1 0 1 0 0 (aquele marcado com 1 é X)
j: 0 1 0 1 0 0 0
Desta forma, julgar diretamente a paridade 0 contínua de j causará problemas, então x == (j | temp), e então o julgamento de paridade 0 contínua com x, e o resultado marcará o estado de j
#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<unordered_map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=13;
typedef int LL;
typedef pair<LL,LL>P;
inline LL read(){LL x=0,f=1;char ch=getchar(); while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
bool st[maxn][1<<maxn];///每一列的可行状态
long long dp[maxn][1<<maxn];
bool map1[maxn][maxn];
int main(void)
{
LL n,m,k;
while(scanf("%d%d%d",&n,&m,&k)!=0){
if(n==0&&m==0&&k==0) break;
memset(map1,0,sizeof(map1));
for(LL i=1;i<=k;i++){
LL x,y;
scanf("%d",&x);scanf("%d",&y);
map1[x][y]=true;
}
for(LL i=1;i<=m;i++){///枚举每一列
LL temp=0;
for(LL j=1;j<=n;j++){///该列的每一行
if(map1[j][i]) temp+=(1<<(j-1));
}
for(LL j=0;j<(1<<n);j++){///该列的全状态
st[i][j]=true;
if( j&(temp) ) {st[i][j]=false;continue;}
LL x=j|temp;///细节
LL cnt=0;
for(LL k=1;k<=n;k++){
if( ( 1<<(k-1) ) &x ){
if(cnt&1){
st[i][j]=false;break;
}
else cnt=0;
}
else cnt++;
}
if(cnt&1) st[i][j]=false;
}
}
memset(dp,0,sizeof(dp));
dp[0][0]=1;
for(LL i=1;i<=m;i++){
for(LL j=0;j<(1<<n);j++){
for(LL k=0;k<(1<<n);k++){
if((j&k)==0&&st[i][j|k]==true){
dp[i][j]+=dp[i-1][k];
}
}
}
}
printf("%lld\n",dp[m][0]);
}
return 0;
}