Update docs on Thu Dec 11 09:58:54 UTC 2025

Author: github-actions[bot]

2025/10/index.html

@@ -275,18 +275,21 @@ <h2 id="problem-name">Factory</h2>
             <div id="notes"><p><em>Just across the hall, you find a large factory. Fortunately, the Elves here have plenty of time to decorate. Unfortunately, it’s because the factory machines are all offline, and none of the Elves can figure out the initialization procedure.</em></p>
 <p><em>The Elves do have the manual for the machines, but the section detailing the initialization procedure was eaten by a  requirements for each machine.</em></p>
 <p><em>Visit the website for the full story and the <a href="https://adventofcode.com/2025/day/10">full puzzle</a> description.</em></p>
-<p>The first half of the problem was totally fine: we just had to find the combination with the minimal number of button presses.</p>
-<p>However, Part 2 was, in my view, against the spirit of Advent of Code.</p>
-<p>It’s clearly a linear algebra problem. The buttons form the matrix <code>A</code>. Each button gets a column in <code>A</code> with zeros and ones corresponding to the bits of the button.</p>
-<p>The desired joltage becomes the vector <code>b</code>.</p>
-<p>Then one needs to solve <code>Ax = b</code> such that the components of <code>x</code> are non-negative integers and <code>Σ xᵢ</code> is minimal.</p>
-<p>This is a textbook integer linear programming problem, trivially solved by an ILP solver, or in <a href="solve.py">my case</a> z3. But this is not how Advent of Code has worked in the last 10+ years, so I was hoping for some shortcut, maybe a special structure of the input, but no luck. This really seems to be the intended way.</p>
-<p>I did find another path, though, which is not that good-looking. One can notice that <code>A</code> is almost always full rank, and the kernel space has at most 2–3 dimensions.</p>
-<p>This means we can solve the equation using Gaussian elimination, which will give us a solution with the columns in the kernel set to 0. There is no guarantee that the solution is integer, or that all <code>xᵢ</code> are non-negative, though.</p>
-<p>But once the columns in the base and the kernel are identified, we form a square matrix <code>B</code> and move the remaining columns to <code>K</code>, then deal with <code>Bx = b − Ky</code>.</p>
+<p>The first half of the problem was totally fine: we just had to find the combination with the minimal number of button presses. However, Part 2 was, in my view, against the spirit of Advent of Code.</p>
+<p>It’s clearly a linear algebra problem as follows: </p>
+<ul>
+<li>The buttons form the matrix <code>A</code>. </li>
+<li>Each button gets a column in <code>A</code> with zeros and ones corresponding to the bits of the button.</li>
+<li>The desired joltage becomes the vector <code>b</code>.</li>
+<li>Solve <code>Ax = b</code> such that the components of <code>x</code> are non-negative integers and <code>Σ xᵢ</code> is minimal.</li>
+</ul>
+<p>This is a textbook integer linear programming problem, trivially solved by an ILP solver, or in <a href="solve.py">my case z3</a>. But this is not how Advent of Code has worked in the last 10+ years, so I was hoping for some shortcut, maybe a special structure of the input... But no luck, ILP really seems to be the intended way.</p>
+<p>I&#39;m a purist in the sense that I don&#39;t use external dependencies in my C# solutions, so something like <em>OR-tools</em> is out of scope. I did find another path, though, which is not that good-looking, but workable.... </p>
+<p>One can notice that <code>A</code> is almost always full (column) rank, and the kernel space has at most 2–3 dimensions. This means we can solve the equation using Gaussian elimination, which will give us a solution with the columns in the kernel set to 0. There is no guarantee that the solution is integer, or that all <code>xᵢ</code> are non-negative, though.</p>
+<p>But once the columns in the base and the kernel are identified, we can form a square matrix <code>B</code> and move the remaining columns to <code>K</code>, then deal with <code>Bx = b − Ky</code>.</p>
 <p>Say that <strong>K</strong> has 3 columns. Now we can start brute-forcing by setting the values in <strong>y</strong> to some low integers: <code>[1,0,0]</code>, <code>[0,1,0]</code>, <code>[0,0,1]</code>, then <code>[1,1,0]</code>, <code>[1,0,1]</code>, <code>[0,1,1]</code>, <code>[2,0,0]</code>, <code>[0,2,0]</code>, <code>[0,0,2]</code>, slowly increasing the sum of the values and solving for each combination.</p>
 <p>This way we eventually get a feasible solution for the original problem, say with the total button-press count equal to 100 or so. Then it’s enough to continue the above iteration while the sum of <code>yᵢ</code> is ≤ 100. That gives us a termination condition. During the search we might run into better solutions, which further lowers the upper bound.</p>
-<p>I <a href="gauss.py">prototyped this idea</a> in Python with ChatGPT. I think, if anything, this could be ported to C#, but I don’t feel the urge. Although it uses first principles that one could potentially implement, it’s a much slower solution than the one using z3.</p>
+<p>I prototyped <a href="gauss.py">this idea</a> in Python with ChatGPT. I think, if anything, this could be ported to C#, but I don’t feel the urge. Although it uses first principles that one could potentially implement, it’s a much slower solution than the one using z3.</p>
 </div>
             <div id="code-container"><pre class="hljs language-csharp"><code>namespace AdventOfCode.Y2025.Day10;