題目地址
題意：給你一個長度為n的序列，你可以刪除m個元素，使得這個序列變成一個單調上升或下降序列。
思路：就是求最長上升或下降子序列長度是不是大於n-k。
推薦一個理解nlogn時間複雜度的最長上升子序列的模板傳送門。

#include <iostream>
#include <cstring>
#include <string>
#include <queue>
#include <vector>
#include <map>
#include <set>
#include <stack>
 

#include <cmath>
#include <cstdio>
#include <algorithm>
#include <iomanip>
#define N 100010
#define M 100010
#define LL __int64
#define inf 0x3f3f3f3f
#define lson l,mid,ans<<1
#define rson mid+1,r,ans<<1|1
#define getMid (l+r)>>1
#define movel ans<<1
#define mover ans<<1|1
 

using namespace std;
const LL mod = 1000000007;
int numb[N], dp[N], numa[N];//dp中存的是長度為（i+1）上升系列中最大的最小的，越前面越小（一定）
int BiSearch(int len, int key) {//二分法  
    int l = 0, r = len - 1;
    while (l <= r) {
        int mid = (l + r) / 2;
        if (dp[mid]>key) {
            r = mid - 1;
        }
        else
 
 if (dp[mid]<key) {
            l = mid + 1;
        }
        else {//如果當前的正好等於所以就不用改變了
            return mid;
        }
    }
    return l;
}
int main() {
    cin.sync_with_stdio(false);
    int n, m, T;
    cin >> T;
    while (T--) {
        cin >> n >> m;
        for (int i = 0; i<n; i++) {
            cin >> numa[i];
            numb[i] = -numa[i];//取反每個數字，這樣求最長下降又 可以用最長上升了。
        }
        int len = 1;
        dp[0] = numa[0];//意義是長度為1的當前最小值（但是我是從0開始的所以後面都要減一）
        for (int i = 1; i<n; i++) {
            if (numa[i]>dp[len - 1]) {
                dp[len] = numa[i];//長度可以加一
                len++;
            }
            else {
                int pos = BiSearch(len, numa[i]);//二分找到最大的長度能夠吧最大值變小的長度
                dp[pos] = numa[i];//改變那個值後面的結果（這樣那個長度的最大值就變小了，注意那個+1，-1）
            }
        }
        int lena = len;
        len = 1;
        dp[0] = numb[0];
        for (int i = 1; i<n; i++) {
            if (numb[i]>dp[len - 1]) {
                dp[len] = numb[i];
                len++;
            }
            else {
                int pos = BiSearch(len, numb[i]);
                dp[pos] = numb[i];
            }
        }
        int lenb = len;
        if (n == m || n - m <= lena || n - m <= lenb) {
            cout << "A is a magic array." << endl;
        }
        else {
            cout << "A is not a magic array." << endl;
        }
    }
    return 0;
}

推薦一篇好的講解部落格：傳送門