1"use strict";(self.webpackChunkmy_website=self.webpackChunkmy_website||[]).push([["1490"],{301:function(s,a,e){e.r(a),e.d(a,{assets:()=>c,contentTitle:()=>t,default:()=>x,frontMatter:()=>i,metadata:()=>n,toc:()=>r});var n=e(1234),l=e(5893),m=e(65);let i={},t=void 0,c={authorsImageUrls:[]},r=[{value:"T1-Wei \u5B50\u4E0E Runs\uFF08runs\uFF09",id:"t1-wei-\u5B50\u4E0E-runsruns",level:2},{value:"\u9898\u9762",id:"\u9898\u9762",level:3},{value:"\u9898\u89E3",id:"\u9898\u89E3",level:3},{value:"T2-Wei \u5B50\u4E0E\u5DE5\u5382\uFF08factory\uFF09",id:"t2-wei-\u5B50\u4E0E\u5DE5\u5382factory",level:2},{value:"\u9898\u9762",id:"\u9898\u9762-1",level:3},{value:"\u9898\u89E3",id:"\u9898\u89E3-1",level:3},{value:"T3-Wei \u5B50\u4E0E\u94A5\u5319\uFF08key\uFF09",id:"t3-wei-\u5B50\u4E0E\u94A5\u5319key",level:2},{value:"\u9898\u9762",id:"\u9898\u9762-2",level:3},{value:"\u9898\u89E3",id:"\u9898\u89E3-2",level:3},{value:"T4-Wei \u5B50\u4E0E\u4E32\u4E32\uFF08string\uFF09",id:"t4-wei-\u5B50\u4E0E\u4E32\u4E32string",level:2},{value:"\u9898\u9762",id:"\u9898\u9762-3",level:3},{value:"\u9898\u89E3",id:"\u9898\u89E3-3",level:3}];function h(s){let a={annotation:"annotation",h2:"h2",h3:"h3",li:"li",math:"math",mi:"mi",mn:"mn",mo:"mo",mrow:"mrow",msub:"msub",msubsup:"msubsup",msup:"msup",p:"p",semantics:"semantics",span:"span",ul:"ul",...(0,m.a)(),...s.components};return(0,l.jsxs)(l.Fragment,{children:[(0,l.jsx)(a.h2,{id:"t1-wei-\u5B50\u4E0E-runsruns",children:"T1-Wei \u5B50\u4E0E Runs\uFF08runs\uFF09"}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u9762",children:"\u9898\u9762"}),"\n",(0,l.jsxs)(a.p,{children:["Wei \u5B50\u73B0\u5728\u5F97\u5230\u4E86\u4E00\u4E2A\u4EC5\u7531\u5C0F\u5199\u5B57\u6BCD\u6784\u6210\u7684\u5B57\u7B26\u4E32 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]}),"\uFF0C\u4ED6\u628A\u6BCF\u4E00\u4E2A\u6781\u957F\u8FDE\u7EED\u76F8\u540C\u5B57\u7B26\u5B50\u6BB5\u79F0\u4F5C\u4E00\u4E2A\u201C\u6BB5\u201D\uFF08runs\uFF09\uFF0C\u4ED6\u73B0\u5728\u60F3\u95EE\u4F60\u6709\u591A\u5C11\u79CD\u4E0D\u540C\u7684\u6392\u5217\u8FD9\u4E2A\u5B57\u7B26\u4E32\u7684\u65B9\u6848\u4F7F\u5F97\u65B0\u7684\u5B57\u7B26\u4E32\u6BB5\u6570\u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]})," \u76F8\u540C\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u7531\u4E8E\u7B54\u6848\u53EF\u80FD\u5F88\u5927\uFF0C\u7B54\u6848\u5BF9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"10"}),(0,l.jsx)(a.mn,{children:"9"})]}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"7"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"10^9 + 7"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8974em",verticalAlign:"-0.0833em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"0"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"9"})})]})})})})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6444em"}}),(0,l.jsx)(a.span,{className:"mord",children:"7"})]})]})]})," \u53D6\u6A21\u3002\n\u6211\u4EEC\u5B9A\u4E49\u4E24\u4E2A\u5B57\u7B26\u4E32 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"A"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"B"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"A, B"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8778em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"A"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05017em"},children:"B"})]})})]})," \u4E0D\u540C\u5F53\u4E14\u4EC5\u5F53 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{mathvariant:"normal",children:"\u2203"}),(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"A"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{mathvariant:"normal",children:"\u2260"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"B"}),(0,l.jsx)(a.mi,{children:"i"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"\\exists i, A_i \\neq B_i"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"\u2203"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"A"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsxs)(a.span,{className:"mrel",children:[(0,l.jsx)(a.span,{className:"mrel",children:(0,l.jsx)(a.span,{className:"mord vbox",children:(0,l.jsx)(a.span,{className:"thinbox",children:(0,l.jsxs)(a.span,{className:"rlap",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"inner",children:(0,l.jsx)(a.span,{className:"mord",children:(0,l.jsx)(a.span,{className:"mrel",children:"\uE020"})})}),(0,l.jsx)(a.span,{className:"fix"})]})})})}),(0,l.jsx)(a.span,{className:"mrel",children:"="})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8333em",verticalAlign:"-0.15em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05017em"},children:"B"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0502em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})]})]}),"\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:[(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"10"}),(0,l.jsx)(a.mn,{children:"6"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"1\\leq n\\leq10^6"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7804em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7719em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8141em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"0"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"},children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"6"})})]})})})})})]})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u89E3",children:"\u9898\u89E3"}),"\n",(0,l.jsxs)(a.p,{children:["\u5148\u8BB0\u5F55\u4E0B\u6BCF\u79CD\u5B57\u7B26\u51FA\u73B0\u6570\uFF0C\u8BB0\u4E3A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mi,{children:"t"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"cnt"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6151em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"t"})]})})]}),"\uFF0C\u641E\u4E2A\u524D\u7F00\u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"s"}),(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsx)(a.mi,{children:"m"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"sum"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"s"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"m"})]})})]}),"\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u76F4\u63A5\u8BBE ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"d"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"j"})]})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"dp_{i,j}"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"d"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u8868\u793A\u8003\u8651\u4E86\u524D ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"i"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"i"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6595em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"})]})})]})," \u79CD\u5B57\u7B26\uFF0C\u6709 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"j"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.854em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"})]})})]})," \u4E2A\u8FDE\u7EED\u6BB5\u7684\u65B9\u6848\u6570\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u8F6C\u79FB\u95ED\u7740\u773C\u775B\u6574\uFF0C\u679A\u4E3E\u5F53\u524D\u5B57\u7B26\u6709\u591A\u5C11\u6BB5\u52A0\u5728\u539F\u6765\u8FDE\u7EED\u6BB5\u95F4\uFF08\u52A0\u4E00\u6BB5\u8FDE\u7EED\u6BB5\u6570 +1\uFF09\uFF0C\u591A\u5C11\u6BB5\u5728\u8FDE\u7EED\u6BB5\u4E2D\uFF08\u52A0\u4E00\u6BB5\u8FDE\u7EED\u6BB5\u6570 +2\uFF09\uFF0C\u778E\u4E58\u4E2A\u9009\u62E9\u63D2\u5165\u4F4D\u7F6E\u6570\uFF0C\u5206\u914D\u5B57\u7B26\u65B9\u6848\u6570\u4E86\u4E8B\uFF0C\u5F0F\u5B50\u5982\u4E0B\uFF1A"}),"\n",(0,l.jsx)(a.p,{children:(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"d"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"2"}),(0,l.jsx)(a.mi,{children:"s"})]})]}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mo,{children:"="}),(0,l.jsx)(a.mi,{children:"d"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"j"})]})]}),(0,l.jsx)(a.mo,{children:"\xd7"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"C"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"s"}),(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"m"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mi,{children:"j"})]})]})]}),(0,l.jsx)(a.mi,{children:"s"})]}),(0,l.jsx)(a.mo,{children:"\xd7"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"C"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mi,{children:"k"})]}),(0,l.jsx)(a.mo,{children:"\xd7"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"C"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"t"}),(0,l.jsx)(a.mi,{children:"i"})]})]}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mi,{children:"s"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"})]})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"dp_{i,j+k+2s} + = dp_{i-1,j} \\times C_{sum_{i-1-j}}^s \\times C_{j+1}^k \\times C_{cnt_i}^{k+s-1}"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"d"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3361em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"2"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"s"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mord",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"="}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"d"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\xd7"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.1277em",verticalAlign:"-0.4443em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.07153em"},children:"C"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.6644em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"-0.0715em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"s"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"u"}),(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3281em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.357em",marginLeft:"0em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2819em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"s"})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.4443em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\xd7"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.2439em",verticalAlign:"-0.3948em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.07153em"},children:"C"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.8491em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.4413em",marginLeft:"-0.0715em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})]})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3948em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\xd7"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.2351em",verticalAlign:"-0.3459em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.07153em"},children:"C"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.8892em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.4542em",marginLeft:"-0.0715em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"c"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"n"}),(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"t"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3281em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.357em",marginLeft:"0em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.143em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.1031em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"s"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})]})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3459em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})]})]})}),"\n",(0,l.jsxs)(a.p,{children:["\u65F6\u95F4\u590D\u6742\u5EA6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"O"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"26"}),(0,l.jsx)(a.mo,{children:"\xd7"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"100"}),(0,l.jsx)(a.mn,{children:"3"})]}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"O(n + 26 \\times 100^3)"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"O"}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7278em",verticalAlign:"-0.0833em"}}),(0,l.jsx)(a.span,{className:"mord",children:"26"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\xd7"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.0641em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord",children:"10"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"0"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"},children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"3"})})]})})})})})]}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h2,{id:"t2-wei-\u5B50\u4E0E\u5DE5\u5382factory",children:"T2-Wei \u5B50\u4E0E\u5DE5\u5382\uFF08factory\uFF09"}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u9762-1",children:"\u9898\u9762"}),"\n",(0,l.jsxs)(a.p,{children:["Wei \u5B50\u73B0\u5728\u96C7\u4F63\u4E86 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"n"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})})]})," \u4E2A\u5DE5\u4EBA\u7ED9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"n"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})})]})," \u53F0\u673A\u5668\u505A\u5DE5\uFF0C\u6BCF\u53F0\u673A\u5668\u90FD\u9700\u8981\u6070\u597D\u4E00\u540D\u5DE5\u4EBA\u6765\u64CD\u4F5C\uFF0C\u624D\u80FD\u4FDD\u8BC1\u5DE5\u5382\u6B63\u5E38\u8FD0\u8F6C\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u5728\u62DB\u8058\u65F6 Wei \u5B50\u5F97\u77E5 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsx)(a.mo,{children:"\u2208"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"["}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"]"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"j \\in [1, n]"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.854em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2208"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"["}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mclose",children:"]"})]})]})]}),"\uFF0C\u7B2C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"i"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"i"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6595em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"})]})})]}
1)," \u4E2A\u5DE5\u4EBA\u662F\u5426\u4F1A\u64CD\u4F5C\u7B2C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"j"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.854em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"})]})})]})," \u53F0\u673A\u5668\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u6BCF\u5929\uFF0C\u5DE5\u4EBA\u90FD\u4F1A\u4EE5\u968F\u673A\u987A\u5E8F\u5230\u8FBE\u5DE5\u5382\u5E76\u968F\u673A\u9009\u7528\u5F53\u524D\u6CA1\u6709\u4EBA\u4F7F\u7528\u4E14\u4ED6\u4F1A\u64CD\u4F5C\u7684\u673A\u5668\u5F00\u59CB\u5DE5\u4F5C\u3002"}),"\n",(0,l.jsx)(a.p,{children:"Wei \u5B50\u73B0\u5728\u53EF\u4EE5\u82B1\u8D39 1 \u5143\u94B1\u57F9\u8BAD 1 \u4E2A\u5DE5\u4EBA\u5B66\u4F1A\u
164CD\u4F5C 1 \u4E2A\u673A\u5668\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u4F5C\u4E3A\u5927\u8D44\u672C\u5BB6\uFF0C\u5C0F W \u4E0D\u5E0C\u671B\u51FA\u73B0\u5DE5\u5382\u65E0\u6CD5\u8FD0\u4F5C\u7684\u73B0\u8C61\uFF0C\u73B0\u5728\u4ED6\u95EE\u4F60\u6700\u5C11\u82B1\u8D39\u591A\u5C11\u5143\u94B1\u4F7F\u5F97\u65E0\u8BBA\u5982\u4F55\u5DE5\u5382\u90FD\u53EF\u4EE5\u6B63\u5E38\u8FD0\u8F6C\u3002"}),"\n",(0,l.jsxs)(a.p,{children:[(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"t"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mn,{children:"100"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mn,{children:"25"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"1\\leq t\\leq100,1\\leq n\\leq25"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7804em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7719em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"t"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8389em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"100"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7719em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6444em"}}),(0,l.jsx)(a.span,{className:"mord",children:"25"})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u89E3-1",children:"\u9898\u89E3"}),"\n",(0,l.jsx)(a.p,{children:"\u663E\u7136\u628A\u5DE5\u4EBA\u548C\u673A\u5668\u7684\u5173\u7CFB\u89C6\u4F5C\u4E00\u4E2A\u4E8C\u5206\u56FE\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u8003\u8651\u8FD9\u4E2A\u4E8C\u5206\u56FE\u5408\u6CD5\u5FC5\u7136\u6EE1\u8DB3\u4EFB\u610F\u5339\u914D\u90FD\u53EF\u4EE5\u5F97\u5230\u4E00\u7EC4\u5B8C\u7F8E\u5339\u914D\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u8003\u8651\u4EC0\u4E48\u6837\u7684\u4E8C\u5206\u56FE\u662F\u5408\u6CD5\u7684\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u53EF\u4EE5\u53D1\u73B0\u5FC5\u987B\u6BCF\u4E2A\u8FDE\u901A\u5757\u90FD\u6EE1\u8DB3\u4E24\u90E8\u5206\u70B9\u6570\u76F8\u540C\u4E14\u662F\u5B8C\u5168\u4E8C\u5206\u56FE\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u5145\u5206\u6027\u663E\u7136\uFF0C\u5FC5\u8981\u6027\u8003\u8651\u53CD\u8BC1\uFF0C\u5047\u8BBE\u5B58\u5728\u4E00\u4E2A\u4E0D\u7B26\u5408\u6211\u4EEC\u4E0A\u9762\u6761\u4EF6\u7684\u4E8C\u5206\u56FE\u4F46\u662F\u5408\u6CD5\u3002"}),"\n",(0,l.jsxs)(a.p,{children:["\u6211\u4EEC\u5728\u4E00\u4E2A\u8FDE\u901A\u5757 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"G"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"G"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"G"})]})})]})," \u5185\u627E\u4E24\u4E2A\u6CA1\u6709\u76F4\u63A5\u8FDE\u8FB9\u7684\u5DE6\u90E8\u70B9\u548C\u53F3\u90E8\u70B9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"v"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u, v"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"v"})]})})]})," \u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u8003\u8651\u53BB\u6389\u8FD9\u4E24\u4E2A\u70B9\u540E\u7684\u56FE\u3002"}),"\n",(0,l.jsxs)(a.p,{children:["\u5982\u679C\u8FD8\u6709\u5B8C\u7F8E\u5339\u914D\uFF0C\u76F4\u63A5\u7528\u8FD9\u4E2A\u5339\u914D\uFF0C\u6B64\u65F6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"v"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u, v"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"v"})]})})]})," \u5747\u65E0\u6CD5\u5339\u914D\uFF0C\u7206\u6389\u4E86\uFF1B"]}),"\n",(0,l.jsxs)(a.p,{children:["\u5426\u5219\u6839\u636E Hall \u5B9A\u7406\uFF0C\u53BB\u6389 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"v"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u, v"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"v"})]})})]})," \u65F6\u5DE6\u4FA7\u5FC5\u7136\u5B58\u5728\u4E00\u4E2A\u70B9\u96C6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]})," \u4F7F\u5F97\u548C\u5B83\u76F8\u90BB\u7684\u53F3\u90E8\u70B9\u96C6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S'"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7519em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.7519em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})]})})]})," \u5927\u5C0F\u6BD4\u5B83\u5C0F\uFF0C\u7531\u4E8E ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"G"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"G"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"G"})]})})]})," \u8054\u901A\uFF0C",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S'"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7519em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.7519em"},children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})]})})]})," \u4E2D\u5FC5\u7136\u6709\u70B9\u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]})," \u5916\u7684\u70B9\u76F8\u90BB\uFF0C\u76F4\u63A5\u5C06\u8FD9\u6837\u7684\u70B9\u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]})," \u5916\u70B9\u5339\u914D\u6389 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]})," \u5C31\u7206\u6389\u4E86\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u597D\u7684\u73B0\u5728\u6211\u4EEC\u518D\u6765\u770B\u9898\u76EE\u8981\u6211\u4EEC\u505A\u4EC0\u4E48\u3002"}),"\n",(0,l.jsxs)(a.p,{children:["\u539F\u6765\u6709\u8FDE\u8FB9\u7684\u90E8\u5206\u5FC5\u987B\u5206\u5728\u4E00\u8D77\uFF0C\u5373\u4F60\u6709\u4E00\u4E9B\u5DE6\u53F3\u90E8\u70B9\u6570\u5BF9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"b"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"(a_i, b_i)"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"b"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})})]}),"\uFF0C\u4F60\u9700\u8981\u628A\u5B83\u4EEC\u62FC\u6210\u5DE6\u53F3\u90E8\u70B9\u6570\u76F8\u540C\u7684\u70B9\u5BF9\uFF0C\u4EE3\u4EF7\u662F\u5355\u8FB9\u70B9\u6570\u7684\u5E73\u65B9\u548C\u51CF\u53BB\u8FB9\u6570\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u6B64\u65F6\u76F4\u63A5\u5F00\u641C\uFF0C\u5BF9\u5269\u4E0B\u70B9\u6570\u5BF9\u8BB0\u5FC6\u5316\uFF0C\u6BCF\u6B21\u66B4\u529B\u679A\u4E3E\u4E00\u4E9B\u96C6\u5408\u5408\u6210\u4E00\u4E2A\u5DE6\u53F3\u90E8\u70B9\u6570\u76F8\u540C\u7684\u70B9\u5BF9\u5373\u53EF\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u53EF\u4EE5\u53D1\u73B0\u672C\u8D28\u4E0D\u540C\u72B6\u6001\u6570\u662F\u5C11\u7684\uFF0C\u6700\u574F 43008 \u4E2A\uFF0C\u53EF\u4EE5\u901A\u8FC7\u3002"}),"\n",(0,l.jsx)(a.h2,{id:"t3-wei-\u5B50\u4E0E\u94A5\u5319key",children:"T3-Wei \u5B50\u4E0E\u94A5\u5319\uFF08key\uFF09"}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u9762-2",children:"\u9898\u9762"}),"\n",(0,l.jsxs)(a.p,{children:["\u6709 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"n"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})})]})," \u4E2A\u7BB1\u5B50\uFF0C\u6BCF\u4E2A\u7BB1\u5B50\u90FD\u53EA\u80FD\u7528\u67D0\u79CD\u7279\u5B9A\u7C7B\u578B\u7684\u94A5\u5319\u6253\u5F00\uFF0C\u6253\u5F00\u540E\u90A3\u628A\u94A5\u5319\u5C31\u4E0D\u80FD\u4F7F\u7528\u4E86\uFF0C\u7BB1\u5B50\u4E2D\u53EF\u80FD\u653E\u7740\u4E00\u4E9B\u94A5\u5319\uFF0C\u6253\u5F00\u540E\u4F60\u5C31\u53EF\u4EE5\u83B7\u5F97\u8BE5\u7BB1\u5B50\u5185\u7684\u94A5\u5319\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u73B0\u5728\u4F60\u521D\u59CB\u6709 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"k"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"})]})})]})," \u628A\u94A5\u5319\uFF0C\u95EE\u4F60\u53EF\u4E0D\u53EF\u80FD\u6253\u5F00\u6240\u6709\u7BB1\u5B50\uFF0C\u5982\u679C\u53EF\u80FD\uFF0C\u8F93\u51FA\u5B57\u5178\u5E8F\u6700\u5C0F\u7684\u6253\u5F00\u6240\u6709\u7BB1\u5B50\u7684\u65B9\u6848\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u8FD9\u91CC\uFF0C\u6211\u4EEC\u79F0\u4E00\u4E2A\u65B9\u6848\u4E3A\u4E00\u4E2A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u223C"}),(0,l.jsx)(a.mi,{children:"n"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"1 \\sim n"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6444em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u223C"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})]})]})," \u7684\u6392\u5217 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"p"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"p"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"})]})})]}),"\uFF0C\u4F7F\u5F97\u6211\u4EEC\u80FD\u591F\u6309\u7167\u7F16\u53F7 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"n"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"p_1, p_2, ..., p_n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"n"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u7684\u987A\u5E8F\u4F9D\u6B21\u6253\u5F00\u7BB1\u5B50\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:[(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"t"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mn,{children:"25"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mn,{children:"200"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mo,{children:"\u2211"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"s"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mn,{children:"400"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"1\\leq t\\leq25,1\\leq n\\leq200,1\\leq k+\\sum s_i\\leq400"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7804em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7
1719em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"t"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8389em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"25"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7719em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8389em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"200"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7778em",verticalAlign:"-0.0833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mop op-symbol small-op",style:{position:"relative",top:"0em"},children:"\u2211"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"s"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6444em"}}),(0,l.jsx)(a.span,{className:"mord",children:"400"})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u89E3-2",children:"\u9898\u89E3"}),"\n",(0,l.jsx)(a.p,{children:"\u6CE8\u610F\u5230\u6211\u4EEC\u672C\u8D28\u4E0A\u662F\u8981\u5728\u77E5\u9053\u6211\u4EEC\u5F53\u524D\u6709\u54EA\u4E9B\u94A5\u5319\uFF0C\u6709\u54EA\u4E9B\u7BB1\u5B50\u7684\u60C5\u51B5\u4E0B\u5224\u65AD\u662F\u5426\u6709\u89E3\uFF0C\u6784\u9020\u6700\u5C0F\u5316\u65B9\u6848\u53EA\u9700\u8981\u6211\u4EEC\u679A\u4E3E\u5F53\u524D\u5F00\u54EA\u4E2A\u7BB1\u5B50\u540E\u5224\u65AD\u5269\u4E0B\u7BB1\u5B50\u662F\u5426\u6709\u89E3\u5373\u53EF\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u8003\u8651\u4F60\u6700\u5F00\u59CB\u6709\u4E00\u628A\u94A5\u5319\uFF0C\u6BCF\u4E2A\u7BB1\u5B50\u5185\u6070\u597D\u6709\u4E00\u628A\u94A5\u5319\u7684\u60C5\u51B5\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u628A\u94A5\u5319\u7684\u79CD\u7C7B\u89C6\u4F5C\u70B9\uFF0C\u4E00\u4E2A\u7BB1\u5B50\u89C6\u4F5C\u5F00\u7BB1\u5B50\u7C7B\u578B\u94A5\u5319\u548C\u6253\u5F00\u540E\u83B7\u5F97\u94A5\u5319\u4E4B\u95F4\u7684\u8FB9\uFF0C\u9898\u610F\u5C31\u53D8\u6210\u4E86\u6307\u5B9A\u70B9\u51FA\u53D1\u6B27\u62C9\u8DEF\u5F84\u3002"}),"\n",(0,l.jsx)(a.p,{children:"\u4F46\u662F\u5982\u679C\u4E00\u4E2A\u7BB1\u5B50\u91CC\u6709\u591A\u628A\u94A5\u5319\uFF0C\u95EE\u9898\u5C31\u4E0D\u662F\u6B27\u62C9\u8DEF\u5F84\u4E86\uFF0C\u8003\u8651\u5BFB\u627E\u4E00\u4E2A\u56FE\u6709\u89E3\u7684\u60C5\u51B5\uFF1A"}),"\n",(0,l.jsxs)(a.ul,{children:["\n",(0,l.jsxs)(a.li,{children:["\n",(0,l.jsx)(a.p,{children:"\u5F53\u6BCF\u7C7B\u94A5\u5319\u7684\u603B\u6570\u5927\u4E8E\u7B49\u4E8E\u9700\u8981\u4F7F\u7528\u7684\u6570\u91CF\uFF0C\u4E14\u53EF\u4EE5\u83B7\u53D6\u9700\u8981\u7528\u7684\u6BCF\u79CD\u94A5\u5319\uFF08\u4E0A\u56FE\u4ECE\u6700\u5F00\u59CB\u62E5\u6709\u94A5\u5319\u5BF9\u5E94\u8282\u70B9 BFS \u53EF\u8FBE\uFF09\uFF0C\u6211\u4EEC\u58F0\u79F0\u8FD9\u662F\u5FC5\u7136\u6709\u89E3\u7684\u3002"}),"\n"]}),"\n",(0,l.jsxs)(a.li,{children:["\n",(0,l.jsx)(a.p,{children:"\u5FC5\u8981\u6027\u662F\u663E\u7136\u7684\uFF0C\u5145\u5206\u6027\u5C31\u662F\u6211\u4EEC\u8981\u8BF4\u660E\u59CB\u7EC8\u5B58\u5728\u4E00\u4E2A\u53EF\u4EE5\u6253\u5F00\u7684\u7BB1\u5B50\uFF0C\u6253\u5F00\u540E\u4E0D\u5F71\u54CD\u8FDE\u901A\u6027\u3002"}),"\n"]}),"\n"]}),"\n",(0,l.jsx)(a.p,{children:"\u4F60\u5F53\u524D\u56FE\u6EE1\u8DB3\uFF1A"}),"\n",(0,l.jsxs)(a.p,{children:["\u5BF9\u4E8E\u4EFB\u610F\u9700\u8981\u7684\u94A5\u5319\u7C7B\u578B ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"s"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"s"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"s"})]})})]}),"\uFF0C\u5B58\u5728\u4E00\u4E2A\u94A5\u5319\u79CD\u7C7B\u5E8F\u5217 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"m"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k_1, k_2, ..., k_m"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}),"\uFF0C\u5176\u4E2D ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mn,{children:"1"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k_1"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8444em",verticalAlign:"-0.15em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}
1)," \u4E3A\u4F60\u5F53\u524D\u624B\u4E0A\u62E5\u6709\u7684\u94A5\u5319\uFF0C",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"m"})]}),(0,l.jsx)(a.mo,{children:"="}),(0,l.jsx)(a.mi,{children:"s"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k_m = s"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8444em",verticalAlign:"-0.15em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"="}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"s"})]})]})]}),"\uFF0C",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"1"})]})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k_{i+1}"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9028em",verticalAlign:"-0.2083em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2083em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u53EF\u4EE5\u901A\u8FC7 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"i"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"k_i"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8444em",verticalAlign:"-0.15em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u6253\u5F00\u7684\u7BB1\u5B50\u83B7\u5F97\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u8003\u8651\u4F60\u624B\u4E0A\u7684\u67D0\u79CD\u94A5\u5319 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"a"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"a"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})})]}),"\uFF0C\u5982\u679C\u4F60\u5F53\u524D\u62E5\u6709\u6570\u91CF\u5DF2\u7ECF\u8D85\u8FC7\u9700\u8981\u6570\u91CF\u4E86\uFF0C\u663E\u7136\u65E0\u5F71\u54CD\uFF0C\u5426\u5219\uFF1A"]}),"\n",(0,l.jsxs)(a.p,{children:["\u4F60\u73B0\u5728\u6709\u4E00\u4E2A\u5E8F\u5217 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mi,{children:"m"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_1, ka_2, ..., ka_m"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}),"\u3002\u53EF\u4EE5\u83B7\u53D6\u4E00\u4E2A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"a"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"a"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})})]}),"\uFF0C\u6211\u4EEC\u7EA6\u5B9A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{mathvariant:"normal",children:"\u2200"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"<"}),(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"<"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"m"}),(0,l.jsx)(a.mi,{children:"a"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{mathvariant:"normal",children:"\u2260"}),(0,l.jsx)(a.mi,{children:"a"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"\\forall 1 < i < m_a, ka_i \\neq a"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7335em",verticalAlign:"-0.0391em"}}),(0,l.jsx)(a.span,{className:"mord",children:"\u22001"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"<"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6986em",verticalAlign:"-0.0391em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"<"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"m"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"a"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsxs)(a.span,{className:"mrel",children:[(0,l.jsx)(a.span,{className:"mrel",children:(0,l.jsx)(a.span,{className:"mord vbox",children:(0,l.jsx)(a.span,{className:"thinbox",children:(0,l.jsxs)(a.span,{className:"rlap",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"inner",children:(0,l.jsx)(a.span,{className:"mord",children:(0,l.jsx)(a.span,{className:"mrel",children:"\uE020"})})}),(0,l.jsx)(a.span,{className:"fix"})]})})})}),(0,l.jsx)(a.span,{className:"mrel",children:"="})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})]})]}),"\u3002"]}),"\n",(0,l.jsxs)(a.ul,{children:["\n",(0,l.jsxs)(a.li,{children:["\u82E5 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{mathvariant:"normal",children:"\u2260"}),(0,l.jsx)(a.mi,{children:"a"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_1 \\neq a"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsxs)(a.span,{className:"mrel",children:[(0,l.jsx)(a.span,{className:"mrel",children:(0,l.jsx)(a.span,{className:"mord vbox",children:(0,l.jsx)(a.span,{className:"thinbox",children:(0,l.jsxs)(a.span,{className:"rlap",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"inner",children:(0,l.jsx)(a.span,{className:"mord",children:(0,l.jsx)(a.span,{className:"mrel",children:"\uE020"})})}),(0,l.jsx)(a.span,{className:"fix"})]})})})}),(0,l.jsx)(a.span,{className:"mrel",children:"="})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})]})]}),"\uFF0C\u5219\u6709\uFF1A"]}),"\n"]}),"\n",(0,l.jsxs)(a.p,{children:["\u5BF9\u4E8E\u9700\u8981\u7684 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{mathvariant:"normal",children:"\u2200"}),(0,l.jsx)(a.mi,{children:"c"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"\\forall c"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"\u2200"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"})]})})]})," \u94A5\u5319\uFF0C\u4F60\u73B0\u5728\u6709\u4E00\u4E2A\u94A5\u5319\u79CD\u7C7B\u5E8F\u5217 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"m"}),(0,l.jsx)(a.mi,{children:"c"})]})]}),(0,l.jsx)(a.mo,{children:"="}),(0,l.jsx)(a.mi,{children:"c"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"kc_1, kc_2, ..., kc_{mc} = c"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"c"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"="}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"})]})]})]})," \u53EF\u4EE5\u83B7\u53D6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"c"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"c"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"})]})})]}),"\uFF0C\u5982\u679C\u5E8F\u5217 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"c"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"kc"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"})]})})]})," \u4E2D\u6CA1\u6709 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"a"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"a"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})})]}),"\uFF0C\u4F7F\u7528\u540E\u4E0D\u5F71\u54CD\u8FDE\u901A\u6027\uFF0C\u5426\u5219\u4F60\u8003\u8651\u627E\u5230\u6700\u5927 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"j"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.854em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"})]})})]})," \u4F7F\u5F97 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"j"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"jk_j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u4F7F\u5F97 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mi,{children:"j"})]}),(0,l.jsx)(a.mo,{children:"="}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mi,{children:"j"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"jk_j = kc_j"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0315em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"="}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})]})]}),"\uFF0C\u82E5\u4F60\u4F7F\u7528\u4E86 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"a"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"a"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})})]}),"\uFF0C\u4F60\u73B0\u5728\u53EF\u4EE5\u4F7F\u7528 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"})]})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsx)(a.mi,{children:"j"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"j"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"1"})]})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"."}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"c"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"m"}),(0,l.jsx)(a.mi,{children:"c"})]})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_1, ka_2, ..., ka_{j-1}, kc_j, kc_{j+1}, ..., kc_{mc}"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9805em",verticalAlign:"-0.2861em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"}),(0,l.jsx)(a.span,{className:"mbin mtight",children:"+"}),(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"..."}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.1514em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"m"}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"c"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u83B7\u53D6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"c"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"c"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"c"})]})})]}),"\u3002"]}),"\n",(0,l.jsxs)(a.ul,{children:["\n",(0,l.jsxs)(a.li,{children:["\u82E5 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{children:"="}),(0,l.jsx)(a.mi,{children:"a"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_1 = a"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8444em",verticalAlign:"-0.15em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"="}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})]})]}),"\uFF0C\u5219\u6709\uFF1A"]}),"\n"]}),"\n",(0,l.jsxs)(a.p,{children:["\u76F4\u63A5\u7528 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"a"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"a"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})})]})," \u83B7\u53D6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"2"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_2"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8444em",verticalAlign:"-0.15em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]}),"\uFF0C\u4F60\u53D1\u73B0 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"a"}),(0,l.jsx)(a.mn,{children:"1"})]}),(0,l.jsx)(a.mo,{mathvariant:"normal",children:"\u2260"}),(0,l.jsx)(a.mi,{children:"a"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"ka_1 \\neq a"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3011em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"1"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsxs)(a.span,{className:"mrel",children:[(0,l.jsx)(a.span,{className:"mrel",children:(0,l.jsx)(a.span,{className:"mord vbox",children:(0,l.jsx)(a.span,{className:"thinbox",children:(0,l.jsxs)(a.span,{className:"rlap",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"inner",children:(0,l.jsx)(a.span,{className:"mord",children:(0,l.jsx)(a.span,{className:"mrel",children:"\uE020"})})}),(0,l.jsx)(a.span,{className:"fix"})]})})})}),(0,l.jsx)(a.span,{className:"mrel",children:"="})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"a"})]})]})]})," \u8BBA\u8BC1\u4ECD\u7136\u6210\u7ACB\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u6545\u4E0A\u8FF0\u6761\u4EF6\u5145\u5206\u3002"}),"\n",(0,l.jsxs)(a.p,{children:["\u505A\u5C31\u76F4\u63A5\u679A\u4E3E\u5F53\u524D\u4F4D\u4E8E\u54EA\u4E2A\u7BB1\u5B50\uFF0C\u53BB\u6389\u8FD9\u4E2A\u7BB1\u5B50\u540E\u5728\u5269\u4F59\u56FE\u4E0A BFS \u5373\u53EF\uFF0C\u65F6\u95F4\u590D\u6742\u5EA6 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"O"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsx)(a.mi,{children:"t"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mn,{children:"2"})]}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"O(tn^2k)"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.064
11em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"O"}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"t"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"},children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"2"})})]})})})})})]}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h2,{id:"t4-wei-\u5B50\u4E0E\u4E32\u4E32string",children:"T4-Wei \u5B50\u4E0E\u4E32\u4E32\uFF08string\uFF09"}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u9762-3",children:"\u9898\u9762"}),"\n",(0,l.jsxs)(a.p,{children:["Wei \u5B50\u73B0\u5728\u6536\u5230\u4E86\u4E00\u4E2A\u957F\u5EA6\u4E3A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"n"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})})]})," \u7684\u5339\u914D\u62EC\u53F7\u4E32 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"S"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"})]})})]}),"\uFF0C\u4F5C\u4E3A\u56FE\u8BBA\u5E26\u5E08\uFF0C\u4ED6\u51ED\u501F\u8FD9\u4E2A\u62EC\u53F7\u4E32\u6784\u60F3\u4E86\u8FD9\u6837\u4E00\u4E2A\u5E26\u6743\u6709\u5411\u56FE\uFF1A"]}),"\n",(0,l.jsxs)(a.p,{children:["\u6709 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"n"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"n"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"})]})})]})," \u4E2A\u8282\u70B9\uFF0C\u70B9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"i"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"i"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6595em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"})]})})]})," \u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"i+1 (1 \\leq i \\leq n-1)"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7429em",verticalAlign:"-0.0833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7955em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6667em",verticalAlign:"-0.0833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})]})]})," \u4E4B\u95F4\u4E92\u6709\u8FDE\u8FB9\uFF0C\u82E5 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mi,{children:"i"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S_i"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8333em",verticalAlign:"-0.15em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.311
17em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0576em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u548C ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mi,{children:"j"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S_j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.9694em",verticalAlign:"-0.2861em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0576em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.05724em"},children:"j"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.2861em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u662F\u5339\u914D\u7684\uFF0C\u5219 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"j"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"i,j"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.854em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05724em"},children:"j"})]})})]})," \u4E4B\u95F4\u4E92\u6709\u8FDE\u8FB9\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u4E3A\u4E86\u8BC4\u4F30\u8FD9\u4E2A\u56FE\u7684\u590D\u6742\u6027\uFF0C\u4ED6\u73B0\u5728\u95EE\u4F60 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"q"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"q"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"q"})]})})]})," \u6B21\u4ECE\u4ED6\u7ED9\u51FA\u7684\u8D77\u70B9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"u"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"})]})})]})," \u8D70\u5230 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"v"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"v"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"v"})]})})]})," \u7684\u6700\u77ED\u8DEF\u662F\u591A\u5C11\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:[(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"n"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"q"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"10"}),(0,l.jsx)(a.mn,{children:"5"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"\u2200"}),(0,l.jsx)(a.mi,{children:"i"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsx)(a.mi,{children:"w"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"l"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"w"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"w"}),(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"i"})]}),(0,l.jsx)(a.mo,{children:"\u2264"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"10"}),(0,l.jsx)(a.mn,{children:"6"})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"1\\leq n,q\\leq10^5,\\forall i,1\\leq wl_i,wr_i,wp_i\\leq10^6"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.7804em",verticalAlign:"-0.136em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8304em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"n"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"q"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.0085em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"0"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"5"})})]})})})})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"\u2200"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"i"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8889em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02691em"},children:"w"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.01968em"},children:"l"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0197em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02691em"},children:"w"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"-0.0278em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02691em"},children:"w"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3117em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.55em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"i"})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.15em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2264"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8141em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"0"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8141em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"6"})})]})})})})})]})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.h3,{id:"\u9898\u89E3-3",children:"\u9898\u89E3"}),"\n",(0,l.jsxs)(a.p,{children:["\u5C06\u62EC\u53F7\u4E32\u5EFA\u6811\u3002\u5BF9\u4E8E\u4E00\u4E2A\u6EE1\u8DB3\u5DE6\u53F3\u7AEF\u70B9\u5339\u914D\u7684\u533A\u95F4 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mo,{stretchy:"false",children:"["}),(0,l.jsx)(a.mi,{children:"l"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"]"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"[l,r]"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"["}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.01968em"},children:"l"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"mclose",children:"]"})]})})]}),"\uFF0C\u5EFA\u4E00\u4E2A\u865A\u70B9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"x"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"})]})})]})," \u5E76\u5EFA\u7ACB ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"l"}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"(x,l),(x,r)"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.01968em"},children:"l"}),(0,l.jsx)(a.span,{className:"mclose",children:")"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})})]}),"\u3002\u518D\u9012\u5F52\u63A8\u51FA ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mo,{stretchy:"false",children:"["}),(0,l.jsx)(a.mi,{children:"l"}),(0,l.jsx)(a.mo,{children:"+"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mo,{children:"\u2212"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{stretchy:"false",children:"]"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"[l+1,r-1]"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"["}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.01968em"},children:"l"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"+"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8389em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}}),(0,l.jsx)(a.span,{className:"mbin",children:"\u2212"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2222em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mord",children:"1"}),(0,l.jsx)(a.span,{className:"mclose",children:"]"})]})]})]})," \u533A\u95F4\u5185\u7684\u82E5\u5E72\u4E0D\u4EA4\u5339\u914D\u533A\u95F4\u7684\u5B50\u6811\uFF0C\u5C06 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"x"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"})]})})]})," \u8FDE\u5411\u8FD9\u4E9B\u5B50\u6811\u7684\u6839\u8282\u70B9\u3002\u6700\u540E\u518D\u5EFA\u4E00\u4E2A\u865A\u70B9\u5C06\u5EFA\u51FA\u6765\u7684\u68EE\u6797\u7684\u6839\u8FDE\u8D77\u6765\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u5BF9\u4E8E\u4E00\u7EC4\u8BE2\u95EE ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{children:"\u2192"}),(0,l.jsx)(a.mi,{children:"T"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S \\to T"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2192"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"T"})]})]})]}),"\uFF0C\u8003\u8651\u6C42\u51FA ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"T"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S,T"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8778em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"T"})]})})]})," \u5728\u6811\u4E0A\u7684 LCA ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"P"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"P"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"P"})]})})]}),"\u3002\u6C42\u51FA ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"y"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x,y"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"y"})]})})]})," \u4F7F\u5F97 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"y"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x,y"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"y"})]})})]})," \u662F ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"P"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"P"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"P"})]})})]})," \u7684\u513F\u5B50\uFF0C\u4E14 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"T"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S,T"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8778em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"T"})]})})]})," \u5206\u522B\u5728 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"y"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x,y"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.625em",verticalAlign:"-0.1944em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.03588em"},children:"y"})]})})]})," \u7684\u5B50\u6811\u5185\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u4EE4 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"p_{x}^{'},pr_{x}^{'}"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.1895em",verticalAlign:"-0.247em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"}
1,children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"-0.0278em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u8868\u793A\u4E00\u4E2A\u7ED3\u70B9 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"x"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"x"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"x"})]})})]})," \u6240\u4EE3\u8868\u533A\u95F4\u7684\u5DE6\u3001\u53F3\u7AEF\u70B9\u3002\u663E\u7136 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{children:"\u2192"}),(0,l.jsx)(a.mi,{children:"T"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S \\to T"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2192"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"T"})]})]})]})," \u7684\u8DEF\u5F84\u4E00\u5B9A\u6EE1\u8DB3 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"S"}),(0,l.jsx)(a.mo,{children:"\u2192"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"/"}),(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mo,{children:"\u2192"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"y"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"/"}),(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mi,{children:"y"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mo,{children:"\u2192"}),(0,l.jsx)(a.mi,{children:"T"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"S \\to p_{x}^{'}/pr_{x}^{'} \\to p_{y}^{'}/pr_{y}^{'} \\to T"})]})})}),(0,l.jsxs)(a.span,{className:"katex-html","aria-hidden":"true",children:[(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.05764em"},children:"S"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2192"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.1925em",verticalAlign:"-0.25em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"}
1,children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mord",children:"/"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"-0.0278em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2192"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.3256em",verticalAlign:"-0.3831em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03588em"},children:"y"})})})]}
1),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3831em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mord",children:"/"}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"-0.0278em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03588em"},children:"y"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3831em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}}),(0,l.jsx)(a.span,{className:"mrel",children:"\u2192"}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.2778em"}})]}),(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.6833em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.13889em"},children:"T"})]})]})]}),"\u3002"]}),"\n",(0,l.jsx)(a.p,{children:"\u73B0\u5728\u7684\u4E00\u4E2A\u95EE\u9898\u5728\u4E8E\u6C42\u51FA\u4E00\u4E2A\u7ED3\u70B9\u513F\u5B50\u4E4B\u95F4\u7684\u6700\u77ED\u8DEF\u3002\u60C5\u51B5\u5982\u4E0B\u56FE\u3002"}),"\n",(0,l.jsxs)(a.p,{children:["\u5982\u679C\u8FB9\u6743\u7686\u4E3A 1 \u6211\u4EEC\u5C31\u5BB9\u6613\u7528\u524D\u7F00\u548C\u5F97\u5230\u7B54\u6848\u3002\u5426\u5219\u5C31\u9700\u8981\u5C06\u6240\u6709\u5339\u914D\u62EC\u53F7 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mo,{stretchy:"false",children:"("}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"p"}),(0,l.jsxs)(a.msubsup,{children:[(0,l.jsx)(a.mi,{children:"r"}),(0,l.jsx)(a.mi,{children:"x"}),(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mrow,{}),(0,l.jsx)(a.mo,{mathvariant:"normal",lspace:"0em",rspace:"0em",children:"\u2032"})]})]}),(0,l.jsx)(a.mo,{stretchy:"false",children:")"})]}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"(p_{x}^{'},pr_{x}^{'})"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.1925em",verticalAlign:"-0.25em"}}),(0,l.jsx)(a.span,{className:"mopen",children:"("}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"}
1,children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"0em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mpunct",children:","}),(0,l.jsx)(a.span,{className:"mspace",style:{marginRight:"0.1667em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"p"}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.02778em"},children:"r"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsxs)(a.span,{className:"vlist",style:{height:"0.9425em"},children:[(0,l.jsxs)(a.span,{style:{top:"-2.453em",marginLeft:"-0.0278em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"x"})})})]}),(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8278em"},children:(0,l.jsxs)(a.span,{style:{top:"-2.931em",marginRight:"0.0714em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.5em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size3 size1 mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:(0,l.jsx)(a.span,{className:"mord mtight",children:"\u2032"})})})]})})})})})]})})})]})]}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.247em"},children:(0,l.jsx)(a.span,{})})})]})})]}),(0,l.jsx)(a.span,{className:"mclose",children:")"})]})})]})," \u95F4\u7684\u8FB9\u6743\u66F4\u65B0\u4E3A\u5B83\u4EEC\u4E4B\u95F4\u7684\u6700\u77ED\u8DEF\u624D\u80FD\u4FDD\u8BC1\u6B63\u786E\u6027\u3002\u8FD9\u4E2A\u53EF\u4EE5\u5728\u6811\u4E0A\u4ECE\u4E0B\u5F80\u4E0A\u518D\u4ECE\u4E0A\u5F80\u4E0B\u8F6C\u79FB\u3002"]}),"\n",(0,l.jsxs)(a.p,{children:["\u63A5\u4E0B\u6765\u6211\u4EEC\u53EA\u9700\u8981\u6C42\u51FA\u4E00\u4E2A\u70B9\u5230\u5176\u67D0\u4E2A\u7956\u5148\uFF08\u6216\u8005\u53CD\u5411\uFF09\u7684\u6700\u77ED\u8DEF\u3002\u8BBE ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msub,{children:[(0,l.jsx)(a.mi,{children:"f"}),(0,l.jsxs)(a.mrow,{children:[(0,l.jsx)(a.mi,{children:"u"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mi,{children:"k"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"0"}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"/"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"0"}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"/"}),(0,l.jsx)(a.mn,{children:"1"}),(0,l.jsx)(a.mo,{separator:"true",children:","}),(0,l.jsx)(a.mn,{children:"0"}),(0,l.jsx)(a.mi,{mathvariant:"normal",children:"/"}),(0,l.jsx)(a.mn,{children:"1"})]})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"f_{u,k,0/1,0/1,0/1}"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"1.0496em",verticalAlign:"-0.3552em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord mathnormal",style:{marginRight:"0.10764em"},children:"f"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsxs)(a.span,{className:"vlist-t vlist-t2",children:[(0,l.jsxs)(a.span,{className:"vlist-r",children:[(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3448em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-2.5198em",marginLeft:"-0.1076em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsxs)(a.span,{className:"mord mtight",children:[(0,l.jsx)(a.span,{className:"mord mathnormal mtight",children:"u"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mtight",children:"0/1"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mtight",children:"0/1"}),(0,l.jsx)(a.span,{className:"mpunct mtight",children:","}),(0,l.jsx)(a.span,{className:"mord mtight",children:"0/1"})]})})]})}),(0,l.jsx)(a.span,{className:"vlist-s",children:"\u200B"})]}),(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.3552em"},children:(0,l.jsx)(a.span,{})})})]})})]})]})})]})," \u8868\u793A\u8D77\u70B9\u4E3A ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"u"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"})]})})]})," \u6216 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"u"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"})]})})]})," \u7684 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"2"}),(0,l.jsx)(a.mi,{children:"k"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"2^k"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8491em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"2"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8491em"},children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"})})]})})})})})]})]})})]})," \u7EA7\u7956\u5148\uFF0C",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"u"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"})]})})]})," \u7ED3\u70B9\u7684\u5DE6/\u53F3\u7AEF\u70B9\u4E0E ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsx)(a.mi,{children:"u"})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"u"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.4306em"}}),(0,l.jsx)(a.span,{className:"mord mathnormal",children:"u"})]})})]})," \u7684 ",(0,l.jsxs)(a.span,{className:"katex",children:[(0,l.jsx)(a.span,{className:"katex-mathml",children:(0,l.jsx)(a.math,{xmlns:"http://www.w3.org/1998/Math/MathML",children:(0,l.jsxs)(a.semantics,{children:[(0,l.jsx)(a.mrow,{children:(0,l.jsxs)(a.msup,{children:[(0,l.jsx)(a.mn,{children:"2"}),(0,l.jsx)(a.mi,{children:"k"})]})}),(0,l.jsx)(a.annotation,{encoding:"application/x-tex",children:"2^k"})]})})}),(0,l.jsx)(a.span,{className:"katex-html","aria-hidden":"true",children:(0,l.jsxs)(a.span,{className:"base",children:[(0,l.jsx)(a.span,{className:"strut",style:{height:"0.8491em"}}),(0,l.jsxs)(a.span,{className:"mord",children:[(0,l.jsx)(a.span,{className:"mord",children:"2"}),(0,l.jsx)(a.span,{className:"msupsub",children:(0,l.jsx)(a.span,{className:"vlist-t",children:(0,l.jsx)(a.span,{className:"vlist-r",children:(0,l.jsx)(a.span,{className:"vlist",style:{height:"0.8491em"}
1,children:(0,l.jsxs)(a.span,{style:{top:"-3.063em",marginRight:"0.05em"},children:[(0,l.jsx)(a.span,{className:"pstrut",style:{height:"2.7em"}}),(0,l.jsx)(a.span,{className:"sizing reset-size6 size3 mtight",children:(0,l.jsx)(a.span,{className:"mord mathnormal mtight",style:{marginRight:"0.03148em"},children:"k"})})]})})})})})]})]})})]})," \u7EA7\u7956\u5148\u7684\u5DE6/\u53F3\u7AEF\u70B9\u7684\u6700\u77ED\u8DEF\uFF0C\u53EF\u4EE5\u500D\u589E\u8F6C\u79FB\u3002"]})]})}function x(s={}){let{wrapper:a}={...(0,m.a)(),...s.components};return a?(0,l.jsx)(a,{...s,children:(0,l.jsx)(h,{...s})}):h(s)}},65:function(s,a,e){e.d(a,{Z:()=>t,a:()=>i});var n=e(7294);let l={},m=n.createContext(l);function i(s){let a=n.useContext(m);return n.useMemo(function(){return"function"==typeof s?s(a):{...a,...s}},[a,s])}function t(s){let a;return a=s.disableParentContext?"function"==typeof s.components?s.components(l):s.components||l:i(s.components),n.createElement(m.Provider,{value:a},s.children)}},1234:function(s){s.exports=JSON.parse('{"permalink":"/blog/\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.23 \u6A21\u62DF\u8D5B","editUrl":"https://github.com/facebook/docusaurus/tree/main/packages/create-docusaurus/templates/shared/blog/\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.23 \u6A21\u62DF\u8D5B.md","source":"@site/blog/\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.23 \u6A21\u62DF\u8D5B.md","title":"\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.23 \u6A21\u62DF\u8D5B","description":"T1-Wei \u5B50\u4E0E Runs\uFF08runs\uFF09","date":"2025-10-24T11:13:34.000Z","tags":[],"readingTime":7.53,"hasTruncateMarker":false,"authors":[],"frontMatter":{},"unlisted":false,"prevItem":{"title":"\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.22 \u6A21\u62DF\u8D5B","permalink":"/blog/\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.22 \u6A21\u62DF\u8D5B"},"nextItem":{"title":"\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.20 \u6A21\u62DF\u8D5B","permalink":"/blog/\u6A21\u62DF\u8D5B\u9898\u89E3/2025.10.20 \u6A21\u62DF\u8D5B"}}')}}]);
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.