CF1382A.Common Subsequence

You are given two arrays of integers $a_1,\ldots,a_n$ and $b_1,\ldots,b_m$.

Your task is to find a non-empty array $c_1,\ldots,c_k$ that is a subsequence of $a_1,\ldots,a_n$, and also a subsequence of $b_1,\ldots,b_m$. If there are multiple answers, find one of the smallest possible length. If there are still multiple of the smallest possible length, find any. If there are no such arrays, you should report about it.

A sequence $a$ is a subsequence of a sequence $b$ if $a$ can be obtained from $b$ by deletion of several (possibly, zero) elements. For example, $[3,1]$ is a subsequence of $[3,2,1]$ and $[4,3,1]$, but not a subsequence of $[1,3,3,7]$ and $[3,10,4]$.

给你两个整数数组 $a_1,\ldots,a_n$ 和 $b_1,\ldots,b_m$。

你的任务是找出一个非空数组 $c_1,\ldots,c_k$，它既是 $a_1,\ldots,a_n$ 的子序列，也是 $b_1,\ldots,b_m$ 的子序列。如果存在多个满足条件的数组，请找出其中长度最小的一个；如果仍存在多个长度最小的数组，则任选其一即可。如果不存在这样的数组，请报告该情况。

序列 $a$ 是序列 $b$ 的子序列，当且仅当 $a$ 可通过从 $b$ 中删除若干（可能为零）个元素得到。例如，$[3,1]$ 是 $[3,2,1]$ 和 $[4,3,1]$ 的子序列，但不是 $[1,3,3,7]$ 和 $[3,10,4]$ 的子序列。

The first line contains a single integer $t$ ($1\le t\le 1000$) — the number of test cases. Next $3t$ lines contain descriptions of test cases.

The first line of each test case contains two integers $n$ and $m$ ($1\le n,m\le 1000$) — the lengths of the two arrays.

The second line of each test case contains $n$ integers $a_1,\ldots,a_n$ ($1\le a_i\le 1000$) — the elements of the first array.

The third line of each test case contains $m$ integers $b_1,\ldots,b_m$ ($1\le b_i\le 1000$) — the elements of the second array.

It is guaranteed that the sum of $n$ and the sum of $m$ across all test cases does not exceed $1000$ ($\sum\limits_{i=1}^t n_i, \sum\limits_{i=1}^t m_i\le 1000$).

第一行包含一个整数 $t$（$1\le t\le 1000$），表示测试用例的数量。接下来的 $3t$ 行包含各测试用例的描述。

每个测试用例的第一行包含两个整数 $n$ 和 $m$（$1\le n,m\le 1000$），分别表示两个数组的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1,\ldots,a_n$（$1\le a_i\le 1000$），表示第一个数组的元素。

每个测试用例的第三行包含 $m$ 个整数 $b_1,\ldots,b_m$（$1\le b_i\le 1000$），表示第二个数组的元素。

保证所有测试用例中 $n$ 的总和与 $m$ 的总和均不超过 $1000$（即 $\sum\limits_{i=1}^t n_i, \sum\limits_{i=1}^t m_i\le 1000$）。

For each test case, output "YES" if a solution exists, or "NO" otherwise.

If the answer is "YES", on the next line output an integer $k$ ($1\le k\le 1000$) — the length of the array, followed by $k$ integers $c_1,\ldots,c_k$ ($1\le c_i\le 1000$) — the elements of the array.

If there are multiple solutions with the smallest possible $k$, output any.

对于每个测试用例，如果存在解，则输出 "YES"；否则输出 "NO"。

如果答案为 "YES"，则在下一行输出一个整数 $k$（$1\le k\le 1000$）—— 表示数组的长度，随后输出 $k$ 个整数 $c_1,\ldots,c_k$（$1\le c_i\le 1000$）—— 表示该数组的元素。

如果存在多个满足最小可能 $k$ 的解，输出任意一个即可。

In the first test case, $[4]$ is a subsequence of $[10, 8, 6, 4]$ and $[1, 2, 3, 4, 5]$. This array has length $1$, it is the smallest possible length of a subsequence of both $a$ and $b$.

In the third test case, no non-empty subsequences of both $[3]$ and $[2]$ exist, so the answer is "NO".

在第一个测试用例中，$[4]$ 是 $[10, 8, 6, 4]$ 和 $[1, 2, 3, 4, 5]$ 的公共子序列。该数组长度为 $1$，是 $a$ 和 $b$ 的公共子序列的最小可能长度。

在第三个测试用例中，$[3]$ 和 $[2]$ 不存在任何非空公共子序列，因此答案为 “NO”。