re: AoC Day 25: Four-Dimensional Adventure VIEW POST


Last year's Christmas Day was a couple of bonus stars with no actual puzzle to solve so I was expecting the same. But no there's real work to do today, although thankfully part 1 is pretty straightforward.


data class Point(val w: Int, val x: Int, val y: Int, val z: Int)

fun parse(input: String): List<Point> {
    val integer = or(,
        isChar('-').next(INTEGER).map { s -> -s.toInt() }

    val point = sequence(

    return point.sepBy(WHITESPACES).parse(input.trim())

Part 1

Manhattan distance. We've done this before:

typealias Manhattan = Int

fun Point.distance(p: Point): Manhattan =
    Math.abs(w - p.w) + Math.abs(x - p.x) + Math.abs(y - p.y) + Math.abs(z - p.z)

You could model the constellations as a set of set of points but type inference gets a bit hairy in Kotlin so we'll make a wrapper. The inline classes feature coming in the future will make this possible with no runtime overhead. I'll add a few syntactic conveniences such as adding points to constellations and merging them.

data class Constellation(val points: Set<Point>) {
    constructor(p: Point): this(setOf(p))

fun Constellation.shouldContain(point: Point): Boolean = 
    points.any { p -> p.distance(point) <= 3 }

operator fun Point): Constellation =
    Constellation(points + p)

operator fun Constellation): Constellation = 
    Constellation(points + c.points)

fun Collection<Constellation>.merge(p: Point): Constellation =
    fold(Constellation(p), Constellation::plus)

With all that done, solving part 1 is a fold over the input points. For each point, partition the existing constellations into the ones it should join and the ones it should not. Merge the ones that the point should join and leave the others alone.

fun part1(input: Collection<Point>): Int {
    val constellations = input.fold(setOf<Constellation>()) { cs, p ->
        val (join, dontJoin) = cs.partition { c -> c.shouldContain(p) }
        (dontJoin + join.merge(p)).toSet()
    return constellations.size

Part 2

I don't have enough stars to unlock part 2. Will try to get there before the end of the year!

code of conduct - report abuse