CF两题的感想

Make equal with mod（GOOD）

思路分析

构造题为什么没有找到突破口

这道题属于典型的构造题。需要构造$x_1,x_2,\cdots x_n$，尽可能使得最终目的达到。毕竟有输入数据，构造出来的数据很有可能就是输入数据的函数即$f(a_1,\cdots a_n)$。和下一道Integer Move类似，可以利用一些特殊值作为突破口，再讨论不是特殊值剩下的情况，顺理成章。但归根揭底还是对模运算的认识不足。

Solution

• 如果总是模所有最大值（特殊值），则如果$1\notin a[]$则一定可使得所有变为0
• 如果$1\in a[]$，则如果能找到$x$，最终结果一定等于1，我们的目标就是使得最终结果为1
  • 如果数组中存在连续差1的数字，只要模的不是两个数中的较大值或1，这两个数字模后的结果一定差1. （这里稍微可以多写几个看下）
  • 否则如果不存在，依然可以不断模数组中的最大值减去1，使得最终结果为1.这是因为模最大值减去1只使得数组中最大值等于1，其余值不变。

代码

#include<iostream>
#include<algorithm>
#include<map>
#include<stdio.h>
#include<string.h>
#include<unordered_map>
#include<vector>
#include<queue>
#include<set>
#include<math.h>
#define int long long
using namespace std;
const int mod = 998244353;  
typedef long long ll;





signed main()
{
    int t;cin>>t;
    for(int i = 0;i<t;i++)
    {
        int n; cin >> n;
        bool flag_1 = false;
        bool flag_0 = false;
        int a[n];
        for(int j = 0;j<n;j++) {int b;cin >> b;a[j]=b;if(b == 1) {flag_1 = true;} if(b == 0) flag_0 = true;};
        if(!flag_1) cout << "YES" << endl;   //没出现过1
        else if(flag_1 && flag_0) cout << "NO" << endl;  //既出现1又出现0
        else //出现过1但没出现过0,如果最终相等则一定equal 1
        {
            sort(a,a+n);
            bool flag =  true;
            for(int  j = 0;j<n;j++) {if(j<n-1&&a[j+1] == a[j] + 1) {flag=  false;break;}}
            if(!flag) {cout << "NO" << endl;} else cout << "YES" << endl;
        } 
    }
    system("pause");
}

Integer Moves

• 当时这道题还用广搜做！
• 右上最多两步（特殊），再判断能否直达（讨论剩余的）。