結果

問題 No.3024 全単射的
コンテスト
ユーザー 👑 binap
提出日時 2024-05-27 18:51:40
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 450 ms / 5,000 ms
コード長 1,285 bytes
コンパイル時間 4,421 ms
コンパイル使用メモリ 263,136 KB
最終ジャッジ日時 2025-02-21 16:54:59
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#include<atcoder/all>
#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;

// Coodinate Compression
// https://youtu.be/fR3W5IcBGLQ?t=8550
template<typename T=int>
struct CC {
  bool initialized;
  vector<T> xs;
  CC(): initialized(false) {}
  void add(T x) { xs.push_back(x);}
  void init() {
    sort(xs.begin(), xs.end());
    xs.erase(unique(xs.begin(),xs.end()),xs.end());
    initialized = true;
  }
  int operator()(T x) {
    if (!initialized) init();
    return upper_bound(xs.begin(), xs.end(), x) - xs.begin() - 1;
  }
  T operator[](int i) {
    if (!initialized) init();
    return xs[i];
  }
  int size() {
    if (!initialized) init();
    return xs.size();
  }
};

int main(){
	int N;
	long long M;
	cin >> N >> M;
	CC<long long> cc;
	vector<pair<long long, long long>> target;
	rep(i, N){
		long long l, r;
		cin >> l >> r;
		target.emplace_back(l, r);
		cc.add(l);
		cc.add(r);
	}
	int K = cc.size();
	atcoder::mf_graph<int> graph(N + K + 2);
	int sv = N + K;
	int tv = N + K + 1;
	rep(i, N) graph.add_edge(sv, i, 1);
	rep(i, N){
		auto [l, r] = target[i];
		graph.add_edge(i, N + cc(l), 1);
		graph.add_edge(i, N + cc(r), 1);
	}
	rep(x, K) graph.add_edge(N + x, tv, 1);
	int ans = graph.flow(sv, tv);
	cout << ans << "\n";
	return 0;
}
0