$O(N)$

由于无论删除哪个元素都会保留相对顺序，因此如果 $a$ 最初是按非递减顺序排序的，那么无论删除哪个元素，该数组都不会是一个疯狂的数组。

如果 $a$ 没有排序，我们可以注意到任何两个逆序的元素都满足要求

#include<bits/stdc++.h>

using namespace std;

typedef long long LL;
typedef pair<LL, LL> PII;

#define x first
#define y second

const int N = 1e5 + 10, mod = 1e9 + 7;

int a[N];

void solve()
{
    int n;
    cin >> n;
    for(int i = 0; i < n; i ++)cin >> a[i];
    
    for(int i = 1; i < n; i ++)
        if(a[i] < a[i - 1])
        {
            cout << "YES\n";
            cout << 2 << endl << a[i - 1] << ' ' << a[i] << endl;
            return;
        }
    cout << "NO\n";
    
}

int main()
{
    int t = 1;
    scanf("%d", &t);
    while(t --)
        solve();
}