#include #include using namespace std; using ll = long long; int main(){ ios::sync_with_stdio(false); cin.tie(0); int n, m, u, v; cin >> n >> m; atcoder::mcf_graph g(4 * n + 2); int s = 4 * n, t = s + 1; for(int i = 0; i < m; i++){ cin >> u >> v; u--, v--; g.add_edge(v, u + 3 * n, 2, 0); g.add_edge(u, v + 3 * n, 2, 0); } for(int i = 0; i < n; i++){ g.add_edge(s, i, 2, 0); g.add_edge(i + n, i + 3 * n, 2, 0); g.add_edge(i + 2 * n, i + 3 * n, 2, 0); g.add_edge(i + 3 * n, t, 2, 0); if(i >= 1){ g.add_edge(i + n, i + n - 1, 1 << 30, 0); g.add_edge(i, i + n - 1, 2, 1); } if(i + 1 < n){ g.add_edge(i + 2 * n, i + 2 * n + 1, 1 << 30, 0); g.add_edge(i, i + 2 * n + 1, 2, 1); } } auto p = g.flow(s, t); cout << n - p.second << '\n'; }