A - A 计蒜客 - T1271（分类讨论）

A - A 计蒜客 - T1271

题目链接

思路

• 题意：给我们一个长度为 n 的a数组，又给了我们他相应的元素$a1,a2,a3,,,an$,又给了我们一个数k，问a中是否存子序列数组b，b数组满足，长度大于等于2，并且，在b数组中的任意两个元素相加和为k的倍数，若存在输出最长的那个b的长度，否则输出-1
  *思路：我们考虑什么样的两个数a、b相加会得出来是k的倍数
  1. 第一种情况就是 a、b都是k的倍数
  2. 第二种情况是a、b都是k的一半
  3. 第三种情况是a、b不是k的倍数不是k的一半，但是a、b相加为k的倍数，这种情况形成的b的最长长度只能是2，不能再长了（因为我们往a、b组成的b序列中添加一个c无论c的值是什，这三个数之间是不可能形成任意两元素相加为k的倍数）

代码

#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<map>
using namespace std;
void fre() { freopen("A.txt","r",stdin), freopen("Ans.txt","w",stdout); }
#define ll long long 
const int mxn = 100005;

ll ar[mxn];
map<int, int> mp;
int main()
{
    /* fre(); */
    int n, k;
    scanf("%d %d", &n, &k);
    for(int i = 0; i < n; i ++) 
        scanf("%lld", &ar[i]);
    if(n == 1)
    {
        printf("-1\n");
        return 0;
    }
    int flag_more = 0;
    int flag_ban = 0;
    for(int i = 0; i < n; i ++)
    {
        ar[i] %= k;
        if(ar[i] % k == 0)
            flag_more ++;
        if(k%2 == 0 && ar[i] == k/2)
            flag_ban ++;
    }
    if(flag_more >= 2 || flag_ban >= 2)
    {
        printf("%d\n", max(flag_more, flag_ban));
        return 0;
    }

    for(int i = 0; i < n; i ++)
    {
        mp[ar[i]] ++;
    }
    bool flag_2 = 0;
    for(int i = 0; i < n; i ++)
    {
        mp[ar[i]] --;
        if(mp[k - ar[i]])
        {
            flag_2 = 1;
            break;
        }
    }
    if(flag_2)
    {
        printf("%d\n", 2);
        return 0;
    }
    printf("-1\n");

    return 0;
}