POJ 2176 Folding 区间dp

地址：

http://poj.org/problem?id=2176

https://www.acwing.com/problem/content/321/

题意：

比尔正在试图用折叠重复子序列的方式紧凑的表示由大写字母’A’到’Z’组成的字符序列。

例如，表示序列AAAAAAAAAABABABCCD的一种方式是10（A）2（BA）B2（C）D。

他通过以下方式定义了折叠的字符序列以及它们的展开变换：

1、包含带个字符的序列被认为是折叠序列，展开它得到的序列为它本身。

2、如果S和Q是两个折叠序列，并且S可以展开得到S’，Q可以展开得到Q’，则认为SQ也是一个折叠序列，并且SQ展开得到S’Q’。

3、如果S是折叠序列，则X(S)也是折叠序列，其中X为大于1的整数。如果S展开得到S’，则X(S)展开得到X个S’。

根据定义可以展开任意给出的折叠序列，现在给出原序列，请你将它折叠，并使得折叠序列包含尽可能少的字符数。

输入格式

输入包含一行由大写字母构成的字符序列，序列长度在1到100之间。

输出格式

输出包含字符数最少的折叠序列，如果答案不唯一则任意输出一个即可。

 

对于一个字符串来说，有可能有两种操作：

1.字符串由其子串完全拓展而来 ， 比如说 AAAAA 由 5（A） 完全拓展而来

2.字符串由子串拼接而来 ， 比如说 ABABAAAAA 由 2(AB)和5(A)拼接而来

 

对于拓展操作，需要逐一判断其有可能成为循环元的子串是否是循环元

对于拼接操作，则使用区间dp

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<string>
#include<sstream>
#define ll long long 
#define ull unsigned long long
using namespace std;
const int INF = 0x3f3f3f3f;
const int maxn = 107;
int dp[maxn][maxn];
string ans[maxn][maxn];
stringstream ans_s;
char s[maxn];
int main() {
	scanf("%s", s + 1);
	int n = strlen(s + 1);
	memset(dp, INF, sizeof(dp));
	for (int i = 1; i <= n; i++)
		ans[i][i] = s[i], dp[i][i] = 1;
	for (int len = 2; len <= n; len++) {
		for (int i = 1; i <= n; i++) {
			int j = i + len - 1;
			if (j > n)
				break;
			for (int k = 1; k <= len/2; k++) {//枚举循环元长度
				if (len%k)
					continue;
				int ok = 1;
				for (int kk = i + k; kk <= j; kk++) {
					if (s[kk] != s[i + (kk - i) % k]) {
						ok = 0;
						break;
					}
				}
				if (ok) { //假如该子串确实是循环元
					//dp[i][j] = 3 + k;
					ans_s.clear();
					ans_s << len/k;
					ans_s << "(";
					ans_s << ans[i][i + k -1];
					ans_s << ")";
					ans_s >> ans[i][j];
					dp[i][j] = ans[i][j].size();
					break;
				}
			}
			for (int k = i; k < j; k++) {//拼接
				if (dp[i][k] + dp[k + 1][j] < dp[i][j]) {
					dp[i][j] = dp[i][k] + dp[k + 1][j];
					ans[i][j] = ans[i][k] + ans[k + 1][j];
				}
			}
		}
	}
	//cout << dp[1][n] << endl;
	cout << ans[1][n] << endl;
	return 0;
}