LCS3 - Long Common Subsequence

由于 $m \leq 5$，所以非空子序列只有 $2^m-1 \leq 31$ 个，直接全部找出来并且放在子序列自动机上跑一下就好了。然后值域很大，朴素的用 nxt 构建子序列自动机的复杂度为 $O(nv)$，$v$ 是值域。这样复杂度错误，所以 vector 上二分即可。

所以单次复杂度为 $O(2^m \times m \times \log n)$，丝毫没有压力。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>
#include <string>
using namespace std;

const int N = 1e6 + 5;

int n, q, m;
int a[N], b[N], ans;
vector<int> p[N];
vector<vector<int> > v;

void dfs(int x, vector<int> k)
{
	if (x > m)
	{
		if (k.empty()) return;
		int now = 0;
		for (int i : k)
		{
			if (!p[i].size()) return;
			auto it = upper_bound(p[i].begin(), p[i].end(), now);
			if (it == p[i].end()) return;
			now = *it;
		}
		if (k.size() > ans)
		{
			ans = k.size();
			v.clear();
			v.emplace_back(k);
		}
		else if (k.size() == ans)
		{
			v.emplace_back(k);
		}
		return;
	}
	dfs(x + 1, k);
	k.emplace_back(b[x]);
	dfs(x + 1, k);
}

int main()
{
	ios::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
	cin >> n;
	for (int i = 1; i <= n; i++) cin >> a[i], p[a[i]].emplace_back(i);
	cin >> q;
	while (q--)
	{
		ans = 0;
		v.clear();
		cin >> m;
		for (int i = 1; i <= m; i++)
		{
			cin >> b[i];
		}
		vector<int> k;
		dfs(1, k);
		cout << ans << " ";
		sort(v.begin(), v.end());
		if (v.size()) for (int i : v[0]) cout << i << " ";
		cout << "\n";
	}
	return 0;
}