首先剔除$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;
}

  

最新文章

  1. 前端学php之常量
  2. CSS3样式
  3. bootstrap源码分析----栅格系统
  4. 洛谷P2242 公路维修问题(Road)
  5. UIButton 的属性与方法
  6. 移植UE4的Spline与SplineMesh组件到Unity5
  7. 【转】Visual Studio项目相对路径的设置,实用
  8. JavaScript的执行上下文
  9. 使用Unity开发Android的几种调试方法
  10. JS页面打印,预览,设置,分页
  11. PL/SQL Developer中文注释乱码的解决办法
  12. [转] Windows下使用Python读取Excel表格数据
  13. 新到的Mac配置Java开发环境
  14. JavaScript+XML+VBA导出报表初步构想
  15. 简单实现android和wp聊天
  16. create schema 与create database的区别
  17. highlight.js 代码高亮插件的使用
  18. [基础架构]PeopleSoft工作原理(从浏览器发送请求开始)
  19. git 提交代码到库
  20. php 获取IP地址 并获取坐标lat lng 并获取到所在地区

热门文章

  1. 论文阅读笔记二十一:MULTI-SCALE CONTEXT AGGREGATION BY DILATED CONVOLUTIONS(ICRL2016)
  2. 如果拷贝项目出现各种找不到文件的时候,基本就是没有标记,或者文件名的问题,Could not find resource mybatis.xml,解决方法
  3. hive表中字段显示为NULL时,HDFS文件中存储为\N
  4. 史上最简单的SpringCloud教程 | 第六篇: 分布式配置中心(Spring Cloud Config)
  5. 关于K8S证书生成方面的脚本草稿
  6. WebClient 支持 gzip, deflate
  7. TypeScript学习笔记 (一)基础特性
  8. 通过awk获取netstat命令中的进程号
  9. kudu的分区方式
  10. Linux安装Tomcat-Nginx-FastDFS-Redis-Solr-集群——【第九集-补充-之安装jdk】