因为没有重复串,所以把有包含关系的串连边之后是个DAG,也就是二分图,就变成求二分图的最大独立集=n-最小点覆盖=n-最大匹配

关于包含关系,建出AC自动机,然后把串放上去找子串,但是如果每次都一路找到根就会T,所以每次只找最近的一个,并且对于没有结尾id的点承接father的id,这样就O(1)的找到最近子串了

然后再用floyd传递闭包把关系建出图来

然后跑匈牙利,输出方案就是把一个匹配环里同一侧的都dfs标记一下,最后输出没有被标记的

#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
#include<string>
#include<bitset>
using namespace std;
const int N=2005;
int n,ch[10000005][2],tot=1,h[N],cnt,fa[10000005],id[10000005],ans,lk[N],to[N],v[N],ti,mx[N],my[N];
string s[755];
bitset<N>a[N];
struct qwe
{
int ne,to;
}e[N*N];
void add(int u,int v)
{//cerr<<u<<" "<<v<<endl;
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
h[u]=cnt;
}
bool dfs(int u)
{
for(int i=h[u];i;i=e[i].ne)
if(v[e[i].to]!=ti)
{
v[e[i].to]=ti;
if(!lk[e[i].to]||dfs(lk[e[i].to]))
{
lk[e[i].to]=u,to[u]=e[i].to;
return 1;
}
}
return 0;
}
void wk(int u)
{
if(mx[u])
return;
mx[u]=1;
for(int i=h[u];i;i=e[i].ne)
if(!my[e[i].to])
{
my[e[i].to]=1;
wk(lk[e[i].to]);
}
}
int main()
{
scanf("%d",&n);
for(int i=1;i<=n;i++)
{
cin>>s[i];
int nw=1;
for(int j=0;j<s[i].length();j++)
{
if(!ch[nw][s[i][j]-'a'])
ch[nw][s[i][j]-'a']=++tot;
nw=ch[nw][s[i][j]-'a'];
}
id[nw]=i;
}
queue<int>q;
for(int i=0;i<2;i++)
{
if(ch[1][i])
fa[ch[1][i]]=1,q.push(ch[1][i]);
else
ch[1][i]=1;
}
while(!q.empty())
{
int u=q.front();
q.pop();
for(int i=0;i<2;i++)
{
if(ch[u][i])
{
fa[ch[u][i]]=ch[fa[u]][i];
q.push(ch[u][i]);
if(!id[ch[u][i]])
id[ch[u][i]]=id[fa[ch[u][i]]];
}
else
ch[u][i]=ch[fa[u]][i];
}
}
for(int i=1;i<=n;i++)
{
int nw=1;
for(int j=0;j<s[i].length();j++)
{
nw=ch[nw][s[i][j]-'a'];
if(id[nw]&&id[nw]!=i)
a[i][id[nw]]=1;//,cerr<<" "<<i<<" "<<id[nw]<<endl;
if(id[fa[nw]]&&id[fa[nw]])
a[i][id[fa[nw]]]=1;//,cerr<<" "<<i<<" "<<id[fa[nw]]<<endl;;
}
}
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
if(a[j][i])
a[j]|=a[i];
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
if(i!=j&&a[i][j])
add(i,j);
for(int i=1;i<=n;i++)
{
ti++;
if(dfs(i))
ans++;
}
printf("%d\n",n-ans);
for(int i=1;i<=n;i++)
if(!to[i])
wk(i);
for(int i=1;i<=n;i++)
if(mx[i]&&!my[i])
printf("%d ",i);
return 0;
}

codeforces590E Birthday【AC自动机+Floyd+匈牙利算法】的更多相关文章

  1. HDU 6208 The Dominator of Strings【AC自动机/kmp/Sunday算法】

    Problem Description Here you have a set of strings. A dominator is a string of the set dominating al ...

  2. AC 自动机

    AC自动机(Aho-Corasick Automata)是经典的多模式匹配算法.从前我学过这个算法,但理解的不深刻,现在已经十分不明了了.现在发觉自己对大部分算法的掌握都有问题,决定重写一系列博客把学 ...

  3. 从Trie谈到AC自动机

    ZJOI的SAM让我深受打击,WJZ大神怒D陈老师之T3是SAM裸题orz...我还怎么混?暂且写篇`从Trie谈到AC自动机`骗骗经验. Trie Trie是一种好玩的数据结构.它的每个结点存的是字 ...

  4. 初学AC自动机

    前言 一直听说\(AC\)自动机是一个很难很难的算法,而且它不在\(NOIP\)提高组范围内(这才是关键),所以我一直没去学. 最近被一些字符串题坑得太惨,于是下定决心去学\(AC\)自动机. 简介 ...

  5. AC自动机详解 (P3808 模板)

    AC自动机笔记 0.0 前言 哇,好久之前就看了 KMP 和 Trie 树,但是似乎一直没看懂 AC自动机?? 今天灵光一闪,加上之前看到一些博客和视频,瞬间秒懂啊... 其实这个玩意还是蛮好理解的. ...

  6. 【洛谷 P5357】 【模板】AC自动机(二次加强版)(AC自动机,差分)

    每次匹配都不停跳fail显然太慢了,于是在每个节点和fail指向的点连一条边,构成一棵树,在这棵树上差分一下就好了. AC自动机 就这个算法而言其实没用想象中那么难. #include <cst ...

  7. AC自动机-算法详解

    What's Aho-Corasick automaton? 一种多模式串匹配算法,该算法在1975年产生于贝尔实验室,是著名的多模式匹配算法之一. 简单的说,KMP用来在一篇文章中匹配一个模式串:但 ...

  8. AC自动机算法详解

    首先简要介绍一下AC自动机:Aho-Corasick automation,该算法在1975年产生于贝尔实验室,是著名的多模匹配算法之一.一个常见的例子就是给出n个单词,再给出一段包含m个字符的文章, ...

  9. AC自动机——多模式串匹配的算法思想

    标准KMP算法用于单一模式串的匹配,即在母串中寻求一个模式串的匹配,但是现在又存在这样的一个问题,如果同时给出多个模式串,要求找到这一系列模式串在母串存在的匹配个数,我们应该如何处理呢? 基于KMP算 ...

随机推荐

  1. 运用<ul><li>做导航栏

    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...

  2. 《程序员代码面试指南》第八章 数组和矩阵问题 找到无序数组中最小的k 个数

    题目 找到无序数组中最小的k 个数 java代码 package com.lizhouwei.chapter8; /** * @Description: 找到无序数组中最小的k 个数 * @Autho ...

  3. leetcode 890. Possible Bipartition

    Given a set of N people (numbered 1, 2, ..., N), we would like to split everyone into two groups of ...

  4. HTML5_CSS3仿Google Play垂直菜单

    在线演示 本地下载

  5. js/html/css做一个简单的图片自动(auto)轮播效果//带注释

    FF(firefox)/chrom/ie稳定暂无bug...注意:请自己建立一个images文件,放入几张900*238的图片(注意图片格式和名字与程序中一致). 1. [图片] 1.JPG 2. [ ...

  6. BZOJ 1208 [HNOI2004]宠物收养所:Splay(伸展树)

    题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=1208 题意: 有一个宠物收养所,在接下来一段时间内会陆续有一些宠物进到店里,或是一些人来领 ...

  7. Zookeeper用来干什么?

    在Zookeeper的官网上有这么一句话:ZooKeeper is a centralized service for maintaining configuration information, n ...

  8. Linux网络编程 gethostbyaddr()

    C语言函数 概述: 返回对应于给定地址的主机信息. #include <winsock.h> struct hostent FAR *PASCAL FAR gethostbyaddr(co ...

  9. jquery新添加元素无法删除

    $("body").on('click',".delic",function(){ $(this).parent().remove(); })

  10. BZOJ_2813_奇妙的Fibonacci_线性筛

    BZOJ_2813_奇妙的Fibonacci_线性筛 Description Fibonacci数列是这样一个数列: F1 = 1, F2 = 1, F3 = 2 . . . Fi = Fi-1 + ...