[2023] Day 5

2023/05/README.md

@@ -0,0 +1,89 @@
+<h2>--- Day 5: If You Give A Seed A Fertilizer ---</h2><p>You take the boat and find the gardener right where you were told he would be: managing a giant "garden" that looks more to you like a farm.</p>
+<p>"A water source? Island Island <em>is</em> the water source!" You point out that Snow Island isn't receiving any water.</p>
+<p>"Oh, we had to stop the water because we <em>ran out of sand</em> to <a href="https://en.wikipedia.org/wiki/Sand_filter" target="_blank">filter</a> it with! Can't make snow with dirty water. Don't worry, I'm sure we'll get more sand soon; we only turned off the water a few days... weeks... oh no." His face sinks into a look of horrified realization.</p>
+<p>"I've been so busy making sure everyone here has food that I completely forgot to check why we stopped getting more sand! There's a ferry leaving soon that is headed over in that direction - it's much faster than your boat. Could you please go check it out?"</p>
+<p>You barely have time to agree to this request when he brings up another. "While you wait for the ferry, maybe you can help us with our <em>food production problem</em>. The latest Island Island <a href="https://en.wikipedia.org/wiki/Almanac" target="_blank">Almanac</a> just arrived and we're having trouble making sense of it."</p>
+<p>The almanac (your puzzle input) lists all of the seeds that need to be planted. It also lists what type of soil to use with each kind of seed, what type of fertilizer to use with each kind of soil, what type of water to use with each kind of fertilizer, and so on. Every type of seed, soil, fertilizer and so on is identified with a number, but numbers are reused by each category - that is, soil <code>123</code> and fertilizer <code>123</code> aren't necessarily related to each other.</p>
+<p>For example:</p>
+<pre><code>seeds: 79 14 55 13
+
+seed-to-soil map:
+50 98 2
+52 50 48
+
+soil-to-fertilizer map:
+0 15 37
+37 52 2
+39 0 15
+
+fertilizer-to-water map:
+49 53 8
+0 11 42
+42 0 7
+57 7 4
+
+water-to-light map:
+88 18 7
+18 25 70
+
+light-to-temperature map:
+45 77 23
+81 45 19
+68 64 13
+
+temperature-to-humidity map:
+0 69 1
+1 0 69
+
+humidity-to-location map:
+60 56 37
+56 93 4
+</code></pre>
+<p>The almanac starts by listing which seeds need to be planted: seeds <code>79</code>, <code>14</code>, <code>55</code>, and <code>13</code>.</p>
+<p>The rest of the almanac contains a list of <em>maps</em> which describe how to convert numbers from a <em>source category</em> into numbers in a <em>destination category</em>. That is, the section that starts with <code>seed-to-soil map:</code> describes how to convert a <em>seed number</em> (the source) to a <em>soil number</em> (the destination). This lets the gardener and his team know which soil to use with which seeds, which water to use with which fertilizer, and so on.</p>
+<p>Rather than list every source number and its corresponding destination number one by one, the maps describe entire <em>ranges</em> of numbers that can be converted. Each line within a map contains <span title="Don't blame me for the weird order. Blame LXC container.conf UID mappings.">three numbers</span>: the <em>destination range start</em>, the <em>source range start</em>, and the <em>range length</em>.</p>
+<p>Consider again the example <code>seed-to-soil map</code>:</p>
+<pre><code>50 98 2
+52 50 48
+</code></pre>
+<p>The first line has a <em>destination range start</em> of <code>50</code>, a <em>source range start</em> of <code>98</code>, and a <em>range length</em> of <code>2</code>. This line means that the source range starts at <code>98</code> and contains two values: <code>98</code> and <code>99</code>. The destination range is the same length, but it starts at <code>50</code>, so its two values are <code>50</code> and <code>51</code>. With this information, you know that seed number <code>98</code> corresponds to soil number <code>50</code> and that seed number <code>99</code> corresponds to soil number <code>51</code>.</p>
+<p>The second line means that the source range starts at <code>50</code> and contains <code>48</code> values: <code>50</code>, <code>51</code>, ..., <code>96</code>, <code>97</code>. This corresponds to a destination range starting at <code>52</code> and also containing <code>48</code> values: <code>52</code>, <code>53</code>, ..., <code>98</code>, <code>99</code>. So, seed number <code>53</code> corresponds to soil number <code>55</code>.</p>
+<p>Any source numbers that <em>aren't mapped</em> correspond to the <em>same</em> destination number. So, seed number <code>10</code> corresponds to soil number <code>10</code>.</p>
+<p>So, the entire list of seed numbers and their corresponding soil numbers looks like this:</p>
+<pre><code>seed  soil
+0     0
+1     1
+...   ...
+48    48
+49    49
+50    52
+51    53
+...   ...
+96    98
+97    99
+98    50
+99    51
+</code></pre>
+<p>With this map, you can look up the soil number required for each initial seed number:</p>
+<ul>
+<li>Seed number <code>79</code> corresponds to soil number <code>81</code>.</li>
+<li>Seed number <code>14</code> corresponds to soil number <code>14</code>.</li>
+<li>Seed number <code>55</code> corresponds to soil number <code>57</code>.</li>
+<li>Seed number <code>13</code> corresponds to soil number <code>13</code>.</li>
+</ul>
+<p>The gardener and his team want to get started as soon as possible, so they'd like to know the closest location that needs a seed. Using these maps, find <em>the lowest location number that corresponds to any of the initial seeds</em>. To do this, you'll need to convert each seed number through other categories until you can find its corresponding <em>location number</em>. In this example, the corresponding types are:</p>
+<ul>
+<li>Seed <code>79</code>, soil <code>81</code>, fertilizer <code>81</code>, water <code>81</code>, light <code>74</code>, temperature <code>78</code>, humidity <code>78</code>, <em>location <code>82</code></em>.</li>
+<li>Seed <code>14</code>, soil <code>14</code>, fertilizer <code>53</code>, water <code>49</code>, light <code>42</code>, temperature <code>42</code>, humidity <code>43</code>, <em>location <code>43</code></em>.</li>
+<li>Seed <code>55</code>, soil <code>57</code>, fertilizer <code>57</code>, water <code>53</code>, light <code>46</code>, temperature <code>82</code>, humidity <code>82</code>, <em>location <code>86</code></em>.</li>
+<li>Seed <code>13</code>, soil <code>13</code>, fertilizer <code>52</code>, water <code>41</code>, light <code>34</code>, temperature <code>34</code>, humidity <code>35</code>, <em>location <code>35</code></em>.</li>
+</ul>
+<p>So, the lowest location number in this example is <code><em>35</em></code>.</p>
+<p><em>What is the lowest location number that corresponds to any of the initial seed numbers?</em></p>
+<h2 id="part2">--- Part Two ---</h2><p>Everyone will starve if you only plant such a small number of seeds. Re-reading the almanac, it looks like the <code>seeds:</code> line actually describes <em>ranges of seed numbers</em>.</p>
+<p>The values on the initial <code>seeds:</code> line come in pairs. Within each pair, the first value is the <em>start</em> of the range and the second value is the <em>length</em> of the range. So, in the first line of the example above:</p>
+<pre><code>seeds: 79 14 55 13</code></pre>
+<p>This line describes two ranges of seed numbers to be planted in the garden. The first range starts with seed number <code>79</code> and contains <code>14</code> values: <code>79</code>, <code>80</code>, ..., <code>91</code>, <code>92</code>. The second range starts with seed number <code>55</code> and contains <code>13</code> values: <code>55</code>, <code>56</code>, ..., <code>66</code>, <code>67</code>.</p>
+<p>Now, rather than considering four seed numbers, you need to consider a total of <em>27</em> seed numbers.</p>
+<p>In the above example, the lowest location number can be obtained from seed number <code>82</code>, which corresponds to soil <code>84</code>, fertilizer <code>84</code>, water <code>84</code>, light <code>77</code>, temperature <code>45</code>, humidity <code>46</code>, and <em>location <code>46</code></em>. So, the lowest location number is <code><em>46</em></code>.</p>
+<p>Consider all of the initial seed numbers listed in the ranges on the first line of the almanac. <em>What is the lowest location number that corresponds to any of the initial seed numbers?</em></p>

2023/05/first.py

@@ -0,0 +1,42 @@
+from utils import lines, debug
+from collections import defaultdict
+
+def parser(lines):
+    "From an iterable of strings, iterate over the maps described"
+    source = None
+    destination = None
+    conversions = []
+    for line in lines:
+        if not line:
+            if source:
+                yield source, destination, conversions
+            source = None
+            destination = None
+            conversions = []
+        elif not source:
+            source, destination = line.split()[0].split('-to-')
+        else:
+            destination_start, source_start, length = map(int, line.split())
+            delta = destination_start - source_start
+            conversions.append((range(source_start, source_start + length), delta))
+    if source:
+        yield source, destination, conversions
+
+if __name__ == '__main__':
+    target = defaultdict(list)
+    target['seed'] += map(int, input().split(':')[1].split())
+
+    for domain, codomain, conversions in parser(lines()):
+        to_convert = target[domain]
+        debug(f'f:  {domain:11} |->', codomain)
+        for subdomain, delta in conversions:
+            for i, x in reversed(list(enumerate(to_convert))):
+                if x in subdomain:
+                    debug(f'  {x:13} -->', x + delta)
+                    target[codomain].append(x + delta)
+                    del to_convert[i]
+        debug('remaining:', to_convert, '\n')
+        target[codomain] += to_convert
+
+    debug(target['location'])
+    print(min(target['location']))

2023/05/second.py

@@ -0,0 +1,59 @@
+from utils import lines, debug
+from collections import defaultdict
+from more_itertools import grouper
+
+from first import parser
+
+class Range:
+    def __init__(self, start, one_past_end):
+        self.start = start
+        self.stop = one_past_end
+
+    def __contains__(self, element):
+        return element in range(self.start, self.stop)
+
+    def __and__(self, other):
+        if self.start in other or (self.stop - 1) in other or other.start in self:
+            return Range(max(self.start, other.start), min(self.stop, other.stop))
+        return set()
+
+    def __sub__(self, other):
+        if self.start < other.start:
+            yield Range(self.start, min(self.stop, other.start))
+        if self.stop > other.stop:
+            yield Range(max(self.start, other.stop), self.stop)
+
+    def __add__(self, offset):
+        return Range(self.start + offset, self.stop + offset)
+
+    def __str__(self):
+        return f'[{self.start}, {self.stop}['
+    def __repr__(self):
+        return str(self)
+
+if __name__ == '__main__':
+    target = defaultdict(list)
+    for start, length in grouper(map(int, input().split(':')[1].split()), 2, 'strict'):
+        target['seed'].append(Range(start, start + length))
+
+    for domain, codomain, conversions in parser(lines()):
+        to_convert = target[domain]
+        debug(f'f:  {domain:11} |->', codomain)
+        for subdomain, delta in conversions:
+            i = 0
+            while i < len(to_convert):
+                subset = to_convert[i]
+                inter = subset & subdomain
+                if inter:
+                    debug(f'  {str(subset):10} -->', [inter + delta] + list(subset - subdomain))
+                    target[codomain].append(inter + delta)
+                    del to_convert[i]
+                    to_convert += subset - subdomain
+                else:
+                    i += 1
+
+        debug('remaining:', to_convert, '\n')
+        target[codomain] += to_convert
+
+    debug(target['location'])
+    print(min(map(lambda x: x.start, target['location'])))

2023/05/utils.py

@@ -0,0 +1,12 @@
+import sys
+
+def lines():
+    while True:
+        try:
+            yield input()
+        except:
+            break
+
+def debug(fmt, *args, **kwargs):
+    kwargs['file'] = sys.stderr
+    print(fmt, *args, **kwargs)

README.md

@@ -9,7 +9,7 @@ My solutions for the [Advent of Code](https://adventofcode.com), a challenge sta
 02|:star::star:|:star::star:||:star::star:|:star::star:|:star::star:|:star::star:|:star::star:
 03|:star::star:|:star::star:||:star::star:|:star::star:|:star::star:|:star::star:|:star::star:
 04|:star::star:|:star::star:|||:star::star:|:star::star:|:star::star:|:star::star:
-05|:star::star:|:star::star:|||:star::star:|:star::star:|:star::star:|
+05|:star::star:|:star::star:|||:star::star:|:star::star:|:star::star:|:star::star:
 06||:star::star:|||:star::star:|:star::star:|:star::star:|
 07||:star::star:|||:star::star:|:star::star:|:star::star:|
 08|||||:star::star:|:star::star:|:star::star:|