Part 2

AdventOfCode2023.FSharp/AdventOfCode2023.FSharp.Lib/AdventOfCode2023.FSharp.Lib.fsproj

@@ -23,6 +23,7 @@
     <Compile Include="Day10.fs" />
     <Compile Include="Day11.fs" />
     <Compile Include="Day12.fs" />
+    <Compile Include="Day13.fs" />
   </ItemGroup>
 
 </Project>

AdventOfCode2023.FSharp/AdventOfCode2023.FSharp.Lib/Day13.fs

@@ -0,0 +1,192 @@
+namespace AdventOfCode2023
+
+open System
+
+[<RequireQualifiedAccess>]
+module Day13 =
+
+    let inline isPowerOf2 (i : uint32) =
+        // https://stackoverflow.com/a/600306/126995
+        (i &&& (i - 1ul)) = 0ul
+
+    let rowToInt (row : ReadOnlySpan<char>) : uint32 =
+        let mutable mult = 1ul
+        let mutable answer = 0ul
+
+        for c = row.Length - 1 downto 0 do
+            if row.[c] = '#' then
+                answer <- answer + mult
+
+            mult <- mult * 2ul
+
+        answer
+
+    let colToInt (grid : ReadOnlySpan<char>) (rowLength : int) (colNum : int) =
+        let mutable mult = 1ul
+        let mutable answer = 0ul
+
+        for i = grid.Count '\n' - 1 downto 0 do
+            if grid.[i * (rowLength + 1) + colNum] = '#' then
+                answer <- answer + mult
+
+            mult <- mult * 2ul
+
+        answer
+
+    let verifyHorizontalReflection (group : ResizeArray<'a>) (smaller : int) (bigger : int) : bool =
+        let midPoint = (smaller + bigger) / 2
+
+        let rec isOkWithin (curr : int) =
+            if smaller + curr > midPoint then
+                true
+            else if group.[smaller + curr] = group.[bigger - curr] then
+                isOkWithin (curr + 1)
+            else
+                false
+
+        if not (isOkWithin 0) then
+            false
+        else
+
+        smaller = 0 || bigger = group.Count - 1
+
+    /// Find reflection among rows
+    [<TailCall>]
+    let rec findRow (banAnswer : uint32) (rows : ResizeArray<uint32>) (currentLine : int) =
+        if currentLine = rows.Count - 1 then
+            None
+        else
+            let mutable answer = UInt32.MaxValue
+            let mutable i = currentLine
+
+            while i < rows.Count - 1 do
+                i <- i + 1
+
+                if currentLine % 2 <> i % 2 then
+                    if rows.[i] = rows.[currentLine] then
+                        if verifyHorizontalReflection rows currentLine i then
+                            let desiredAnswer = uint32 (((currentLine + i) / 2) + 1)
+
+                            if desiredAnswer <> banAnswer then
+                                answer <- uint32 desiredAnswer
+                                i <- Int32.MaxValue
+
+            if answer < UInt32.MaxValue then
+                Some answer
+            else
+                findRow banAnswer rows (currentLine + 1)
+
+    let render (rowBuf : ResizeArray<_>) (colBuf : ResizeArray<_>) (group : ReadOnlySpan<char>) =
+        rowBuf.Clear ()
+        colBuf.Clear ()
+        let lineLength = group.IndexOf '\n'
+
+        for col = 0 to lineLength - 1 do
+            colBuf.Add (colToInt group lineLength col)
+
+        for row in StringSplitEnumerator.make' '\n' group do
+            if not row.IsEmpty then
+                rowBuf.Add (rowToInt row)
+
+    let solve (banAnswer : uint32) (rowBuf : ResizeArray<_>) (colBuf : ResizeArray<_>) : uint32 option =
+        match
+            findRow
+                (if banAnswer >= 100ul then
+                     banAnswer / 100ul
+                 else
+                     UInt32.MaxValue)
+                rowBuf
+                0
+        with
+        | Some rowIndex -> Some (100ul * rowIndex)
+        | None -> findRow banAnswer colBuf 0
+
+    let part1 (s : string) =
+        let mutable s = s.AsSpan ()
+        let rows = ResizeArray ()
+        let cols = ResizeArray ()
+        let mutable answer = 0ul
+
+        while not s.IsEmpty do
+            let index = s.IndexOf "\n\n"
+
+            let group =
+                if index < 0 then
+                    // last group
+                    s
+                else
+                    s.Slice (0, index + 1)
+
+            render rows cols group
+            answer <- answer + Option.get (solve UInt32.MaxValue rows cols)
+
+            if index < 0 then
+                s <- ReadOnlySpan<char>.Empty
+            else
+                s <- s.Slice (index + 2)
+
+        answer
+
+    // 358 90 385 385 90 102 346
+    let flipAt (rows : ResizeArray<_>) (cols : ResizeArray<_>) (rowNum : int) (colNum : int) : unit =
+        rows.[rowNum] <-
+            let index = 1ul <<< (cols.Count - colNum - 1)
+
+            if rows.[rowNum] &&& index > 0ul then
+                rows.[rowNum] - index
+            else
+                rows.[rowNum] + index
+
+        cols.[colNum] <-
+            let index = 1ul <<< (rows.Count - rowNum - 1)
+
+            if cols.[colNum] &&& index > 0ul then
+                cols.[colNum] - index
+            else
+                cols.[colNum] + index
+
+    let part2 (s : string) =
+        let mutable s = s.AsSpan ()
+        let rows = ResizeArray ()
+        let cols = ResizeArray ()
+        let mutable answer = 0ul
+
+        while not s.IsEmpty do
+            let index = s.IndexOf "\n\n"
+
+            let group =
+                if index < 0 then
+                    // last group
+                    s
+                else
+                    s.Slice (0, index + 1)
+
+            render rows cols group
+
+            let bannedAnswer = solve UInt32.MaxValue rows cols |> Option.get
+
+            let mutable isDone = false
+            let mutable rowToChange = 0
+
+            while not isDone && rowToChange < rows.Count do
+                let mutable colToChange = 0
+
+                while not isDone && colToChange < cols.Count do
+                    flipAt rows cols rowToChange colToChange
+
+                    match solve bannedAnswer rows cols with
+                    | Some solved when solved > 0ul ->
+                        isDone <- true
+                        answer <- answer + solved
+                    | _ ->
+                        flipAt rows cols rowToChange colToChange
+                        colToChange <- colToChange + 1
+
+                rowToChange <- rowToChange + 1
+
+            if index < 0 then
+                s <- ReadOnlySpan<char>.Empty
+            else
+                s <- s.Slice (index + 2)
+
+        answer

AdventOfCode2023.FSharp/AdventOfCode2023.FSharp/Program.fs

@@ -252,6 +252,22 @@ module Program =
             Console.WriteLine (part2.ToString ())
             Console.Error.WriteLine ((1_000.0 * float sw.ElapsedTicks / float Stopwatch.Frequency).ToString () + "ms")
 
+        Console.WriteLine "=====Day 13====="
+
+        do
+            let input = Path.Combine (dir.FullName, "day13.txt") |> File.ReadAllText
+
+            sw.Restart ()
+            let part1 = Day13.part1 input
+            sw.Stop ()
+            Console.WriteLine (part1.ToString ())
+            Console.Error.WriteLine ((1_000.0 * float sw.ElapsedTicks / float Stopwatch.Frequency).ToString () + "ms")
+            sw.Restart ()
+            let part2 = Day13.part2 input
+            sw.Stop ()
+            Console.WriteLine (part2.ToString ())
+            Console.Error.WriteLine ((1_000.0 * float sw.ElapsedTicks / float Stopwatch.Frequency).ToString () + "ms")
+
         endToEnd.Stop ()
 
         Console.Error.WriteLine (

AdventOfCode2023.FSharp/Test/Test.fsproj

@@ -21,6 +21,7 @@
     <Compile Include="TestDay10.fs" />
     <Compile Include="TestDay11.fs" />
     <Compile Include="TestDay12.fs" />
+    <Compile Include="TestDay13.fs" />
     <EmbeddedResource Include="samples\day1.txt"/>
     <EmbeddedResource Include="samples\day1part1.txt"/>
     <EmbeddedResource Include="samples\day2.txt"/>
@@ -36,6 +37,7 @@
     <EmbeddedResource Include="samples\day10.txt" />
     <EmbeddedResource Include="samples\day11.txt" />
     <EmbeddedResource Include="samples\day12.txt" />
+    <EmbeddedResource Include="samples\day13.txt" />
   </ItemGroup>
 
   <ItemGroup>

AdventOfCode2023.FSharp/Test/TestDay13.fs

@@ -0,0 +1,68 @@
+namespace AdventOfCode2023.Test
+
+open System
+
+open AdventOfCode2023
+open NUnit.Framework
+open FsUnitTyped
+open System.IO
+
+[<TestFixture>]
+module TestDay13 =
+
+    [<Test>]
+    let ``rowToInt test`` () =
+        Day13.rowToInt ("#.##..##.".AsSpan ()) |> shouldEqual 358ul
+
+    [<Test>]
+    let ``colToInt test`` () =
+        let s =
+            """#.##..##.
+..#.##.#.
+##......#
+##......#
+..#.##.#.
+..##..##.
+#.#.##.#.
+"""
+
+        Day13.colToInt (s.AsSpan ()) 9 0
+        |> shouldEqual (List.sum [ 1 ; 8 ; 16 ; 64 ] |> uint32)
+
+    [<Test>]
+
+    let sample = Assembly.getEmbeddedResource typeof<Dummy>.Assembly "day13.txt"
+
+    [<Test>]
+    let part1Sample () =
+        sample |> Day13.part1 |> shouldEqual 405ul
+
+    [<Test>]
+    let part2Sample () =
+        sample |> Day13.part2 |> shouldEqual 400ul
+
+    [<Test>]
+    let part1Actual () =
+        let s =
+            try
+                File.ReadAllText (Path.Combine (__SOURCE_DIRECTORY__, "../../inputs/day13.txt"))
+            with
+            | :? DirectoryNotFoundException
+            | :? FileNotFoundException ->
+                Assert.Inconclusive ()
+                failwith "unreachable"
+
+        Day13.part1 s |> shouldEqual 30158ul
+
+    [<Test>]
+    let part2Actual () =
+        let s =
+            try
+                File.ReadAllText (Path.Combine (__SOURCE_DIRECTORY__, "../../inputs/day13.txt"))
+            with
+            | :? DirectoryNotFoundException
+            | :? FileNotFoundException ->
+                Assert.Inconclusive ()
+                failwith "unreachable"
+
+        Day13.part2 s |> shouldEqual 36474ul

AdventOfCode2023.FSharp/Test/samples/day13.txt

@@ -0,0 +1,15 @@
+#.##..##.
+..#.##.#.
+##......#
+##......#
+..#.##.#.
+..##..##.
+#.#.##.#.
+
+#...##..#
+#....#..#
+..##..###
+#####.##.
+#####.##.
+..##..###
+#....#..#