码迷,mamicode.com
首页 > 其他好文 > 详细

BZOJ4267 : 小强的颜色

时间:2018-03-04 22:55:33      阅读:130      评论:0      收藏:0      [点我收藏+]

标签:main   print   nbsp   转移   遍历   else   pos   tin   col   

首先剔除$1$号心情不能到达的无用心情,然后采用分割法进行DFA的最小化。

每次遍历所有集合,将集合中和集合中第一个心情行为或者转移所在集合不同的心情放入新集合中。

最后按字典序依次给每个集合编号即可。

因为最多$O(N)$次分离,每次遍历时间复杂度为$O(NP)$。

故总时间复杂度为$O(N^2P)$。

 

#include<cstdio>
const int N=1010;
int p,m,n,i,j,k,x,a[N][30],cnt,len[N],g[N][N],pos[N],id[N],q[N],all;bool vis[N],flag;
inline bool equal(int x,int y){
  if(a[x][0]!=a[y][0])return 0;
  for(int i=1;i<=p;i++)if(pos[a[x][i]]!=pos[a[y][i]])return 0;
  return 1;
}
void dfs(int x){
  if(vis[x])return;
  vis[x]=1;
  g[1][++len[1]]=x;
  for(int i=1;i<=p;i++)dfs(a[x][i]);
}
int main(){
  scanf("%d%d%d",&p,&m,&n);
  for(i=1;i<=n;i++)for(j=1;j<=p;j++)scanf("%d",&a[i][j]);
  for(i=1;i<=n;i++)scanf("%d",&a[i][0]);
  dfs(cnt=1);
  while(1){
    flag=0;
    for(i=1;i<=cnt;i++)for(j=1;j<=len[i];j++)pos[g[i][j]]=i;
    for(i=1;i<=cnt;i++)if(len[i]>1){
      for(j=2;j<=len[i];j++)if(!equal(g[i][1],g[i][j]))break;
      if(j>len[i])continue;
      cnt++,k=1;
      for(j=2;j<=len[i];j++)if(!equal(g[i][1],g[i][j]))g[cnt][++len[cnt]]=g[i][j];
      else g[i][++k]=g[i][j];
      len[i]=k;
      flag=1;
      break;
    }
    if(!flag)break;
  }
  printf("%d\n",cnt);
  id[1]=q[1]=all=1;
  for(i=1;i<=cnt;i++){
    x=g[q[i]][1];
    for(j=1;j<=p;j++){
      k=pos[a[x][j]];
      if(!id[k])q[id[k]=++all]=k;
      printf("%d%c",id[k],j<p?‘ ‘:‘\n‘);
    }
  }
  for(i=1;i<=cnt;i++)printf("%d%c",a[g[q[i]][1]][0],i<cnt?‘ ‘:‘\n‘);
  return 0;
}

  

BZOJ4267 : 小强的颜色

标签:main   print   nbsp   转移   遍历   else   pos   tin   col   

原文地址:https://www.cnblogs.com/clrs97/p/8506485.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!