--- Day 7: No Space Left On Device ---

Day7/day7.livemd

Marco Delaurenti

@mfdela

AOC2022

More notebooks

— Day 7: No Space Left On Device —

Part 1

You can hear birds chirping and raindrops hitting leaves as the expedition proceeds. Occasionally, you can even hear much louder sounds in the distance; how big do the animals get out here, anyway?

The device the Elves gave you has problems with more than just its communication system. You try to run a system update:

$ system-update --please --pretty-please-with-sugar-on-top
Error: No space left on device

Perhaps you can delete some files to make space for the update?

You browse around the filesystem to assess the situation and save the resulting terminal output (your puzzle input). For example:

example_input = """
$ cd /
$ ls
dir a
14848514 b.txt
8504156 c.dat
dir d
$ cd a
$ ls
dir e
29116 f
2557 g
62596 h.lst
$ cd e
$ ls
584 i
$ cd ..
$ cd ..
$ cd d
$ ls
4060174 j
8033020 d.log
5626152 d.ext
7214296 k
"""

"$ cd /\n$ ls\ndir a\n14848514 b.txt\n8504156 c.dat\ndir d\n$ cd a\n$ ls\ndir e\n29116 f\n2557 g\n62596 h.lst\n$ cd e\n$ ls\n584 i\n$ cd ..\n$ cd ..\n$ cd d\n$ ls\n4060174 j\n8033020 d.log\n5626152 d.ext\n7214296 k\n"

The filesystem consists of a tree of files (plain data) and directories (which can contain other directories or files). The outermost directory is called /. You can navigate around the filesystem, moving into or out of directories and listing the contents of the directory you’re currently in.

Within the terminal output, lines that begin with $ are commands you executed, very much like some modern computers:

cd means change directory. This changes which directory is the current directory, but the specific result depends on the argument:
- cd x moves in one level: it looks in the current directory for the directory named x and makes it the current directory.
- cd .. moves out one level: it finds the directory that contains the current directory, then makes that directory the current directory.
- cd / switches the current directory to the outermost directory, /.
ls means list. It prints out all of the files and directories immediately contained by the current directory:
- 123 abc means that the current directory contains a file named abc with size 123.
- dir xyz means that the current directory contains a directory named xyz.

Given the commands and output in the example above, you can determine that the filesystem looks visually like this:

/ (dir)
- a (dir)
  - e (dir)
    - i (file, size=584)
  - f (file, size=29116)
  - g (file, size=2557)
  - h.lst (file, size=62596)
- b.txt (file, size=14848514)
- c.dat (file, size=8504156)
- d (dir)
  - j (file, size=4060174)
  - d.log (file, size=8033020)
  - d.ext (file, size=5626152)
  - k (file, size=7214296)

Here, there are four directories: / (the outermost directory), a and d (which are in /), and e (which is in a). These directories also contain files of various sizes.

Since the disk is full, your first step should probably be to find directories that are good candidates for deletion. To do this, you need to determine the total size of each directory. The total size of a directory is the sum of the sizes of the files it contains, directly or indirectly. (Directories themselves do not count as having any intrinsic size.)

The total sizes of the directories above can be found as follows:

The total size of directory e is 584 because it contains a single file i of size 584 and no other directories.
The directory a has total size 94853 because it contains files f (size 29116), g (size 2557), and h.lst (size 62596), plus file i indirectly (a contains e which contains i).
Directory d has total size 24933642.
As the outermost directory, / contains every file. Its total size is 48381165, the sum of the size of every file.

To begin, find all of the directories with a total size of at most 100000, then calculate the sum of their total sizes. In the example above, these directories are a and e; the sum of their total sizes is 95437 (94853 + 584). (As in this example, this process can count files more than once!)

Find all of the directories with a total size of at most 100000. What is the sum of the total sizes of those directories?

Part 2

Now, you’re ready to choose a directory to delete.

The total disk space available to the filesystem is 70000000. To run the update, you need unused space of at least 30000000. You need to find a directory you can delete that will free up enough space to run the update.

In the example above, the total size of the outermost directory (and thus the total amount of used space) is 48381165; this means that the size of the unused space must currently be 21618835, which isn’t quite the 30000000 required by the update. Therefore, the update still requires a directory with total size of at least 8381165 to be deleted before it can run.

To achieve this, you have the following options:

Delete directory e, which would increase unused space by 584.
Delete directory a, which would increase unused space by 94853.
Delete directory d, which would increase unused space by 24933642.
Delete directory /, which would increase unused space by 48381165.

Directories e and a are both too small; deleting them would not free up enough space. However, directories d and / are both big enough! Between these, choose the smallest: d, increasing unused space by 24933642.

Find the smallest directory that, if deleted, would free up enough space on the filesystem to run the update. What is the total size of that directory?

Code

defmodule Day7 do
  def parse_input(input) do
    instructions = String.split(input, "\n", trim: true)

    {tree, _} =
      for inst <- instructions, reduce: {%{}, []} do
        acc -> parse_command(inst, acc)
      end

    for {path, size} <- tree, is_integer(size), reduce: %{} do
      acc ->
        for i <- (Enum.count(path) - 2)..0, reduce: acc do
          acc ->
            parent = Enum.slice(path, 0..i)
            Map.update(acc, parent, size, &amp;(&amp;1 + size))
        end
    end
  end

  defp parse_command("$ cd ..", {tree, path}) do
    {tree, Enum.drop(path, -1)}
  end

  # do nothing
  defp parse_command("$ ls", {tree, path}), do: {tree, path}

  defp parse_command(<<"$ cd "::binary, dir::binary>>, {tree, path}), do: {tree, path ++ [dir]}

  defp parse_command(<<"dir "::binary, dir_name::binary>>, {tree, path}) do
    add_to_tree(tree, path, dir_name, :dir)
  end

  defp parse_command(file, {tree, path}) do
    [file_size_text, file_name] = String.split(file, " ")
    file_size = String.to_integer(file_size_text)
    add_to_tree(tree, path, file_name, file_size)
  end

  defp add_to_tree(tree, path, dir, :dir) do
    {Map.update(tree, path ++ [dir], :dir, fn _ -> :dir end), path}
  end

  defp add_to_tree(tree, path, file, file_size) do
    {Map.update(tree, path ++ [file], file_size, fn _ -> file_size end), path}
  end

  def part1(input) do
    sizes = parse_input(input)

    for {_path, size} <- sizes, size < 100_000, reduce: 0 do
      acc -> acc + size
    end
  end

  def part2(input) do
    sizes = parse_input(input)
    {:ok, root_size} = Map.fetch(sizes, ["/"])
    unused = 70_000_000 - root_size

    if unused < 30_000_000 do
      required = 30_000_000 - unused

      for {_path, size} <- sizes, size > required, reduce: 70_000_000 do
        acc ->
          cond do
            size < acc -> size
            true -> acc
          end
      end
    else
      :ok
    end
  end
end

{:module, Day7, <<70, 79, 82, 49, 0, 0, 21, ...>>, {:part2, 1}}

Checking that the example input produces the right result:

Day7.part1(example_input) == 95437

true

Day7.part2(example_input) == 24_933_642

true

Using real input data (saved on a file as it’s too long to show here):

input = File.read!("Day7/input.txt")
Day7.part1(input)

Day7.part2(input)

Back