00-代数-01-XOR消元.svg 1.4 KB

12345
  1. <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 840 290" role="img" aria-labelledby="title desc">
  2. <title id="title">XOR 高斯消元</title><desc id="desc">矩阵第二步将第一行异或到第三行,消去第一列并得到依赖行。</desc>
  3. <style>text{font-family:ui-monospace,monospace;fill:#172033}.box{fill:#eff6ff;stroke:#2563eb;stroke-width:3}.arrow{stroke:#d97706;stroke-width:4;fill:none}.note{font-family:system-ui,sans-serif;font-size:18px;fill:#172033}.hi{fill:#dcfce7}</style>
  4. <text x="25" y="30" class="note">用一行 XOR 另一行:解集不变,却能让某列只留下一个主元。</text><rect class="box" x="80" y="65" width="230" height="170" rx="10"/><text x="120" y="110">1 1 0 | 1</text><text x="120" y="155">0 1 1 | 0</text><text x="120" y="200">1 0 1 | 1</text><path class="arrow" d="M342 150 L470 150" marker-end="url(#a)"/><text x="332" y="125" class="note">R3 ^= R1</text><rect class="box" x="505" y="65" width="230" height="170" rx="10"/><text x="545" y="110">1 1 0 | 1</text><text x="545" y="155">0 1 1 | 0</text><rect class="hi" x="535" y="169" width="155" height="43"/><text x="545" y="200">0 1 1 | 0</text><text x="83" y="270" class="note">重复行表示一条约束由其他约束推出,不会增加秩。</text><defs><marker id="a" viewBox="0 0 10 10" refX="8" refY="5" markerWidth="7" markerHeight="7" orient="auto"><path d="M0 0 L10 5 L0 10z" fill="#d97706"/></marker></defs>
  5. </svg>