AtCoder Problems in C++ #D - Axis-Parallel Rectangle

AtCoder Beginner Contestの過去問から、その提出コードの解答例です。
AtCoderとは、コンテストを通じて、プログラミングやアルゴリズムを学習するサービスです。
atcoder.jp
プログラミングコンテストとは、「与えられた問題をいかに素早く、正確に」解くことができるかを競うものです。
「競技プログラミング」を略して、「競プロ」などと呼ばれています。

#D - Axis-Parallel Rectangle

atcoder.jp

僕が作成、提出したコードは、以下のとおりです。

/*
AtCoder Problems in C++
#D - Axis-Parallel Rectangle
https://atcoder.jp/contests/abc075/tasks/abc075_d
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
using ll=long long;
int main(void){
  ll n,k;
  cin>>n>>k;
  vector<ll> x(n),y(n);
  for(ll i=0;i<n;i++){
    cin>>x[i]>>y[i];
  }
  ll ans=LONG_LONG_MAX;
  for(ll a=0;a<n;a++){
    for(ll b=0;b<n;b++){
      for(ll c=0;c<n;c++){
        for(ll d=0;d<n;d++){
          ll left=x[a],right=x[b];
          ll down=y[c],up=y[d];
          if(right<left || up<down){
            continue;
          }
          ll cnt=0;
          for(ll i=0;i<n;i++){
            if((left<=x[i] && x[i]<=right) && (down<=y[i] && y[i]<=up)){
              cnt++;
            }
          }
          if(cnt>=k){
            ans=min(ans,(right-left)*(up-down));
          }
        }
      }
    }
  }
  cout<<ans<<endl;
  return 0;
}

AtCoder Beginner Contestは、オンラインジャッジによるプログラミングコンテストです。
日本語と英語に対応していて、週末ごとに実施されているみたいです。
https://practice.contest.atcoder.jp/tutorial
アカウントを登録すれば、誰でも参加できます。