SP9098 LCS3 - Long Common Subsequence 题解

询问的字符串长度很小，答案只可能是询问字符串的子集，所以直接对询问字符串枚举子集。

需要判断枚举出的答案是否合法，即是否为 $a$ 的子序列。预处理 $v_x=\{i|a_i=x\}$。

则对答案 $z$ 遍历 $i\in[1,|z|]$，当前位置 $i$ 在 $a$ 中的位置 $p$ 一定在 $i-1$ 在 $a$ 中的位置 $p'$ 之后，

所以令 $p$ 为 $v_{z_i}$ 中大于 $p'$ 的最小数即可，若找不到这样的 $p$ 答案不合法。

时间复杂度 $O(q2^mm\log n)$。

#include <cstdio>
#include <vector>
#include <algorithm>
using namespace std;
int n, q, s[5];
vector<int> v[10050];
int main()
{
    scanf("%d", &n);
    for (int i = 1, x; i <= n; ++i)
        scanf("%d", &x), v[x].push_back(i);
    scanf("%d", &q);
    for (int i = 0, m; i < q; ++i)
    {
        scanf("%d", &m);
        vector<int> q;
        for (int i = 0; i < m; ++i)
            scanf("%d", s + i);
        for (int S = 1, p, f; S < 1 << m; ++S)
        {
            vector<int> z;
            for (int j = 0; j < m; ++j)
                if (S & 1 << j)
                    z.push_back(s[j]);
            if (z.size() > q.size() || z.size() == q.size() && z < q)
            {
                p = 0;
                f = 1;
                for (int j = 0; j < z.size(); ++j)
                {
                    auto o = upper_bound(v[z[j]].begin(), v[z[j]].end(), p);
                    if (o == v[z[j]].end())
                    {
                        f = 0;
                        break;
                    }
                    p = *o;
                }
                if (f)
                    q = z;
            }
        }
        printf("%d ", q.size());
        for (auto j : q)
            printf("%d ", j);
        puts("");
    }
    return 0;
}