aboutsummaryrefslogtreecommitdiffstats
path: root/AoC2023/day17/solver.lisp
blob: 7001eb8a1320f7473589aa1f23aaf309b0c042fc (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
;; 11:45
;;
(ql:quickload '(fiveam arrows cl-heap))

(defun in-bounds (field position)
  (destructuring-bind (maxrow maxcol) (array-dimensions field)
    (destructuring-bind (row col) position
      (and (< -1 row maxrow)
           (< -1 col maxcol)))))

(defun advance (row col dir)
  (cons dir
        (ecase dir
          (up (list (1- row) col))
          (lf (list row (1- col)))
          (dw (list (1+ row) col))
          (rt (list row (1+ col))))))

(defun parse-input (filepath)
  (let* ((input (uiop:read-file-lines filepath))
         (rows (length input)))
    (make-array (list rows (length (car input)))
                :initial-contents
                (mapcar (lambda (line)
                          (map 'vector (lambda (c)
                                         (logand 15 (char-code c)))
                               line))
                        input))))

(defun backtrack (dir)
  (ecase dir
    (up 'dw)
    (rt 'lf)
    (dw 'up)
    (lf 'rt)))

(defun next-moves (field tried walker)
  (destructuring-bind (track dir row col) walker
    (arrows:->>
     (remove dir '(rt dw lf up) :key #'backtrack)
     (mapcar (lambda (d)
               (unless (and (eq d dir) (<= 2 track))
                 (destructuring-bind (ndir . np) (advance row col d)
                   (when (in-bounds field np)
                     (let* ((nt (if (eq ndir dir) (1+ track) 0))
                            (npath (list* nt ndir np)))
                       (unless (gethash npath tried)
                         (setf (gethash npath tried) t)
                         npath)))))))
     (delete nil))))

(defun finish-p (field step)
  (destructuring-bind (maxrow maxcol) (array-dimensions field)
    (destructuring-bind (row col) (cddr step)
      (and (= row (1- maxrow))
           (= col (1- maxcol))))))

(defun vdequeue (q)
  (cl-heap:pop-heap (slot-value q 'cl-heap:heap)))

(defun walk (options known field)
  (loop for (pcost current) = (vdequeue options)
        while current
        until (finish-p field current)
        do (dolist (next (next-moves field known current))
             (cl-heap:enqueue options next (+ (apply #'aref field (cddr next)) pcost)))
        finally (return pcost)))

(defun solver (filename)
  (let* ((field (parse-input filename))
         (options (make-instance 'cl-heap:priority-queue))
         (known (make-hash-table :test #'equal))
         (w (list -1 'rt 0 0)))
    (cl-heap:enqueue options w 0)
    (walk options known field)))

(fiveam:test solutions
  (fiveam:is (= 102 (solver "eg-in")))
  (fiveam:is (= 963 (solver "input"))))