{"id":121222,"date":"2026-11-02T10:24:46","date_gmt":"2026-11-02T02:24:46","guid":{"rendered":"https:\/\/www.wsisp.com\/helps\/121222.html"},"modified":"2026-11-02T10:24:46","modified_gmt":"2026-11-02T02:24:46","slug":"uva-792-program-modules","status":"publish","type":"post","link":"https:\/\/www.wsisp.com\/helps\/121222.html","title":{"rendered":"UVa 792 Program Modules"},"content":{"rendered":"<h3>\u9898\u76ee\u63cf\u8ff0<\/h3>\n<p>\u7ed9\u5b9a\u4e00\u4e2a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u51fd\u6570\u53ca\u5176\u76f4\u63a5\u8c03\u7528\u5173\u7cfb&#xff0c;\u5b9a\u4e49\u5173\u7cfb <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">A\u2192BA \\\\rightarrow B<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u2192<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u8868\u793a\u51fd\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span> \u76f4\u63a5\u8c03\u7528 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">BB<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span>&#xff0c;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">A\u21d2BA \\\\Rightarrow B<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u21d2<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u8868\u793a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span> \u53ef\u4f20\u9012\u5730\u8c03\u7528 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">BB<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span>&#xff08;\u76f4\u63a5\u6216\u95f4\u63a5&#xff09;\u3002\u5df2\u77e5 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u2192\\\\rightarrow<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.3669em\"><\/span><span class=\"mrel\">\u2192<\/span><\/span><\/span><\/span><\/span> \u662f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u21d2\\\\Rightarrow<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.3669em\"><\/span><span class=\"mrel\">\u21d2<\/span><\/span><\/span><\/span><\/span> \u7684\u5b50\u96c6&#xff0c;\u4e14 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u21d2\\\\Rightarrow<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.3669em\"><\/span><span class=\"mrel\">\u21d2<\/span><\/span><\/span><\/span><\/span> \u5177\u6709\u4f20\u9012\u6027\u3002<br \/>\n\u73b0\u9700\u8981\u5c06\u6240\u6709\u51fd\u6570\u5212\u5206\u4e3a\u82e5\u5e72\u6a21\u5757&#xff0c;\u6ee1\u8db3&#xff1a;<\/p>\n<li>\u82e5 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">A\u21d2BA \\\\Rightarrow B<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u21d2<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u4e14 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">B\u21d2AB \\\\Rightarrow A<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u21d2<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u5219 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span> \u4e0e <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">BB<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u5fc5\u987b\u5728\u540c\u4e00\u6a21\u5757\u3002<\/li>\n<li>\u4efb\u610f\u4e24\u4e2a\u4e0d\u6ee1\u8db3\u4e0a\u8ff0\u6761\u4ef6\u7684\u51fd\u6570\u5fc5\u987b\u5206\u5c5e\u4e0d\u540c\u6a21\u5757\u3002<\/li>\n<p>\u8981\u6c42\u8f93\u51fa\u6240\u6709\u6a21\u5757&#xff0c;\u6bcf\u4e2a\u6a21\u5757\u5185\u7684\u51fd\u6570\u540d\u6309\u5b57\u5178\u5e8f\u5347\u5e8f\u6392\u5217&#xff0c;\u6a21\u5757\u6309\u7b2c\u4e00\u4e2a\u5143\u7d20&#xff08;\u6700\u5c0f\u51fd\u6570\u540d&#xff09;\u7684\u5b57\u5178\u5e8f\u5347\u5e8f\u6392\u5217\u3002\u6bcf\u7ec4\u6570\u636e\u8f93\u51fa\u540e\u8ddf\u4e00\u4e2a\u7a7a\u884c\u3002<\/p>\n<h3>\u8f93\u5165\u683c\u5f0f<\/h3>\n<p>\u8f93\u5165\u5305\u542b\u82e5\u5e72\u7ec4\u6570\u636e&#xff0c;\u6bcf\u7ec4\u6570\u636e\u4ee3\u8868\u4e00\u4e2a\u5f85\u6a21\u5757\u5316\u7684\u7a0b\u5e8f\u3002\u6bcf\u7ec4\u6570\u636e\u683c\u5f0f\u4e3a&#xff1a;<\/p>\n<p>(Fun1 Fun11 &#8230; Fun1n1)(Fun2 Fun21 &#8230; Fun2n2)&#8230; (Funm Funm1 &#8230; Funmn m).<\/p>\n<p>\u5176\u4e2d\u6bcf\u4e2a\u62ec\u53f7\u9879\u8868\u793a\u6e90\u51fd\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">FuniFun_i<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mord\"><span class=\"mord mathnormal\">n<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3117em\"><span class=\"\" style=\"top: -2.55em;margin-left: 0em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">i<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u76f4\u63a5\u8c03\u7528\u5176\u540e\u6240\u6709\u51fd\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">FunijFun_{ij}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.9694em;vertical-align: -0.2861em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mord\"><span class=\"mord mathnormal\">n<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3117em\"><span class=\"\" style=\"top: -2.55em;margin-left: 0em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\" style=\"margin-right: 0.0572em\">ij<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.2861em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>&#xff08;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">j&#061;1..nij &#061; 1..n_i<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.854em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0572em\">j<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.7944em;vertical-align: -0.15em\"><\/span><span class=\"mord\">1..<\/span><span class=\"mord\"><span class=\"mord mathnormal\">n<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3117em\"><span class=\"\" style=\"top: -2.55em;margin-left: 0em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">i<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>&#xff09;\u3002<br \/>\n\u51fd\u6570\u540d\u7531\u5b57\u6bcd\u7ec4\u6210&#xff0c;\u533a\u5206\u5927\u5c0f\u5199\u3002\u62ec\u53f7\u4e4b\u95f4\u3001\u51fd\u6570\u540d\u4e4b\u95f4\u53ef\u4ee5\u6709\u4efb\u610f\u6570\u91cf\u7684\u7a7a\u683c\u3001\u5236\u8868\u7b26\u6216\u6362\u884c\u3002<br \/>\n\u6bcf\u7ec4\u6570\u636e\u4ee5\u53e5\u70b9 . \u7ed3\u5c3e&#xff0c;\u8f93\u5165\u6b63\u786e&#xff08;\u6bcf\u4e2a\u51fd\u6570\u6070\u597d\u51fa\u73b0\u5728\u4e00\u4e2a\u9879\u7684\u5de6\u4fa7&#xff0c;\u540c\u4e00\u9879\u5185\u51fd\u6570\u540d\u4e92\u4e0d\u76f8\u540c&#xff09;\u3002<br \/>\n\u5982\u679c\u4e00\u7ec4\u6570\u636e\u4e0d\u542b\u4efb\u4f55\u62ec\u53f7&#xff0c;\u5219\u8868\u793a\u7a7a\u51fd\u6570\u96c6&#xff08;\u4f8b\u5982\u4ec5\u4e00\u4e2a .&#xff09;\u3002<\/p>\n<h3>\u8f93\u51fa\u683c\u5f0f<\/h3>\n<p>\u5bf9\u4e8e\u6bcf\u7ec4\u6570\u636e&#xff0c;\u8f93\u51fa\u82e5\u5e72\u884c&#xff0c;\u6bcf\u884c\u4e00\u4e2a\u6a21\u5757\u5185\u7684\u51fd\u6570\u540d&#xff08;\u5347\u5e8f\u6392\u5217&#xff0c;\u7a7a\u683c\u5206\u9694&#xff09;\u3002<br \/>\n\u6a21\u5757\u4e4b\u95f4\u6309\u5404\u81ea\u6700\u5c0f\u51fd\u6570\u540d\u7684\u5b57\u5178\u5e8f\u5347\u5e8f\u8f93\u51fa\u3002<br \/>\n\u6bcf\u7ec4\u6570\u636e\u7684\u8f93\u51fa\u7ed3\u675f\u540e\u5fc5\u987b\u8f93\u51fa\u4e00\u4e2a\u7a7a\u884c&#xff08;\u5373\u4f7f\u8be5\u7ec4\u6ca1\u6709\u51fd\u6570&#xff0c;\u4e5f\u8981\u8f93\u51fa\u4e00\u4e2a\u7a7a\u884c&#xff09;\u3002<\/p>\n<h3>\u6837\u4f8b<\/h3>\n<p>\u8f93\u5165<\/p>\n<p>.<\/p>\n<p>(a a) (a b) (b).<\/p>\n<p>(a b c) (b a e) (c d)<br \/>\n(d d) (e b).<\/p>\n<p>\u8f93\u51fa<\/p>\n<p>a<br \/>\nb<\/p>\n<p>a b e<br \/>\nc<br \/>\nd<\/p>\n<h3>\u9898\u76ee\u5206\u6790<\/h3>\n<p>\u89c4\u5219 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">1\\\\texttt{1}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">1<\/span><\/span><\/span><\/span><\/span><\/span> \u548c\u89c4\u5219 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">2\\\\texttt{2}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">2<\/span><\/span><\/span><\/span><\/span><\/span> \u5171\u540c\u5b9a\u4e49\u4e86\u6a21\u5757\u7684\u5212\u5206\u6807\u51c6&#xff1a;\u82e5\u4e24\u4e2a\u51fd\u6570\u76f8\u4e92\u53ef\u8fbe&#xff08;\u5373 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">A\u21d2BA \\\\Rightarrow B<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u21d2<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u4e14 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">B\u21d2AB \\\\Rightarrow A<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u21d2<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span>&#xff09;&#xff0c;\u5219\u5b83\u4eec\u5fc5\u987b\u5728\u540c\u4e00\u6a21\u5757&#xff1b;\u5426\u5219\u7edd\u5bf9\u4e0d\u80fd\u5728\u540c\u4e00\u6a21\u5757\u3002\u8fd9\u6b63\u662f\u6709\u5411\u56fe\u4e2d\u5f3a\u8fde\u901a\u5206\u91cf&#xff08;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">Strongly\u00a0Connected\u00a0Component\\\\texttt{Strongly Connected Component}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.2222em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">Strongly\u00a0Connected\u00a0Component<\/span><\/span><\/span><\/span><\/span><\/span>, <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span>&#xff09; \u7684\u5b9a\u4e49\u3002<br \/>\n\u56e0\u6b64&#xff0c;\u5c06\u6bcf\u4e2a\u51fd\u6570\u770b\u4f5c\u8282\u70b9&#xff0c;\u76f4\u63a5\u8c03\u7528\u5173\u7cfb <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">A\u2192BA \\\\rightarrow B<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u2192<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u770b\u4f5c\u4ece <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span><\/span> \u5230 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">BB<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0502em\">B<\/span><\/span><\/span><\/span><\/span> \u7684\u6709\u5411\u8fb9&#xff0c;\u5219\u4e00\u4e2a\u6a21\u5757\u5373\u5bf9\u5e94\u4e00\u4e2a\u5f3a\u8fde\u901a\u5206\u91cf\u3002<br \/>\n\u7531\u4e8e <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u21d2\\\\Rightarrow<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.3669em\"><\/span><span class=\"mrel\">\u21d2<\/span><\/span><\/span><\/span><\/span> \u662f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u2192\\\\rightarrow<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.3669em\"><\/span><span class=\"mrel\">\u2192<\/span><\/span><\/span><\/span><\/span> \u7684\u4f20\u9012\u95ed\u5305&#xff0c;\u540c\u4e00\u5f3a\u8fde\u901a\u5206\u91cf\u5185\u7684\u4efb\u610f\u4e24\u4e2a\u8282\u70b9\u76f8\u4e92\u53ef\u8fbe&#xff0c;\u7b26\u5408\u89c4\u5219 1&#xff1b;\u4e0d\u540c\u5f3a\u8fde\u901a\u5206\u91cf\u4e4b\u95f4\u7684\u8282\u70b9\u4e0d\u5b58\u5728\u53cc\u5411\u53ef\u8fbe\u8def\u5f84&#xff0c;\u7b26\u5408\u89c4\u5219 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">2\\\\texttt{2}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">2<\/span><\/span><\/span><\/span><\/span><\/span>\u3002<\/p>\n<p>\u56e0\u6b64&#xff0c;\u95ee\u9898\u8f6c\u5316\u4e3a&#xff1a;\u7ed9\u5b9a\u6709\u5411\u56fe&#xff0c;\u6c42\u6240\u6709\u5f3a\u8fde\u901a\u5206\u91cf&#xff0c;\u5e76\u6309\u9898\u76ee\u8981\u6c42\u6392\u5e8f\u8f93\u51fa\u3002<\/p>\n<h3>\u89e3\u9898\u601d\u8def<\/h3>\n<h4>\u56fe\u6784\u5efa<\/h4>\n<p>\u9996\u5148\u9700\u4ece\u8f93\u5165\u4e2d\u63d0\u53d6\u6bcf\u4e2a\u51fd\u6570\u53ca\u5176\u76f4\u63a5\u8c03\u7528\u5217\u8868\u3002\u8f93\u5165\u4e3a\u81ea\u7531\u683c\u5f0f&#xff0c;\u4f46\u4ee5\u53e5\u70b9 . \u5206\u9694\u6bcf\u7ec4\u6570\u636e\u3002<br \/>\n\u6211\u4eec\u53ef\u4ee5\u5148\u8bfb\u5165\u6574\u4e2a\u6570\u636e\u96c6&#xff08;\u76f4\u5230\u9047\u5230 .&#xff09;\u4e3a\u4e00\u4e2a\u5b57\u7b26\u4e32&#xff0c;\u518d\u901a\u8fc7\u67e5\u627e\u62ec\u53f7 ( \u548c ) \u6765\u63d0\u53d6\u6bcf\u4e2a\u62ec\u53f7\u5185\u7684\u5185\u5bb9\u3002\u6bcf\u4e2a\u62ec\u53f7\u5185\u90e8\u662f\u4e00\u4e2a\u7a7a\u683c\u5206\u9694\u7684\u5355\u8bcd\u5e8f\u5217&#xff0c;\u7b2c\u4e00\u4e2a\u5355\u8bcd\u4e3a\u6e90\u51fd\u6570&#xff0c;\u5176\u4f59\u4e3a\u76ee\u6807\u51fd\u6570\u3002<br \/>\n\u4e3a\u6bcf\u4e2a\u51fd\u6570\u5206\u914d\u552f\u4e00\u7f16\u53f7&#xff0c;\u5efa\u7acb\u90bb\u63a5\u8868\u3002<\/p>\n<h4>\u5f3a\u8fde\u901a\u5206\u91cf\u6c42\u89e3<\/h4>\n<p>\u4f7f\u7528 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">Tarjan\\\\texttt{Tarjan}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.2222em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">Tarjan<\/span><\/span><\/span><\/span><\/span><\/span> \u7b97\u6cd5\u6c42 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span>\u3002\u8be5\u7b97\u6cd5\u901a\u8fc7\u4e00\u6b21\u6df1\u5ea6\u4f18\u5148\u641c\u7d22&#xff08;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">DFS\\\\texttt{DFS}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">DFS<\/span><\/span><\/span><\/span><\/span><\/span>&#xff09;&#xff0c;\u8bb0\u5f55\u6bcf\u4e2a\u8282\u70b9\u7684 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">dfn\\\\textit{dfn}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6944em\"><\/span><span class=\"mord text\"><span class=\"mord textit\">dfn<\/span><\/span><\/span><\/span><\/span><\/span>&#xff08;\u8bbf\u95ee\u6b21\u5e8f&#xff09;\u548c <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">low\\\\textit{low}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6944em\"><\/span><span class=\"mord text\"><span class=\"mord textit\">low<\/span><\/span><\/span><\/span><\/span><\/span>&#xff08;\u80fd\u56de\u6eaf\u5230\u7684\u6700\u65e9\u7956\u5148&#xff09;\u3002\u5f53 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">dfn[u]&#061;low[u]\\\\textit{dfn}[u] &#061; \\\\textit{low}[u]<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord text\"><span class=\"mord textit\">dfn<\/span><\/span><span class=\"mopen\">[<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mclose\">]<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord text\"><span class=\"mord textit\">low<\/span><\/span><span class=\"mopen\">[<\/span><span class=\"mord mathnormal\">u<\/span><span class=\"mclose\">]<\/span><\/span><\/span><\/span><\/span> \u65f6&#xff0c;\u6808\u4e2d\u4ece\u6808\u9876\u5230 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">uu<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.4306em\"><\/span><span class=\"mord mathnormal\">u<\/span><\/span><\/span><\/span><\/span> \u7684\u6240\u6709\u8282\u70b9\u6784\u6210\u4e00\u4e2a\u5f3a\u8fde\u901a\u5206\u91cf\u3002<br \/>\n\u590d\u6742\u5ea6\u4e3a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(V&#043;E)O(V &#043; E)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u5176\u4e2d <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">VV<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><\/span><\/span><\/span><\/span> \u4e3a\u51fd\u6570\u6570&#xff0c;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">EE<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><\/span><\/span><\/span><\/span> \u4e3a\u76f4\u63a5\u8c03\u7528\u8fb9\u6570\u3002<\/p>\n<h4>\u6392\u5e8f\u4e0e\u8f93\u51fa<\/h4>\n<p>\u6bcf\u4e2a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span> \u5185\u90e8\u51fd\u6570\u540d\u6309\u5b57\u5178\u5e8f\u6392\u5e8f&#xff0c;\u6574\u4e2a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span> \u5217\u8868\u6309\u5176\u6700\u5c0f\u51fd\u6570\u540d\u7684\u5b57\u5178\u5e8f\u6392\u5e8f\u3002<br \/>\n\u8f93\u51fa\u65f6&#xff0c;\u6bcf\u4e2a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span> \u5360\u4e00\u884c&#xff0c;\u51fd\u6570\u540d\u7528\u7a7a\u683c\u5206\u9694&#xff0c;\u672b\u5c3e\u6362\u884c\u3002\u6bcf\u7ec4\u6570\u636e\u7ed3\u675f\u540e\u989d\u5916\u8f93\u51fa\u4e00\u4e2a\u7a7a\u884c\u3002<\/p>\n<h4>\u590d\u6742\u5ea6\u5206\u6790<\/h4>\n<ul>\n<li>\u89e3\u6790\u8f93\u5165&#xff1a;\u6bcf\u4e2a\u5b57\u7b26\u6216\u5355\u8bcd\u8bfb\u5165\u4e00\u6b21&#xff0c;\u65f6\u95f4\u590d\u6742\u5ea6 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(\u8f93\u5165\u603b\u957f\u5ea6)O(\\\\text{\u8f93\u5165\u603b\u957f\u5ea6})<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord text\"><span class=\"mord cjk_fallback\">\u8f93\u5165\u603b\u957f\u5ea6<\/span><\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>\u3002<\/li>\n<li>\u5efa\u56fe&#xff1a;\u6bcf\u4e2a\u62ec\u53f7\u9879\u5904\u7406\u4e00\u6b21&#xff0c;\u603b\u8fb9\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">EE<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u65f6\u95f4\u590d\u6742\u5ea6 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(E)O(E)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>\u3002<\/li>\n<li><span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">Tarjan\\\\texttt{Tarjan}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.2222em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">Tarjan<\/span><\/span><\/span><\/span><\/span><\/span>&#xff1a;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(V&#043;E)O(V &#043; E)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>\u3002<\/li>\n<li>\u6392\u5e8f&#xff1a;\u6bcf\u4e2a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span> \u5185\u90e8\u6392\u5e8f&#xff0c;\u603b\u4ee3\u4ef7 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(\u2211kilog\u2061ki)\u2264O(Vlog\u2061V)O(\\\\sum k_i \\\\log k_i) \\\\le O(V \\\\log V)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mop op-symbol small-op\" style=\"position: relative;top: 0em\">\u2211<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.0315em\">k<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3117em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.0315em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">i<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mop\">lo<span style=\"margin-right: 0.0139em\">g<\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.0315em\">k<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3117em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.0315em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">i<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mclose\">)<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u2264<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mop\">lo<span style=\"margin-right: 0.0139em\">g<\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>&#xff1b;\u5916\u90e8\u6392\u5e8f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(Clog\u2061C)O(C \\\\log C)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0715em\">C<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mop\">lo<span style=\"margin-right: 0.0139em\">g<\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0715em\">C<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>&#xff0c;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">CC<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0715em\">C<\/span><\/span><\/span><\/span><\/span> \u4e3a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">SCC\\\\texttt{SCC}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6111em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">SCC<\/span><\/span><\/span><\/span><\/span><\/span> \u6570\u91cf&#xff0c;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">C\u2264VC \\\\le V<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8193em;vertical-align: -0.136em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0715em\">C<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u2264<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><\/span><\/span><\/span><\/span>\u3002<\/li>\n<li>\u603b\u65f6\u95f4\u590d\u6742\u5ea6 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(V&#043;E&#043;Vlog\u2061V)O(V &#043; E &#043; V \\\\log V)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.7667em;vertical-align: -0.0833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mop\">lo<span style=\"margin-right: 0.0139em\">g<\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u7a7a\u95f4\u590d\u6742\u5ea6 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">O(V&#043;E)O(V &#043; E)<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0278em\">O<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0576em\">E<\/span><span class=\"mclose\">)<\/span><\/span><\/span><\/span><\/span>\u3002<\/li>\n<\/ul>\n<h3>\u4ee3\u7801\u5b9e\u73b0<\/h3>\n<p><span class=\"token comment\">\/\/ Program Modules<\/span><br \/>\n<span class=\"token comment\">\/\/ UVa ID: 792<\/span><br \/>\n<span class=\"token comment\">\/\/ Verdict: Accepted<\/span><br \/>\n<span class=\"token comment\">\/\/ Submission Date: 2026-07-09<\/span><br \/>\n<span class=\"token comment\">\/\/ UVa Run Time: 0.300s<\/span><br \/>\n<span class=\"token comment\">\/\/<\/span><br \/>\n<span class=\"token comment\">\/\/ \u7248\u6743\u6240\u6709&#xff08;C&#xff09;2026&#xff0c;\u90b1\u79cb\u3002metaphysis # yeah dot net<\/span><\/p>\n<p><span class=\"token macro property\"><span class=\"token directive-hash\">#<\/span><span class=\"token directive keyword\">include<\/span> <span class=\"token string\">&lt;bits\/stdc&#043;&#043;.h&gt;<\/span><\/span><br \/>\n<span class=\"token keyword\">using<\/span> <span class=\"token keyword\">namespace<\/span> std<span class=\"token punctuation\">;<\/span><\/p>\n<p>vector<span class=\"token operator\">&lt;<\/span>string<span class=\"token operator\">&gt;<\/span> <span class=\"token function\">splitByWhitespace<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">const<\/span> string<span class=\"token operator\">&amp;<\/span> s<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    vector<span class=\"token operator\">&lt;<\/span>string<span class=\"token operator\">&gt;<\/span> tokens<span class=\"token punctuation\">;<\/span><br \/>\n    stringstream <span class=\"token function\">ss<\/span><span class=\"token punctuation\">(<\/span>s<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    string token<span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">while<\/span> <span class=\"token punctuation\">(<\/span>ss <span class=\"token operator\">&gt;&gt;<\/span> token<span class=\"token punctuation\">)<\/span> tokens<span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span>token<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">return<\/span> tokens<span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">int<\/span> <span class=\"token function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    ios<span class=\"token double-colon punctuation\">::<\/span><span class=\"token function\">sync_with_stdio<\/span><span class=\"token punctuation\">(<\/span><span class=\"token boolean\">false<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    cin<span class=\"token punctuation\">.<\/span><span class=\"token function\">tie<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">nullptr<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    string data<span class=\"token punctuation\">,<\/span> token<span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">while<\/span> <span class=\"token punctuation\">(<\/span>cin <span class=\"token operator\">&gt;&gt;<\/span> token<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        data <span class=\"token operator\">&#061;<\/span> token<span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">while<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>token<span class=\"token punctuation\">.<\/span><span class=\"token function\">back<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#061;&#061;<\/span> <span class=\"token char\">&#039;.&#039;<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token keyword\">break<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            cin <span class=\"token operator\">&gt;&gt;<\/span> token<span class=\"token punctuation\">;<\/span><br \/>\n            data <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token char\">&#039; &#039;<\/span> <span class=\"token operator\">&#043;<\/span> token<span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span>string<span class=\"token operator\">&gt;<\/span> names<span class=\"token punctuation\">;<\/span><br \/>\n        unordered_map<span class=\"token operator\">&lt;<\/span>string<span class=\"token punctuation\">,<\/span> <span class=\"token keyword\">int<\/span><span class=\"token operator\">&gt;<\/span> idMap<span class=\"token punctuation\">;<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span>vector<span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">int<\/span><span class=\"token operator\">&gt;&gt;<\/span> g<span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">auto<\/span> getNode <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">const<\/span> string<span class=\"token operator\">&amp;<\/span> name<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">-&gt;<\/span> <span class=\"token keyword\">int<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token keyword\">auto<\/span> it <span class=\"token operator\">&#061;<\/span> idMap<span class=\"token punctuation\">.<\/span><span class=\"token function\">find<\/span><span class=\"token punctuation\">(<\/span>name<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>it <span class=\"token operator\">!&#061;<\/span> idMap<span class=\"token punctuation\">.<\/span><span class=\"token function\">end<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token keyword\">return<\/span> it<span class=\"token operator\">-&gt;<\/span>second<span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">int<\/span> newId <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span><span class=\"token punctuation\">)<\/span>names<span class=\"token punctuation\">.<\/span><span class=\"token function\">size<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            idMap<span class=\"token punctuation\">[<\/span>name<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> newId<span class=\"token punctuation\">;<\/span><br \/>\n            names<span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span>name<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            g<span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">{<\/span><span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">return<\/span> newId<span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        size_t pos <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">while<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token boolean\">true<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            size_t left <span class=\"token operator\">&#061;<\/span> data<span class=\"token punctuation\">.<\/span><span class=\"token function\">find<\/span><span class=\"token punctuation\">(<\/span><span class=\"token char\">&#039;(&#039;<\/span><span class=\"token punctuation\">,<\/span> pos<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>left <span class=\"token operator\">&#061;&#061;<\/span> string<span class=\"token double-colon punctuation\">::<\/span>npos<span class=\"token punctuation\">)<\/span> <span class=\"token keyword\">break<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            size_t right <span class=\"token operator\">&#061;<\/span> data<span class=\"token punctuation\">.<\/span><span class=\"token function\">find<\/span><span class=\"token punctuation\">(<\/span><span class=\"token char\">&#039;)&#039;<\/span><span class=\"token punctuation\">,<\/span> left <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            string inner <span class=\"token operator\">&#061;<\/span> data<span class=\"token punctuation\">.<\/span><span class=\"token function\">substr<\/span><span class=\"token punctuation\">(<\/span>left <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">,<\/span> right <span class=\"token operator\">&#8211;<\/span> left <span class=\"token operator\">&#8211;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            vector<span class=\"token operator\">&lt;<\/span>string<span class=\"token operator\">&gt;<\/span> tokens <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">splitByWhitespace<\/span><span class=\"token punctuation\">(<\/span>inner<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>tokens<span class=\"token punctuation\">.<\/span><span class=\"token function\">empty<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                pos <span class=\"token operator\">&#061;<\/span> right <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                <span class=\"token keyword\">continue<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token punctuation\">}<\/span><br \/>\n            <span class=\"token keyword\">int<\/span> srcId <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">getNode<\/span><span class=\"token punctuation\">(<\/span>tokens<span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span>size_t i <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span> i <span class=\"token operator\">&lt;<\/span> tokens<span class=\"token punctuation\">.<\/span><span class=\"token function\">size<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>i<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                <span class=\"token keyword\">int<\/span> tId <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">getNode<\/span><span class=\"token punctuation\">(<\/span>tokens<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                g<span class=\"token punctuation\">[<\/span>srcId<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span>tId<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token punctuation\">}<\/span><br \/>\n            pos <span class=\"token operator\">&#061;<\/span> right <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><br \/>\n        <span class=\"token keyword\">int<\/span> n <span class=\"token operator\">&#061;<\/span> names<span class=\"token punctuation\">.<\/span><span class=\"token function\">size<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">int<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token function\">dfn<\/span><span class=\"token punctuation\">(<\/span>n<span class=\"token punctuation\">,<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token function\">low<\/span><span class=\"token punctuation\">(<\/span>n<span class=\"token punctuation\">,<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token function\">sccId<\/span><span class=\"token punctuation\">(<\/span>n<span class=\"token punctuation\">,<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> stk<span class=\"token punctuation\">;<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">char<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token function\">inStack<\/span><span class=\"token punctuation\">(<\/span>n<span class=\"token punctuation\">,<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">int<\/span> timer <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">,<\/span> sccCnt <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        function<span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">void<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span><span class=\"token punctuation\">)<\/span><span class=\"token operator\">&gt;<\/span> tarjan <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> u<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            dfn<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>timer<span class=\"token punctuation\">;<\/span><br \/>\n            stk<span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span>u<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            inStack<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> v <span class=\"token operator\">:<\/span> g<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token operator\">!<\/span>dfn<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                    <span class=\"token function\">tarjan<\/span><span class=\"token punctuation\">(<\/span>v<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                    low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">min<\/span><span class=\"token punctuation\">(<\/span>low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> low<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                <span class=\"token punctuation\">}<\/span> <span class=\"token keyword\">else<\/span> <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>inStack<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                    low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">min<\/span><span class=\"token punctuation\">(<\/span>low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> dfn<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                <span class=\"token punctuation\">}<\/span><br \/>\n            <span class=\"token punctuation\">}<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>low<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;&#061;<\/span> dfn<span class=\"token punctuation\">[<\/span>u<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                <span class=\"token operator\">&#043;&#043;<\/span>sccCnt<span class=\"token punctuation\">;<\/span><br \/>\n                <span class=\"token keyword\">while<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token boolean\">true<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                    <span class=\"token keyword\">int<\/span> v <span class=\"token operator\">&#061;<\/span> stk<span class=\"token punctuation\">.<\/span><span class=\"token function\">back<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span> stk<span class=\"token punctuation\">.<\/span><span class=\"token function\">pop_back<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                    inStack<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                    sccId<span class=\"token punctuation\">[<\/span>v<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> sccCnt<span class=\"token punctuation\">;<\/span><br \/>\n                    <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>v <span class=\"token operator\">&#061;&#061;<\/span> u<span class=\"token punctuation\">)<\/span> <span class=\"token keyword\">break<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                <span class=\"token punctuation\">}<\/span><br \/>\n            <span class=\"token punctuation\">}<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> i <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span> i <span class=\"token operator\">&lt;<\/span> n<span class=\"token punctuation\">;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>i<span class=\"token punctuation\">)<\/span> <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token operator\">!<\/span>dfn<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token function\">tarjan<\/span><span class=\"token punctuation\">(<\/span>i<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span>vector<span class=\"token operator\">&lt;<\/span>string<span class=\"token operator\">&gt;&gt;<\/span> <span class=\"token function\">sccNodes<\/span><span class=\"token punctuation\">(<\/span>sccCnt <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> i <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span> i <span class=\"token operator\">&lt;<\/span> n<span class=\"token punctuation\">;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>i<span class=\"token punctuation\">)<\/span> sccNodes<span class=\"token punctuation\">[<\/span>sccId<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">push_back<\/span><span class=\"token punctuation\">(<\/span>names<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> i <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span> i <span class=\"token operator\">&lt;&#061;<\/span> sccCnt<span class=\"token punctuation\">;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>i<span class=\"token punctuation\">)<\/span> <span class=\"token function\">sort<\/span><span class=\"token punctuation\">(<\/span>sccNodes<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">begin<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> sccNodes<span class=\"token punctuation\">[<\/span>i<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">end<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        vector<span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">int<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token function\">order<\/span><span class=\"token punctuation\">(<\/span>sccCnt<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token function\">iota<\/span><span class=\"token punctuation\">(<\/span>order<span class=\"token punctuation\">.<\/span><span class=\"token function\">begin<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> order<span class=\"token punctuation\">.<\/span><span class=\"token function\">end<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token function\">sort<\/span><span class=\"token punctuation\">(<\/span>order<span class=\"token punctuation\">.<\/span><span class=\"token function\">begin<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> order<span class=\"token punctuation\">.<\/span><span class=\"token function\">end<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> a<span class=\"token punctuation\">,<\/span> <span class=\"token keyword\">int<\/span> b<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token keyword\">return<\/span> sccNodes<span class=\"token punctuation\">[<\/span>a<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&lt;<\/span> sccNodes<span class=\"token punctuation\">[<\/span>b<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> idx <span class=\"token operator\">:<\/span> order<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token keyword\">for<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span> j <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span> j <span class=\"token operator\">&lt;<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token keyword\">int<\/span><span class=\"token punctuation\">)<\/span>sccNodes<span class=\"token punctuation\">[<\/span>idx<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">size<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span> <span class=\"token operator\">&#043;&#043;<\/span>j<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n                <span class=\"token keyword\">if<\/span> <span class=\"token punctuation\">(<\/span>j<span class=\"token punctuation\">)<\/span> cout <span class=\"token operator\">&lt;&lt;<\/span> <span class=\"token char\">&#039; &#039;<\/span><span class=\"token punctuation\">;<\/span><br \/>\n                cout <span class=\"token operator\">&lt;&lt;<\/span> sccNodes<span class=\"token punctuation\">[<\/span>idx<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">[<\/span>j<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">;<\/span><br \/>\n            <span class=\"token punctuation\">}<\/span><br \/>\n            cout <span class=\"token operator\">&lt;&lt;<\/span> <span class=\"token char\">&#039;\\\\n&#039;<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><br \/>\n        cout <span class=\"token operator\">&lt;&lt;<\/span> <span class=\"token char\">&#039;\\\\n&#039;<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n    <span class=\"token keyword\">return<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<h3>\u603b\u7ed3<\/h3>\n<p>\u672c\u9898\u672c\u8d28\u662f\u56fe\u8bba\u4e2d\u7684\u5f3a\u8fde\u901a\u5206\u91cf\u6c42\u89e3&#xff0c;\u76f4\u63a5\u5e94\u7528 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">Tarjan\\\\texttt{Tarjan}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.2222em\"><\/span><span class=\"mord text\"><span class=\"mord texttt\">Tarjan<\/span><\/span><\/span><\/span><\/span><\/span> \u7b97\u6cd5\u5373\u53ef\u3002<br \/>\n\u5173\u952e\u70b9\u5728\u4e8e\u6b63\u786e\u89e3\u6790\u8f93\u5165\u683c\u5f0f&#xff0c;\u5c06\u81ea\u7531\u683c\u5f0f\u7684\u62ec\u53f7\u8868\u8fbe\u5f0f\u8f6c\u5316\u4e3a\u6709\u5411\u56fe\u3002<br \/>\n\u8f93\u51fa\u90e8\u5206\u9700\u6ce8\u610f\u6392\u5e8f\u89c4\u5219&#xff08;\u6a21\u5757\u5185\u5347\u5e8f\u3001\u6a21\u5757\u95f4\u6309\u6700\u5c0f\u5143\u7d20\u5347\u5e8f&#xff09;\u548c\u6bcf\u7ec4\u6570\u636e\u540e\u7684\u7a7a\u884c\u3002<br \/>\n\u6b64\u9898\u63d0\u9192\u6211\u4eec&#xff0c;\u590d\u6742\u95ee\u9898\u5f80\u5f80\u80fd\u5f52\u7ed3\u4e3a\u7ecf\u5178\u7b97\u6cd5&#xff0c;\u53ea\u8981\u51c6\u786e\u5efa\u6a21&#xff0c;\u5b9e\u73b0\u5e76\u4e0d\u56f0\u96be\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u9898\u76ee\u63cf\u8ff0<br \/>\n\u7ed9\u5b9a\u4e00\u4e2a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u51fd\u6570\u53ca\u5176\u76f4\u63a5\u8c03\u7528\u5173\u7cfb&#xff0c;\u5b9a\u4e49\u5173\u7cfb A\u2192BA \\\\rightarrow BA\u2192B \u8868\u793a\u51fd\u6570 AAA \u76f4\u63a5\u8c03\u7528 BBB&#xff0c;A\u21d2BA \\\\Rightarrow BA\u21d2B \u8868\u793a AAA \u53ef\u4f20\u9012\u5730\u8c03\u7528 BBB&#xff08;\u76f4\u63a5\u6216\u95f4\u63a5&#xff09;\u3002\u5df2\u77e5 \u2192\\\\rightarrow\u2192 \u662f \u21d2\\\\Rightarrow\u21d2 \u7684\u5b50\u96c6&#xff0c;\u4e14 \u21d2\\\\Rightarrow\u21d2 \u5177\u6709\u4f20\u9012\u6027\u3002<br \/>\n\u73b0\u9700\u8981\u5c06\u6240\u6709\u51fd\u6570\u5212\u5206\u4e3a\u82e5\u5e72\u6a21\u5757&#xff0c;\u6ee1\u8db3&amp;#<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[55,427,4405],"topic":[],"class_list":["post-121222","post","type-post","status-publish","format-standard","hentry","category-server","tag-c","tag-427","tag-4405"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.wsisp.com\/helps\/121222.html\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"og:description\" content=\"\u9898\u76ee\u63cf\u8ff0 \u7ed9\u5b9a\u4e00\u4e2a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u51fd\u6570\u53ca\u5176\u76f4\u63a5\u8c03\u7528\u5173\u7cfb&#xff0c;\u5b9a\u4e49\u5173\u7cfb A\u2192BA \\rightarrow BA\u2192B \u8868\u793a\u51fd\u6570 AAA \u76f4\u63a5\u8c03\u7528 BBB&#xff0c;A\u21d2BA \\Rightarrow BA\u21d2B \u8868\u793a AAA \u53ef\u4f20\u9012\u5730\u8c03\u7528 BBB&#xff08;\u76f4\u63a5\u6216\u95f4\u63a5&#xff09;\u3002\u5df2\u77e5 \u2192\\rightarrow\u2192 \u662f \u21d2\\Rightarrow\u21d2 \u7684\u5b50\u96c6&#xff0c;\u4e14 \u21d2\\Rightarrow\u21d2 \u5177\u6709\u4f20\u9012\u6027\u3002 \u73b0\u9700\u8981\u5c06\u6240\u6709\u51fd\u6570\u5212\u5206\u4e3a\u82e5\u5e72\u6a21\u5757&#xff0c;\u6ee1\u8db3&amp;#\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.wsisp.com\/helps\/121222.html\" \/>\n<meta property=\"og:site_name\" content=\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"article:published_time\" content=\"2026-11-02T02:24:46+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/121222.html\",\"url\":\"https:\/\/www.wsisp.com\/helps\/121222.html\",\"name\":\"UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"isPartOf\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\"},\"datePublished\":\"2026-11-02T02:24:46+00:00\",\"dateModified\":\"2026-11-02T02:24:46+00:00\",\"author\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/121222.html#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.wsisp.com\/helps\/121222.html\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/121222.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.wsisp.com\/helps\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"UVa 792 Program Modules\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\",\"url\":\"https:\/\/www.wsisp.com\/helps\/\",\"name\":\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"description\":\"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"contentUrl\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/wp.wsisp.com\"],\"url\":\"https:\/\/www.wsisp.com\/helps\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.wsisp.com\/helps\/121222.html","og_locale":"zh_CN","og_type":"article","og_title":"UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","og_description":"\u9898\u76ee\u63cf\u8ff0 \u7ed9\u5b9a\u4e00\u4e2a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u51fd\u6570\u53ca\u5176\u76f4\u63a5\u8c03\u7528\u5173\u7cfb&#xff0c;\u5b9a\u4e49\u5173\u7cfb A\u2192BA \\rightarrow BA\u2192B \u8868\u793a\u51fd\u6570 AAA \u76f4\u63a5\u8c03\u7528 BBB&#xff0c;A\u21d2BA \\Rightarrow BA\u21d2B \u8868\u793a AAA \u53ef\u4f20\u9012\u5730\u8c03\u7528 BBB&#xff08;\u76f4\u63a5\u6216\u95f4\u63a5&#xff09;\u3002\u5df2\u77e5 \u2192\\rightarrow\u2192 \u662f \u21d2\\Rightarrow\u21d2 \u7684\u5b50\u96c6&#xff0c;\u4e14 \u21d2\\Rightarrow\u21d2 \u5177\u6709\u4f20\u9012\u6027\u3002 \u73b0\u9700\u8981\u5c06\u6240\u6709\u51fd\u6570\u5212\u5206\u4e3a\u82e5\u5e72\u6a21\u5757&#xff0c;\u6ee1\u8db3&amp;#","og_url":"https:\/\/www.wsisp.com\/helps\/121222.html","og_site_name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","article_published_time":"2026-11-02T02:24:46+00:00","author":"admin","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"admin","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"4 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.wsisp.com\/helps\/121222.html","url":"https:\/\/www.wsisp.com\/helps\/121222.html","name":"UVa 792 Program Modules - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","isPartOf":{"@id":"https:\/\/www.wsisp.com\/helps\/#website"},"datePublished":"2026-11-02T02:24:46+00:00","dateModified":"2026-11-02T02:24:46+00:00","author":{"@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41"},"breadcrumb":{"@id":"https:\/\/www.wsisp.com\/helps\/121222.html#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.wsisp.com\/helps\/121222.html"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.wsisp.com\/helps\/121222.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.wsisp.com\/helps"},{"@type":"ListItem","position":2,"name":"UVa 792 Program Modules"}]},{"@type":"WebSite","@id":"https:\/\/www.wsisp.com\/helps\/#website","url":"https:\/\/www.wsisp.com\/helps\/","name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","description":"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41","name":"admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/","url":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","contentUrl":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","caption":"admin"},"sameAs":["http:\/\/wp.wsisp.com"],"url":"https:\/\/www.wsisp.com\/helps\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/121222","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/comments?post=121222"}],"version-history":[{"count":0,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/121222\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media?parent=121222"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/categories?post=121222"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/tags?post=121222"},{"taxonomy":"topic","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/topic?post=121222"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}