传送门

题意：

给你$n$个串，字符集是$a-z$，让你在每个串种选择一个子序列，保证对于$i<j,s_i<s_j$，也就是选择的串字典序是严格递增的，让你选择一种方式，使得选择的字符串长度之和最大。

$n\le 15,|s|\le 15$

思路：

其实看到范围这么小，应该比较容易想到是个状压$dp$。

所以我们就套路的设$f[i][j]$表示到了$i$个串，第$i$个串状态为$j$的方案数，转移的话就从上一个状态的所有方案取能到当前串的时候转移，复杂度$O(n{2}^{30})$，显然过不去。。。

所以我们考虑优化转移，注意到直接找字典序不好找，我们能不能维护一个前缀最大值，让后二分呢？显然可以，我们改一下状态，改为$f[i][j]$表示到了第$i$个串，当前选择的串是第$j$大的串，这样$n{2}^{15}$预处理一下，让后转移$30n{2}^{15}$转移即可，当然可以优化掉这个二分，由于其具有单调性，整个双指针即可。

由于一开始看错题，代码写的极其丑陋。

//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<deque>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=400100,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
int f[30][1<<16],g[30][1<<16];
vector<string>s[30];int main() {scanf("%d",&n);for(int i=1;i<=n;i++) {string ss; cin>>ss;int len=ss.length();for(int j=1;j<1<<len;j++) {string now;for(int k=0;k<len;k++) if(j>>k&1) now+=ss[k];s[i].push_back(now);}sort(s[i].begin(),s[i].end()); s[i].erase(unique(s[i].begin(),s[i].end()),s[i].end());}int ans=0;for(int i=1;i<=s[1].size();i++) f[1][i]=s[1][i-1].size(),g[1][i]=max(g[1][i-1],f[1][i]);for(int i=2;i<=n;i++) {int len=s[i].size();for(int j=1;j<=len;j++) {g[i][j]=g[i][j-1];int pos=lower_bound(s[i-1].begin(),s[i-1].end(),s[i][j-1])-s[i-1].begin();if(!pos||!g[i-1][pos]) continue;f[i][j]=g[i-1][pos]+s[i][j-1].size();g[i][j]=max(g[i][j],f[i][j]);
//			if(i==n&&pos) ans=max(ans,f[i][j]);}
//		for(int j=1;j<=s[i].size();j++) f[i][j]=s[i][j-1].size(),g[i][j]=max(g[i][j-1],f[i][j]);}ans=g[n][s[n].size()];if(ans==0) puts("-1");else cout<<ans<<endl;return 0;
}