#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++) #define per(x, s, t) for(llint (x) = (s); (x) >= (t); (x)--) #define reps(x, s) for(llint (x) = 0; (x) < (llint)(s).size(); (x)++) #define chmin(x, y) (x) = min((x), (y)) #define chmax(x, y) (x) = max((x), (y)) #define sz(x) ((ll)(x).size()) #define ceil(x, y) (((x)+(y)-1) / (y)) #define all(x) (x).begin(),(x).end() #define outl(...) dump_func(__VA_ARGS__) #define inf 1e18 using namespace std; typedef long long llint; typedef long long ll; typedef pair P; struct edge{ ll to, cost; edge(){} edge(ll a, ll b){ to = a, cost = b;} }; const ll dx[] = {1, 0, -1, 0}, dy[] = {0, -1, 0, 1}; //const ll mod = 1000000007; const ll mod = 998244353; struct mint{ ll x = 0; mint(ll y = 0){x = y; if(x < 0 || x >= mod) x = (x%mod+mod)%mod;} mint(const mint &ope) {x = ope.x;} mint operator-(){return mint(-x);} mint operator+(const mint &ope){return mint(x) += ope;} mint operator-(const mint &ope){return mint(x) -= ope;} mint operator*(const mint &ope){return mint(x) *= ope;} mint operator/(const mint &ope){return mint(x) /= ope;} mint& operator+=(const mint &ope){ x += ope.x; if(x >= mod) x -= mod; return *this; } mint& operator-=(const mint &ope){ x += mod - ope.x; if(x >= mod) x -= mod; return *this; } mint& operator*=(const mint &ope){ x *= ope.x, x %= mod; return *this; } mint& operator/=(const mint &ope){ ll n = mod-2; mint mul = ope; while(n){ if(n & 1) *this *= mul; mul *= mul; n >>= 1; } return *this; } mint inverse(){return mint(1) / *this;} bool operator ==(const mint &ope){return x == ope.x;} bool operator !=(const mint &ope){return x != ope.x;} }; mint modpow(mint a, ll n){ if(n == 0) return mint(1); if(n % 2) return a * modpow(a, n-1); else return modpow(a*a, n/2); } istream& operator >>(istream &is, mint &ope){ ll t; is >> t, ope.x = t; return is; } ostream& operator <<(ostream &os, mint &ope){return os << ope.x;} ostream& operator <<(ostream &os, const mint &ope){return os << ope.x;} bool exceed(ll x, ll y, ll m){return x >= m / y + 1;} void mark(){ cout << "*" << endl; } void yes(){ cout << "YES" << endl; } void no(){ cout << "NO" << endl; } ll sgn(ll x){ if(x > 0) return 1; if(x < 0) return -1; return 0;} ll gcd(ll a, ll b){if(b == 0) return a; return gcd(b, a%b);} ll lcm(ll a, ll b){return a/gcd(a, b)*b;} ll digitnum(ll x, ll b = 10){ll ret = 0; for(; x; x /= b) ret++; return ret;} ll digitsum(ll x, ll b = 10){ll ret = 0; for(; x; x /= b) ret += x % b; return ret;} string lltos(ll x){string ret; for(;x;x/=10) ret += x % 10 + '0'; reverse(ret.begin(), ret.end()); return ret;} ll stoll(string &s){ll ret = 0; for(auto c : s) ret *= 10, ret += c - '0'; return ret;} template void uniq(T &vec){ sort(vec.begin(), vec.end()); vec.erase(unique(vec.begin(), vec.end()), vec.end());} template pair& operator+=(pair &s, const pair &t){ s.first += t.first, s.second += t.second; return s; } template pair& operator-=(pair &s, const pair &t){ s.first -= t.first, s.second -= t.second; return s; } template pair operator+(const pair &s, const pair &t){ return pair(s.first+t.first, s.second+t.second); } template pair operator-(const pair &s, const pair &t){ return pair(s.first-t.first, s.second-t.second); } template ostream& operator << (ostream& os, vector& vec) { for(int i = 0; i < vec.size(); i++) os << vec[i] << (i + 1 == vec.size() ? "" : " "); return os; } template ostream& operator << (ostream& os, deque& deq) { for(int i = 0; i < deq.size(); i++) os << deq[i] << (i + 1 == deq.size() ? "" : " "); return os; } template ostream& operator << (ostream& os, pair& pair_var) { os << "(" << pair_var.first << ", " << pair_var.second << ")"; return os; } template ostream& operator << (ostream& os, const pair& pair_var) { os << "(" << pair_var.first << ", " << pair_var.second << ")"; return os; } template ostream& operator << (ostream& os, map& map_var) { for(typename map::iterator itr = map_var.begin(); itr != map_var.end(); itr++) { os << "(" << itr->first << ", " << itr->second << ")"; itr++; if(itr != map_var.end()) os << ","; itr--; } return os; } template ostream& operator << (ostream& os, set& set_var) { for(typename set::iterator itr = set_var.begin(); itr != set_var.end(); itr++) { os << *itr; ++itr; if(itr != set_var.end()) os << " "; itr--; } return os; } template ostream& operator << (ostream& os, multiset& set_var) { for(typename multiset::iterator itr = set_var.begin(); itr != set_var.end(); itr++) { os << *itr; ++itr; if(itr != set_var.end()) os << " "; itr--; } return os; } template void outa(T a[], ll s, ll t){ for(ll i = s; i <= t; i++){ cout << a[i]; if(i < t) cout << " ";} cout << endl; } void dump_func() {cout << endl;} template void dump_func(Head &&head, Tail &&... tail) { cout << head; if(sizeof...(Tail) > 0) cout << " "; dump_func(std::move(tail)...); } struct SCC{ int n; vector > G, revG, compG; vector used, scc, topo; int sccid, sccnum; void tpdfs(int v) { used[v] = 1; for(int i = 0; i < G[v].size(); i++){ if(!used[G[v][i]]) tpdfs(G[v][i]); } topo.push_back(v); } void sccdfs(int v, int id) { used[v] = 1; scc[v] = id; for(int i = 0; i < revG[v].size(); i++){ if(!used[revG[v][i]]) sccdfs(revG[v][i], id); } } SCC(){} SCC(int n){ //V(G) = {1, 2, ..., n}, nを制約より大きくするときは注意 this->n = n; G.resize(n+1); revG.resize(n+1); used.resize(n+1); } void init(){ for(int i = 1; i <= n; i++){ G[i].clear(), revG[i].clear(); used[i] = 0; } topo.clear(); } void add_edge(int u, int v) { G[u].push_back(v); } void tpsort() { topo.clear(); for(int i = 1; i <= n; i++) used[i] = 0; for(int i = 1; i <= n; i++) if(!used[i]) tpdfs(i); reverse(topo.begin(), topo.end()); } bool checkDAG(){ //先にtpsort()を呼ぶべし。DAGならtrueを返す for(int i = 1; i <= n; i++) used[i] = 0; for(int i = 0; i < topo.size(); i++){ int v = topo[i]; used[v] = 1; for(int j = 0; j < G[v].size(); j++){ if(used[G[v][j]]) return false; } } return true; } int calcSCC(){ //先にtpsort()を呼ぶべし。戻り値はSCCの個数。SCC-IDは1-indexed scc.resize(n+1); for(int i = 1; i <= n; i++) revG[i].clear(); for(int i = 1; i <= n; i++){ for(int j = 0; j < G[i].size(); j++){ revG[G[i][j]].push_back(i); } } sccid = 1; for(int i = 1; i <= n; i++) used[i] = 0; for(int i = 0; i < topo.size(); i++) if(!used[topo[i]]) sccdfs(topo[i], sccid++); return sccnum = sccid-1; } void compressSCC(bool simple = false){ //先にcalcSCC()を呼ぶべし。圧縮後のグラフはscc::compG compG.resize(sccnum+1); for(int i = 1; i <= n; i++){ for(int j = 0; j < G[i].size(); j++){ int u = G[i][j]; if(scc[i] != scc[u]) compG[scc[i]].push_back(scc[u]); } } if(simple){ for(int i = 1; i <= sccnum; i++){ sort(compG[i].begin(), compG[i].end()); compG[i].erase(unique(compG[i].begin(), compG[i].end()), compG[i].end()); } } } }; ll n, m; vector vec[200005]; int main(void) { ios::sync_with_stdio(0); cin.tie(0); cin >> n >> m; SCC scc(n); ll u, v; rep(i, 1, m){ cin >> u >> v; scc.add_edge(u, v); } scc.tpsort(); ll C = scc.calcSCC(); vector

ans; rep(i, 1, n) vec[scc.scc[i]].push_back(i); rep(i, 1, C-1) ans.push_back(P(vec[i][0], vec[i+1][0])); rep(i, 1, C){ if(sz(vec[i]) < 2) continue; reps(j, vec[i]){ ans.push_back(P(vec[i][j], vec[i][(j+1)%sz(vec[i])])); } } outl(sz(ans)); for(auto p : ans) outl(p.first, p.second); return 0; }