//#pragma GCC target("avx2") //#pragma GCC optimize("Ofast") //#pragma GCC optimize("unroll-loops") #include using namespace std; using ll = long long; using pii = pair; using pll = pair; using pli = pair; #define TEST cerr << "TEST" << endl #define AMARI 998244353 //#define AMARI 1000000007 #define el '\n' #define El '\n' #define YESNO(x) ((x) ? "Yes" : "No") #define VEC_UNIQ(v) sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); #define REV_PRIORITY_QUEUE(tp) priority_queue,greater> //座標圧縮 template vector ococo_cordinate_compression(vector a){ int n = a.size(); vector temp = a; sort(temp.begin(),temp.end()); temp.erase(unique(temp.begin(),temp.end()),temp.end()); vector ans(n); for(int i = 0; i < n; i++){ typename vector::iterator it = lower_bound(temp.begin(),temp.end(),a[i]); int idx = distance(temp.begin(),it); ans[i] = idx; } return ans; } // フロー周りを扱う色々(になる予定) template class ococo_flow { private: int n; vector> to,gyakuhen; vector> cap; vector dist; vector visited; T inft; // BFS O(|V|) void dinic_bfs(int s) { queue que; que.push(s); dist[s] = 0; while(!que.empty()) { int temp = que.front(); que.pop(); for(int i = 0; i < to[temp].size(); i++) { if(cap[temp][i] > 0 && dist[to[temp][i]] < 0) { dist[to[temp][i]] = dist[temp] + 1; que.push(to[temp][i]); } } } } // 再帰DFS 増加パスを取得する 最悪O(|V||E|) T dinic_dfs(int point, int goal, T const& f) { if(point == goal) { return f; } for(int &i = visited[point]; i < to[point].size(); i++) { if(cap[point][i] > 0 && dist[point] < dist[to[point][i]]){ T temp = dinic_dfs(to[point][i], goal, min(f, cap[point][i])); if(temp > 0) { cap[point][i] -= temp; cap[to[point][i]][gyakuhen[point][i]] += temp; return temp; } } } return 0; } // デバッグ用 void print_flow(void) { for(int i = 0; i < n; i++) { cerr << "i = " << i; cerr << " dist[i] = " << dist[i] << el; for(int j = 0; j < to[i].size(); j++) { cerr << "to = " << to[i][j]; cerr << " cap = " << cap[i][j]; cerr << el; } cerr << el; } cerr << el; return; } public: ococo_flow(int N = 0, T Tinf = INT_MAX) { inft = Tinf; n = N; to.resize(n); cap.resize(n); gyakuhen.resize(n); dist.resize(n); visited.resize(n); } // s→tの大きさflの辺を追加する void einsert(int s, int t, T fl) { assert(s < n && t < n); to[s].push_back(t); cap[s].push_back(fl); gyakuhen[s].push_back(gyakuhen[t].size()); // 逆辺も張る to[t].push_back(s); cap[t].push_back(fl); gyakuhen[t].push_back(gyakuhen[s].size() - 1); } // 点sから点tへの最大流をdinicで求める 最悪O(|V|**2 |E|)だが実際にそこまでいくことは少ない // BFSで距離が増加する向きの変のみで構成されたグラフを取得する // 増加パスをDFSで求めてフローを流す // ↑このループを増加パスがなくなるまでやる T dinic_max_flow(int s, int t) { T ans = 0; while(1) { for(int i = 0; i < n; i++) { dist[i] = -1; } dinic_bfs(s); if(dist[t] < 0) return ans; T temp = 0; for(int i = 0; i < n; i++) visited[i] = 0; while(1) { temp = dinic_dfs(s, t, inft); ans += temp; if(temp == 0) break; } } return 0; } }; #define MULTI_TEST_CASE false void solve(void){ //問題を見たらまず「この問題設定から言えること」をいっぱい言う //一個回答に繋がりそうな解法が見えても、実装や細かい詰めに時間がかかりそうなら別の方針を考えてみる //添え字回りで面倒になりそうなときは楽になる言い換えを実装の前にじっくり考える //ある程度考察しても全然取っ掛かりが見えないときは実験をしてみる //よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く //g++ -D_GLIBCXX_DEBUG -O2 f.cpp -o o int n; cin >> n; ll m; cin >> m; vector x(n),y(n); vector xy(2 * n); for(int i = 0; i < n; i++){ cin >> x[i] >> y[i]; xy[i] = x[i]; xy[i + n] = y[i]; } vector zaatu = ococo_cordinate_compression(xy); vector xi(n),yi(n); for(int i = 0; i < n; i++){ xi[i] = zaatu[i]; yi[i] = zaatu[i + n]; } ococo_flow fl(3 * n + 2); for(int i = 0; i < n; i++){ fl.einsert(3 * n,i,1); fl.einsert(i,xi[i] + n,1); fl.einsert(i,yi[i] + n,1); } for(int i = n; i < 3 * n; i++){ fl.einsert(i,3 * n + 1,1); } cout << fl.dinic_max_flow(3 * n,3 * n + 1) << el; return; } void calc(void){ return; } signed main(void){ cin.tie(nullptr); ios::sync_with_stdio(false); calc(); int t = 1; if(MULTI_TEST_CASE)cin >> t; while(t--){ solve(); } return 0; }