hdu 5510 Bazinga (kmp+dfs剪枝) 2015ACM/ICPC亚洲区沈阳站-重现赛(感谢东北大学)

废话:

这道题很是花了我一番功夫。首先,我不会kmp算法,还专门学了一下这个算法。其次,即使会用kmp,但是如果暴力枚举的话,还是毫无疑问会爆掉。因此在dfs的基础上加上两次剪枝解决了这道题。

题意:

我没有读题,只是队友给我解释了题意,然后我根据题意写的题。

大概意思是给n个字符串,从上到下依次标记为1——n,寻找一个标记最大的串,要求这个串满足:标记比它小的串中至少有一个不是它的子串。

输入:

第一行输入一个整型t,表示共有t组数据。

每组数据首行一个整型n,表示有n个串。

接下来n行,每行一个字符串。

输出:

输出格式为”Case #x: y”,其中x为组数,y表示串的标记。

如果存在满足条件的串,则输出这个串的标记,否则输出-1。

题解:

  1. 使用dfs,源串从标记最大的串(串n-1)开始,匹配串从比源串小的串开始,从大到小依次匹配。
  2. 如果两个串匹配,则继续匹配更小的匹配串。如果两个串不匹配,则记录不匹配的匹配串,同时比较源串和答案的大小,答案取较大值,同时执行3。如果匹配串直到匹配到标记最小的串(串0),所有串都可以和源串匹配,则执行4。
  3. 源串回溯,然后用回溯的源串和记录的匹配串进行比较,即,进行2。
  4. 当前源串不满足条件,回溯到dfs结束。
  5. 输出答案。

需要注意的有两点——

  1. 如果当前源串Aj与当前匹配串Ai不匹配,那么可知当前源串的父串Ak,即当前源串的源串,也可以直接与Ai比较,而不需要与Aj和Ai之间的串匹配,因为Al(i < l < j) 一定是Ak的子串。这点很容易证明。
  2. 如果源串Ak一直递归到最小的串A0都匹配,那么任意串Ai(0 < i <= k) 都和A0匹配,即A0是任意串Ai的子串。那么任意Ai都不可能是答案。

代码如下——

  1 #include <cstdio>
  2 #include <cstring>
  3 #include <cmath>
  4 #include <algorithm>
  5 using namespace std;
  6
  7 const int N = 2010;
  8
  9 int Next[N];
 10 char s[510][N];
 11 int t, n;
 12 int lenS, lenT;
 13 int ans;
 14 int mid;                                                        //剪枝,放置某个串被多次访问
 15
 16 void init()
 17 {
 18     scanf("%d", &n);
 19     for(int i = 0; i < n; i++) scanf("%s", s[i]);
 20     ans = -2;
 21     mid = -1;
 22 }
 23
 24 void kmpNext(char* T)                                           //计算Next数组
 25 {
 26     int i = 1;
 27     Next[0] = -1;
 28     while(i < lenT)
 29     {
 30         int j = 0;
 31         while(T[j] == T[i])
 32         {
 33             Next[i] = j;
 34             i++;
 35             j++;
 36         }
 37         Next[i] = j;
 38         i++;
 39     }
 40 }
 41
 42 bool kmp(char* S, char* T)                                      //kmp算法
 43 {
 44     lenS = strlen(S);
 45     lenT = strlen(T);
 46     kmpNext(T);
 47     int i = 0, j = 0;
 48     while(i < lenS && j < lenT)
 49     {
 50         if(j == -1)
 51         {
 52             i++;
 53             j = 0;
 54         }
 55         else if(S[i] == T[j])
 56         {
 57             i++;
 58             j++;
 59         }
 60         else j = Next[j];
 61     }
 62     if(j == lenT) return 1;
 63     return 0;
 64 }
 65
 66 bool dfs(int x)                         //递归寻找子串
 67 {
 68     for(int i = x-1; i >= 0; i--)
 69     {
 70         if(mid != -1 && mid != i) continue;         //剪枝,如果串Ai从未查询过,或者串Ax的子串含不串Ai,那么查询Ax是否含Ai
 71         if(kmp(s[x], s[i]))
 72         {
 73             if(i == 0) return 1;
 74             mid = -1;                               //如果串Ax含串Ai,那么mid归为-1
 75             bool flag = dfs(i);
 76             if(flag) return 1;                      //剪枝,如果串A0是串Ax的子串,那么Ax不符合条件
 77         }
 78         else
 79         {
 80             ans = ans > x ? ans : x;                //永远取最大值
 81             mid = i;
 82             break;
 83         }
 84
 85
 86     }
 87     return 0;
 88 }
 89
 90 void work()
 91 {
 92     dfs(n-1);
 93 }
 94
 95 void outit(int tm)
 96 {
 97     printf("Case #%d: %d\n", tm, ans+1);
 98 }
 99
100 int main()
101 {
102     scanf("%d", &t);
103     for(int tm = 1; tm <= t; tm++)
104     {
105         init();
106         work();
107         outit(tm);
108     }
109 }

Kmp算法——

http://www.cnblogs.com/mypride/p/4950245.html

ps. 看了看别人的代码,有些直接用了迭代法,复杂度为n^2/2,不过加上了一个感觉不太靠谱的剪枝。我算了算,最坏情况下时间好像还有可能爆掉。但是运行结果竟然不比我的慢多少,醉了。可能我算时间的方法有问题?或者数据特殊?

唉……革命尚未成功,同志仍需努力啊!

时间: 2024-10-25 02:13:41

hdu 5510 Bazinga (kmp+dfs剪枝) 2015ACM/ICPC亚洲区沈阳站-重现赛(感谢东北大学)的相关文章

hdu5512 Pagodas(2015ACM/ICPC亚洲区沈阳站-重现赛(感谢东北大学) )

Pagodas Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/65536 K (Java/Others) Total Submission(s): 14 Accepted Submission(s): 13 Problem Description n pagodas were standing erect in Hong Jue Si between the Niushou Mountain and the Yuntai M

【hdu 5510】【2015ACM/ICPC亚洲区沈阳站-重现赛 】Bazinga 题意&题解&代码(C++)

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5510 题意: 给出n个字符串,求下标最大的字符串,存在下标小于它的字符串中有字符串不是他的子串. 题解: 首先能想到kmp+n^2暴力匹配,但是感觉会超时,因此我们需要加一些剪枝,水题,不要被他的数据范围吓到.. 代码: #include<iostream> #include<algorithm> #include<stdio.h> #include<string.

【hdu 5521】【 2015ACM/ICPC亚洲区沈阳站重现赛】Meeting 题意&题解&代码

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5521 题意: 输入:输入n表示有n个点,输入m表示有m个点集. 接下来m行信息,每行先输入一个t表示这个点集中任意两点费时为t,再输入一个s,表示有s个点在这个点集中,接下来s个数表示这些数在这个点集之中. 现在有两个人,其中一个人住在点1,另一个人住在点n,如果两个人要见面,同时出发,可以走走停停,问需要最少时间是多少,有哪几个点能被当成见面点. 题解: 我们发现这道题如果建好图之后就直接是一个

2015ACM/ICPC亚洲区沈阳站-重现赛 1004 Pagodas

Problem Description: n pagodas were standing erect in Hong Jue Si between the Niushou Mountain and the Yuntai Mountain, labelled from 1 to n. However, only two of them (labelled aand b, where 1≤a≠b≤n) withstood the test of time. Two monks, Yuwgna and

2017ACM/ICPC亚洲区沈阳站-重现赛(感谢东北大学)HDU6225.Little Boxes-大数加法

整理代码... Little Boxes Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 262144/262144 K (Java/Others)Total Submission(s): 2304    Accepted Submission(s): 818 Problem Description Little boxes on the hillside.Little boxes made of ticky-tacky.Littl

2016ACM/ICPC亚洲区沈阳站-重现赛

C.Recursive sequence 求ans(x),ans(1)=a,ans(2)=b,ans(n)=ans(n-2)*2+ans(n-1)+n^4 如果直接就去解...很难,毕竟不是那种可以直接化成矩阵的格式,我们也因为这个被卡很长时间 事实上可以把这道式子化成几个基本元素的格式,然后就容易组合了,比如ans(n-2)*2+ans(n-1)+(n-1)^4+4*(n-1)^3+6*(n-1)^2+4*(n-1)^1+1 包含了所有的基本组成形式,化绝对为相对,并且除了一个n-2其他都是n

【hdu 5517】【2015ACM/ICPC亚洲区沈阳站】Triple 题意&题解&代码(C++)

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5517 题意: 给出n个二元组<a,b>和m个三元组<c,d,e>现在将其组合成一个新的三元组集合,新三元组中允许有重复元素,一个二元组和一个三元组可以组合当且仅当b==e时将其组合成<a,c,d>,在新组合的三元组中任取一元素<a,b,c>,如果在新组合存在一个元素<u,v,w>使得u!=a && v!=b && w

【hdu 5512】【 2015ACM/ICPC亚洲区沈阳站】Pagodas 题意&题解&代码(C++)

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5512 题意: 给出n个点和a,b两个初始被标记的点,每次可以选取已经被标记点中的两个点 i , j 来标记新点 i+j 或 i-j,两个人轮流标记,如果谁无法标记,谁输,输出赢的人. 题解: 首先我们发现当a,b互质时,它通过以上操作,一定能标记到1号点,接着所有点都可以标记,当a,b不互质时,多写几个数找规律发现gcd(a,b)倍数的位置都可以标记到. 代码: #include<iostream

HDU 5521 Meeting(好题,最短路,2015ACM/ICPC亚洲区沈阳站)

1 /** 2 题意:有n个点,m个集合 3 集合内的点 两两 到的时间为 ti; 4 有两个人 在1,n; 输出最小相遇时间,以及哪些点(可以走走停停); 5 6 思路:****将集合抽象为点.访问过的集合不再访问. 7 Set集合抽象的点. 8 Belong属于哪个集合. 9 */ 10 #include<bits/stdc++.h> 11 using namespace std; 12 typedef long long ll; 13 const ll INF = 0x7f7f7f7f;