aboutsummaryrefslogtreecommitdiff
path: root/aoc-2020-gleam/src/days/day11.gleam
blob: 1fd8f878fff55c30dbc8c54c0e6483e5f282404f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
import gleam/io
import gleam/string as str
import gleam/iterator as iter
import gleam/map.{Map}
import ext/mapx
import ext/setx
import ext/listx
import ext/resultx as resx
import ext/genericx as genx
import ext/iteratorx as iterx
import util/input_util
import util/pos2.{Pos2}

type Seat {
  Empty
  Occupied
}

type Grid {
  Grid(data: Map(Pos2, Seat))
}

type Settings {
  Settings(threshold: Int, adjacent_counter: fn(Grid, Pos2) -> Int)
}

fn build_grid(from input: String) -> Grid {
  input
  |> str.split(on: "\n")
  |> iter.from_list
  |> iter.map(with: str.trim)
  |> iter.index
  |> iter.flat_map(with: fn(line) {
    let #(row_index, row) = line
    row
    |> str.to_graphemes
    |> iter.from_list
    |> iter.index
    |> iter.flat_map(with: fn(elem) {
      let #(col_index, grapheme) = elem
      case grapheme == "L" {
        True -> iter.single(#(#(col_index, row_index), Empty))
        False -> iter.empty()
      }
    })
  })
  |> mapx.from_iter
  |> Grid
}

fn count_near_adjacent(grid: Grid, from start: Pos2) -> Int {
  start
  |> pos2.neighbours8
  |> setx.count(satisfying: fn(n) {
    case map.get(grid.data, n) {
      Ok(seat) -> seat == Occupied
      Error(Nil) -> False
    }
  })
}

fn count_far_adjacent(grid: Grid, from start: Pos2) -> Int {
  pos2.directions8()
  |> setx.count(satisfying: fn(d) {
    start
    |> pos2.add(d)
    |> iterx.unfold_infinitely(pos2.add(_, d))
    |> iter.take(up_to: 1000)
    |> iterx.filter_map(with: map.get(grid.data, _))
    |> iter.first
    |> genx.equals(Ok(Occupied))
  })
}

fn count_occupied(grid: Grid) -> Int {
  grid.data
  |> map.values
  |> listx.count(satisfying: genx.equals(_, Occupied))
}

fn step_grid(prev: Grid, settings: Settings) -> Grid {
  let Settings(threshold, adjacent_counter) = settings
  prev.data
  |> map.map_values(with: fn(pos, seat) {
    let adjacent = adjacent_counter(prev, pos)
    case seat {
      Empty if adjacent == 0 -> Occupied
      Occupied if adjacent >= threshold -> Empty
      other -> other
    }
  })
  |> Grid
}

fn is_stable(grid: Grid, settings: Settings) -> Bool {
  let Settings(threshold, adjacent_counter) = settings
  grid.data
  |> mapx.to_iter
  |> iter.all(satisfying: fn(entry) {
    let #(pos, seat) = entry
    let adjacent = adjacent_counter(grid, pos)
    case seat {
      Empty -> adjacent > 0
      Occupied -> adjacent < threshold
    }
  })
}

fn stabilized_occupied(input: String, settings: Settings) -> Int {
  input
  |> build_grid
  |> iterx.unfold_infinitely(with: step_grid(_, settings))
  |> iter.find(one_that: is_stable(_, settings))
  |> resx.assert_unwrap
  |> count_occupied
}

fn part1(input: String) -> Int {
  stabilized_occupied(input, Settings(4, count_near_adjacent))
}

fn part2(input: String) -> Int {
  stabilized_occupied(input, Settings(5, count_far_adjacent))
}

pub fn main() -> Nil {
  let test = input_util.read_text("test11")
  let assert 37 = part1(test)
  let assert 26 = part2(test)

  let input = input_util.read_text("day11")
  io.debug(part1(input))
  io.debug(part2(input))

  Nil
}