{"trustable":false,"prependHtml":"\u003cstyle type\u003d\u0027text/css\u0027\u003e\n .input, .output {\n border: 1px solid #888888;\n }\n .output {\n margin-bottom: 1em;\n position: relative;\n top: -1px;\n }\n .output pre, .input pre {\n background-color: #EFEFEF;\n line-height: 1.25em;\n margin: 0;\n padding: 0.25em;\n }\n \u003c/style\u003e\n \u003clink rel\u003d\"stylesheet\" href\u003d\"//codeforces.org/s/96598/css/problem-statement.css\" type\u003d\"text/css\" /\u003e\u003cscript\u003e window.katexOptions \u003d { disable: true }; \u003c/script\u003e\n\u003cscript type\u003d\"text/x-mathjax-config\"\u003e\n MathJax.Hub.Config({\n tex2jax: {\n inlineMath: [[\u0027$$$\u0027,\u0027$$$\u0027], [\u0027$\u0027,\u0027$\u0027]],\n displayMath: [[\u0027$$$$$$\u0027,\u0027$$$$$$\u0027], [\u0027$$\u0027,\u0027$$\u0027]]\n }\n });\n\u003c/script\u003e\n\u003cscript type\u003d\"text/javascript\" async src\u003d\"https://mathjax.codeforces.org/MathJax.js?config\u003dTeX-AMS_HTML-full\"\u003e\u003c/script\u003e","sections":[{"title":"题目描述","value":{"format":"MD","content":"你被给予一个有 $n$ 个节点和 $m$ 条边的无向图。节点从 $1$ 编号到 $n$。\n\n这个图被认为是**和谐的**当且仅当满足以下属性:\n\n- 对于每一组整数 $(l, m, r)$,满足 $1 \\le l \u003c m \u003c r \\le n$,如果存在一条从节点 $l$ 到节点 $r$ 的**路径**,那么就应该存在一条从节点 $l$ 到节点 $m$ 的**路径**。\n\n换句话说,在一个和谐的图中,如果从一个节点 $l$ 我们可以通过边 ($l \u003c r$) 到达节点 $r$,那么我们应该能够到达节点 $(l+1), (l+2), \\ldots, (r-1)$。\n\n我们需要添加多少条边才能使图变得和谐?"}},{"title":"输入格式","value":{"format":"MD","content":"第一行包含两个整数 $n$ 和 $m$ ($3 \\le n \\le 200\\ 000$ 和 $1 \\le m \\le 200\\ 000$)。\n\n接下来的 $m$ 行中的第 $i$ 行包含两个整数 $u_i$ 和 $v_i$ ($1 \\le u_i, v_i \\le n$,$u_i \\neq v_i$),表示节点 $u$ 和节点 $v$ 之间存在一条边。\n\n保证给出的图是简单的(没有自环,每对节点之间最多只有一条边)。"}},{"title":"输出格式","value":{"format":"MD","content":"打印我们需要添加到图中以使其和谐的最小边数。"}},{"title":"样例 #1","value":{"format":"MD","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003e输入\u003c/th\u003e\n \u003cth\u003e输出\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e14 8\n1 2\n2 7\n3 4\n6 3\n5 7\n3 8\n6 8\n11 12\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e1\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n"}},{"title":"样例 #2","value":{"format":"MD","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003e输入\u003c/th\u003e\n \u003cth\u003e输出\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e200000 3\n7 9\n9 8\n4 5\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e0\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n"}},{"title":"样例解释","value":{"format":"MD","content":"在第一个例子中,给定的图不是和谐的(例如,$1 \u003c 6 \u003c 7$,节点 $1$ 可以通过路径 $1 \\rightarrow 2 \\rightarrow 7$ 到达节点 $7$,但节点 $1$ 无法到达节点 $6$)。然而,添加边 $(2, 4)$ 就足以使它变得和谐。\n\n在第二个例子中,给定的图已经是和谐的。"}}]}