<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <author>
    <name>拜泪</name>
  </author>
  <generator uri="https://hexo.io/">Hexo</generator>
  <id>https://critel.github.io/</id>
  <link href="https://critel.github.io/" rel="alternate"/>
  <link href="https://critel.github.io/atom.xml" rel="self"/>
  <rights>All rights reserved 2026, 拜泪</rights>
  <subtitle>如你所想</subtitle>
  <title>拜泪X`Blog</title>
  <updated>2026-04-25T12:23:39.939Z</updated>
  <entry>
    <author>
      <name>拜泪</name>
    </author>
    <category term="学习资料" scheme="https://critel.github.io/tags/%E5%AD%A6%E4%B9%A0%E8%B5%84%E6%96%99/"/>
    <content>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" class="aplayer-secondary-script-marker"></script><p>测试：<spanclass="math inline"><em>a</em> + <em>b</em> = <em>c</em></span> ###==6.3 图的矩阵表示==</p><p>矩阵是图的一种重要代数表示，它将图的拓扑结构转化为数值阵列，便于利用代数工具（如矩阵乘法、特征值）分析图的路径与连通性质。本节涵盖四种核心矩阵。</p><hr /><h4 id="无向图的关联矩阵">==🔷 6.3.1 无向图的关联矩阵==</h4><blockquote><p><strong>定义</strong>：设无向图 <spanclass="math inline"><em>G</em> = ⟨<em>V</em>, <em>E</em>⟩</span>，其中<spanclass="math inline"><em>V</em> = {<em>v</em><sub>1</sub>, <em>v</em><sub>2</sub>, …, <em>v</em><sub><em>n</em></sub>}</span>，<spanclass="math inline"><em>E</em> = {<em>e</em><sub>1</sub>, <em>e</em><sub>2</sub>, …, <em>e</em><sub><em>m</em></sub>}</span>。定义矩阵<spanclass="math inline"><strong>M</strong>(<em>G</em>) = (<em>m</em><sub><em>i</em><em>j</em></sub>)<sub><em>n</em> × <em>m</em></sub></span>，其中<strong><spanclass="math inline"><em>m</em><sub><em>i</em><em>j</em></sub></span>是顶点 <span class="math inline"><em>v</em><sub><em>i</em></sub></span>与边 <span class="math inline"><em>e</em><sub><em>j</em></sub></span>的关联次数</strong>（取值为 <spanclass="math inline">0, 1, 2</span>）。</p></blockquote><ul><li><strong>示例矩阵</strong>： <span class="math display">$$\Large\left[\begin{array}{c|rrrrr}    &amp; e_1 &amp; e_2 &amp; e_3 &amp; e_4 &amp; e_5 \\\hlinev_1   &amp; 1   &amp; 1   &amp; 1   &amp; 0   &amp; 0   \\v_2   &amp; 0   &amp; 1   &amp; 1   &amp; 1   &amp; 0   \\v_3   &amp; 1   &amp; 0   &amp; 0   &amp; 1   &amp; 2   \\v_4   &amp; 0   &amp; 0   &amp; 0   &amp; 0   &amp; 0   \\\end{array}\right]$$</span></li></ul><table><colgroup><col style="width: 50%" /><col style="width: 50%" /></colgroup><thead><tr><th style="text-align: left;">性质</th><th style="text-align: left;">说明</th></tr></thead><tbody><tr><td style="text-align: left;">① <strong>列特征</strong></td><td style="text-align: left;">每列恰有两个 <spanclass="math inline">1</span> 或一个 <spanclass="math inline">2</span>（环对应 <spanclass="math inline">2</span>）。</td></tr><tr><td style="text-align: left;">② <strong>行和</strong></td><td style="text-align: left;">第 <spanclass="math inline"><em>i</em></span> 行元素之和 = <strong><spanclass="math inline"><strong>d</strong><strong>(</strong><strong>v</strong><sub><strong>i</strong></sub><strong>)</strong></span></strong>（顶点度数）。</td></tr><tr><td style="text-align: left;">③ <strong>总和</strong></td><td style="text-align: left;">全体元素之和 = <strong><spanclass="math inline">2<em>m</em></span></strong>（握手定理的矩阵体现）。</td></tr><tr><td style="text-align: left;">④ <strong>孤立点</strong></td><td style="text-align: left;"><spanclass="math inline"><em>v</em><sub><em>i</em></sub></span> 为孤立点<span class="math inline">⇔</span> 第 <spanclass="math inline"><em>i</em></span> 行全为 <spanclass="math inline">0</span>。</td></tr><tr><td style="text-align: left;">⑤ <strong>平行边</strong></td><td style="text-align: left;"><spanclass="math inline"><em>e</em><sub><em>j</em></sub></span> 与 <spanclass="math inline"><em>e</em><sub><em>k</em></sub></span> 为平行边<span class="math inline">⇔</span> 第 <spanclass="math inline"><em>j</em></span> 列与第 <spanclass="math inline"><em>k</em></span> 列完全相同。</td></tr></tbody></table><hr /><h4 id="有向图的关联矩阵">==🔷 6.3.2 有向图的关联矩阵==</h4><blockquote><p><strong>定义</strong>：设无环有向图 <spanclass="math inline"><em>D</em> = ⟨<em>V</em>, <em>E</em>⟩</span>，定义矩阵<spanclass="math inline"><strong>M</strong>(<em>D</em>) = (<em>m</em><sub><em>i</em><em>j</em></sub>)<sub><em>n</em> × <em>m</em></sub></span>，其中：- <spanclass="math inline"><em>m</em><sub><em>i</em><em>j</em></sub> = 1</span>，若<span class="math inline"><em>v</em><sub><em>i</em></sub></span> 为<span class="math inline"><em>e</em><sub><em>j</em></sub></span> 的<strong>始点</strong>； - <spanclass="math inline"><em>m</em><sub><em>i</em><em>j</em></sub> = −1</span>，若<span class="math inline"><em>v</em><sub><em>i</em></sub></span> 为<span class="math inline"><em>e</em><sub><em>j</em></sub></span> 的<strong>终点</strong>； - <spanclass="math inline"><em>m</em><sub><em>i</em><em>j</em></sub> = 0</span>，若<span class="math inline"><em>v</em><sub><em>i</em></sub></span> 与<span class="math inline"><em>e</em><sub><em>j</em></sub></span>不关联。</p></blockquote><ul><li><strong>示例矩阵</strong>： <span class="math display">$$\Large\left[\begin{array}{c|rrrrr}    &amp; e_1 &amp; e_2 &amp; e_3 &amp; e_4 &amp; e_5 \\\hlinev_1   &amp; 1   &amp; -1   &amp; 0   &amp; 0   &amp; 0   \\v_2   &amp; 0   &amp; 1   &amp; 1   &amp; -1   &amp; 0   \\v_3   &amp; -1   &amp; 0   &amp; -1   &amp; 1   &amp; 1   \\v_4   &amp; 0   &amp; 0   &amp; 0   &amp; 0   &amp; -1   \\\end{array}\right]$$</span></li></ul><table><colgroup><col style="width: 50%" /><col style="width: 50%" /></colgroup><thead><tr><th style="text-align: left;">性质</th><th style="text-align: left;">说明</th></tr></thead><tbody><tr><td style="text-align: left;">① <strong>列特征</strong></td><td style="text-align: left;">每列恰有一个 <strong><spanclass="math inline">1</span></strong> 和一个 <strong><spanclass="math inline">−1</span></strong>。</td></tr><tr><td style="text-align: left;">② <strong>出度与入度</strong></td><td style="text-align: left;">第 <spanclass="math inline"><em>i</em></span> 行 <spanclass="math inline">1</span> 的个数 = <strong><spanclass="math inline"><em>d</em><sup>+</sup>(<em>v</em><sub><em>i</em></sub>)</span></strong>；<spanclass="math inline">−1</span> 的个数 = <strong><spanclass="math inline"><em>d</em><sup>−</sup>(<em>v</em><sub><em>i</em></sub>)</span></strong>。</td></tr><tr><td style="text-align: left;">③ <strong>总和</strong></td><td style="text-align: left;">全体 <span class="math inline">1</span>的个数 = 全体 <span class="math inline">−1</span> 的个数 = <strong><spanclass="math inline"><em>m</em></span></strong>。</td></tr></tbody></table><hr /><h4 id="有向图的邻接矩阵">==🔷 6.3.3 有向图的邻接矩阵== ⭐</h4><blockquote><p><strong>定义</strong>：设 <spanclass="math inline"><em>D</em> = ⟨<em>V</em>, <em>E</em>⟩</span>，<spanclass="math inline">|<em>V</em>| = <em>n</em></span>。邻接矩阵 <spanclass="math inline"><strong>A</strong>(<em>D</em>) = (<em>a</em><sub><em>i</em><em>j</em></sub><sup>(1)</sup>)<sub><em>n</em> × <em>n</em></sub></span>，其中<strong><spanclass="math inline"><em>a</em><sub><em>i</em><em>j</em></sub><sup>(1)</sup></span>是从 <span class="math inline"><em>v</em><sub><em>i</em></sub></span> 到<span class="math inline"><em>v</em><sub><em>j</em></sub></span>的有向边条数</strong>。</p></blockquote><ul><li><p><strong>示例矩阵</strong>： <span class="math display">$$\Large\left[\begin{array}{c|cccc}      &amp; v_1 &amp; v_2 &amp; v_3 &amp; v_4 \\\hlinev_1 &amp; 1 &amp; 0 &amp; 0 &amp; 0 \\v_2 &amp; 2 &amp; 0 &amp; 1 &amp; 0 \\v_3 &amp; 1 &amp; 0 &amp; 0 &amp; 1 \\v_4 &amp; 1 &amp; 0 &amp; 1 &amp; 0 \\\end{array}\right]$$</span></p></li><li><p><strong>基本性质</strong>：</p></li><li><p>第 <span class="math inline"><em>i</em></span> 行和 = <spanclass="math inline"><em>d</em><sup>+</sup>(<em>v</em><sub><em>i</em></sub>)</span>，第<span class="math inline"><em>j</em></span> 列和 = <spanclass="math inline"><em>d</em><sup>−</sup>(<em>v</em><sub><em>j</em></sub>)</span>。</p></li><li><p>元素总和 = <strong><spanclass="math inline"><em>m</em></span></strong>（长度为 <spanclass="math inline">1</span> 的通路总数）。</p></li></ul><blockquote><p><strong>定理 6.5（邻接矩阵的幂）</strong><br />设 <span class="math inline"><strong>A</strong></span> 为 <spanclass="math inline"><em>n</em></span> 阶有向图 <spanclass="math inline"><em>D</em></span> 的邻接矩阵，则 <spanclass="math inline"><strong>A</strong><sup><em>l</em></sup></span>（<spanclass="math inline"><em>l</em> ≥ 1</span>）中的元素具有明确的组合意义：- <strong><spanclass="math inline"><em>a</em><sub><em>i</em><em>j</em></sub><sup>(<em>l</em>)</sup></span></strong>：从<span class="math inline"><em>v</em><sub><em>i</em></sub></span> 到<span class="math inline"><em>v</em><sub><em>j</em></sub></span> 长度为<strong><span class="math inline"><em>l</em></span></strong>的通路数目。 - <strong><spanclass="math inline"><em>a</em><sub><em>i</em><em>i</em></sub><sup>(<em>l</em>)</sup></span></strong>：从<span class="math inline"><em>v</em><sub><em>i</em></sub></span>到自身长度为 <strong><spanclass="math inline"><em>l</em></span></strong> 的回路数目。 -<strong><span class="math inline">$\sum_{i=1}^{n}\sum_{j=1}^{n}a_{ij}^{(l)}$</span></strong>：图中长度为 <strong><spanclass="math inline"><em>l</em></span></strong> 的通路总数。 -<strong><span class="math inline">$\sum_{i=1}^{n}a_{ii}^{(l)}$</span></strong>：图中长度为 <strong><spanclass="math inline"><em>l</em></span></strong> 的回路总数。</p></blockquote><blockquote><p><strong>推论</strong>：令 <spanclass="math inline"><strong>B</strong><sub><em>r</em></sub> = <strong>A</strong> + <strong>A</strong><sup>2</sup> + … + <strong>A</strong><sup><em>r</em></sup></span>，则<span class="math inline"><strong>B</strong><sub><em>r</em></sub></span>中的元素 <strong><spanclass="math inline"><em>b</em><sub><em>i</em><em>j</em></sub><sup>(<em>r</em>)</sup></span></strong>表示从 <span class="math inline"><em>v</em><sub><em>i</em></sub></span>到 <span class="math inline"><em>v</em><sub><em>j</em></sub></span><strong>长度不超过 <span class="math inline"><em>r</em></span></strong>的通路数。</p></blockquote><ul><li><strong>📊 计算示例</strong>（基于示例矩阵）：</li></ul><table><thead><tr><th style="text-align: center;">长度 <spanclass="math inline"><em>l</em></span></th><th style="text-align: center;">通路总数</th><th style="text-align: center;">回路总数</th></tr></thead><tbody><tr><td style="text-align: center;">1</td><td style="text-align: center;">8</td><td style="text-align: center;">1</td></tr><tr><td style="text-align: center;">2</td><td style="text-align: center;">11</td><td style="text-align: center;">3</td></tr><tr><td style="text-align: center;">3</td><td style="text-align: center;">14</td><td style="text-align: center;">1</td></tr><tr><td style="text-align: center;">4</td><td style="text-align: center;">17</td><td style="text-align: center;">3</td></tr><tr><td style="text-align: center;"><strong>≤4</strong></td><td style="text-align: center;"><strong>50</strong></td><td style="text-align: center;"><strong>8</strong></td></tr></tbody></table><hr /><h4 id="有向图的可达矩阵">==🔷 6.3.4 有向图的可达矩阵==</h4><blockquote><p><strong>定义</strong>：设 <spanclass="math inline"><em>D</em> = ⟨<em>V</em>, <em>E</em>⟩</span>，<spanclass="math inline"><em>V</em> = {<em>v</em><sub>1</sub>, …, <em>v</em><sub><em>n</em></sub>}</span>。可达矩阵<spanclass="math inline"><strong>P</strong>(<em>D</em>) = (<em>p</em><sub><em>i</em><em>j</em></sub>)<sub><em>n</em> × <em>n</em></sub></span>，其中：- <spanclass="math inline"><em>p</em><sub><em>i</em><em>j</em></sub> = 1</span>，若<span class="math inline"><em>v</em><sub><em>i</em></sub></span><strong>可达</strong> <spanclass="math inline"><em>v</em><sub><em>j</em></sub></span>（存在 <spanclass="math inline"><em>v</em><sub><em>i</em></sub></span> 到 <spanclass="math inline"><em>v</em><sub><em>j</em></sub></span> 的通路）； -<spanclass="math inline"><em>p</em><sub><em>i</em><em>j</em></sub> = 0</span>，否则。</p></blockquote><ul><li><strong>示例矩阵</strong>： <span class="math display">$$\Large\left[\begin{array}{c|rrrr}      &amp; v_1 &amp; v_2 &amp; v_3 &amp; v_4 \\\hlinev_1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 \\v_2 &amp; 0 &amp; 1 &amp; 1 &amp; 1 \\v_3 &amp; 0 &amp; 0 &amp; 1 &amp; 1 \\v_4 &amp; 0 &amp; 0 &amp; 1 &amp; 1 \\\end{array}\right]$$</span></li></ul><table><colgroup><col style="width: 50%" /><col style="width: 50%" /></colgroup><thead><tr><th style="text-align: left;">性质</th><th style="text-align: left;">说明</th></tr></thead><tbody><tr><td style="text-align: left;">① <strong>对角线</strong></td><td style="text-align: left;">主对角线元素恒为 <strong><spanclass="math inline">1</span></strong>（每个顶点自身可达）。</td></tr><tr><td style="text-align: left;">② <strong>强连通判定</strong></td><td style="text-align: left;"><spanclass="math inline"><em>D</em></span> 为<strong>强连通图</strong> <spanclass="math inline">⇔</span> <spanclass="math inline"><strong>P</strong>(<em>D</em>)</span>中<strong>所有元素均为 <spanclass="math inline">1</span></strong>。</td></tr></tbody></table><hr /><h4 id="作业">==🔷作业==</h4><ul><li><strong>P1385.18</strong>：练习关联矩阵、邻接矩阵与可达矩阵的构造与计算。</li></ul>]]>
    </content>
    <id>https://critel.github.io/posts/6b70280a.html</id>
    <link href="https://critel.github.io/posts/6b70280a.html"/>
    <published>2026-04-25T11:54:12.000Z</published>
    <summary>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" cla]]>
    </summary>
    <title>6.3</title>
    <updated>2026-04-25T12:23:39.939Z</updated>
  </entry>
  <entry>
    <author>
      <name>拜泪</name>
    </author>
    <category term="useless" scheme="https://critel.github.io/tags/useless/"/>
    <content>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" class="aplayer-secondary-script-marker"></script><p>这是测试段落 测试：<spanclass="math inline"><em>a</em> + <em>b</em> = <em>c</em></span></p>]]>
    </content>
    <id>https://critel.github.io/posts/a4cf8400.html</id>
    <link href="https://critel.github.io/posts/a4cf8400.html"/>
    <published>2026-04-25T11:50:10.000Z</published>
    <summary>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" cla]]>
    </summary>
    <title>初始之作</title>
    <updated>2026-04-26T13:19:30.520Z</updated>
  </entry>
  <entry>
    <author>
      <name>拜泪</name>
    </author>
    <category term="学习资料" scheme="https://critel.github.io/tags/%E5%AD%A6%E4%B9%A0%E8%B5%84%E6%96%99/"/>
    <content>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" class="aplayer-secondary-script-marker"></script><p>Welcome to <a href="https://hexo.io/">Hexo</a>! This is your veryfirst post. Check <a href="https://hexo.io/docs/">documentation</a> formore info. If you get any problems when using Hexo, you can find theanswer in <ahref="https://hexo.io/docs/troubleshooting.html">troubleshooting</a> oryou can ask me on <ahref="https://github.com/hexojs/hexo/issues">GitHub</a>.</p><h2 id="quick-start">Quick Start</h2><h3 id="create-a-new-post">Create a new post</h3><figure class="highlight bash"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">$ hexo new <span class="string">&quot;My New Post&quot;</span></span><br></pre></td></tr></table></figure><p>More info: <ahref="https://hexo.io/docs/writing.html">Writing</a></p><h3 id="run-server">Run server</h3><figure class="highlight bash"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">$ hexo server</span><br></pre></td></tr></table></figure><p>More info: <a href="https://hexo.io/docs/server.html">Server</a></p><h3 id="generate-static-files">Generate static files</h3><figure class="highlight bash"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">$ hexo generate</span><br></pre></td></tr></table></figure><p>More info: <ahref="https://hexo.io/docs/generating.html">Generating</a></p><h3 id="deploy-to-remote-sites">Deploy to remote sites</h3><figure class="highlight bash"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">$ hexo deploy</span><br></pre></td></tr></table></figure><p>More info: <ahref="https://hexo.io/docs/one-command-deployment.html">Deployment</a></p>]]>
    </content>
    <id>https://critel.github.io/posts/3cc897bc.html</id>
    <link href="https://critel.github.io/posts/3cc897bc.html"/>
    <published>2026-04-20T16:02:22.634Z</published>
    <summary>
      <![CDATA[<link rel="stylesheet" class="aplayer-secondary-style-marker" href="\assets\css\APlayer.min.css"><script src="\assets\js\APlayer.min.js" cla]]>
    </summary>
    <title>Crite_Blog</title>
    <updated>2026-04-25T12:01:20.782Z</updated>
  </entry>
</feed>
