考虑一种暴力,每次枚举两两点对之间的曼哈顿距离,并开一个桶记录每种距离是否出现过,如果某次枚举出现了以前出现的距离就输 YESYES ,否则就输 NONO .
注意到曼哈顿距离只有 O(M)O(M) 种,根据鸽笼原理,上面的算法在 O(M)O(M) 步之内一定会停止.所以是可以过得.
一组数据的时间复杂度 O(\min{N^2,M})O(min{N2,M}) .

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <set>
using namespace std;

struct sa
{
    int x,y;
} a[100010];
int T;
int n,m;
int main()
{
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d",&n,&m);
        set<int>s;
        for(int i=1; i<=n; i++) scanf("%d%d",&a[i].x,&a[i].y);
        if (n*(n-1)>m*2)
        {
            printf("YES\n");
            continue;
        }
        bool f=0;
        for(int i=1; i<=n; i++)
        {
            for(int j=i+1; j<=n; j++)
            {
                int x=(abs)(a[i].x-a[j].x)+(abs)(a[i].y-a[j].y);
                if (s.find(x)!=s.end()) f=1;
                s.insert(x);
            }
        }
        if (f) printf("YES\n");
        if (!f) printf("NO\n");
    }
    return 0;
}