2025 Day 2 Part 2

2025-12-10 02:21:55 -05:00 · 2025-12-10 02:21:55 -05:00 · e66deb148b
commit e66deb148b
parent 81cb656a7f
1 changed files with 51 additions and 14 deletions
--- a/2025/day02.ua
+++ b/2025/day02.ua
@ -13,21 +13,58 @@ ParseRange ← (
 )

 Seq       ← + ⊙⇡ ⟜(+1-)
-Log       ← ⌝˜ⁿ
-NumDigits ← +1 ⌊ Log10
-RepeatDigits ← (
-  ⊸(˜ⁿ10 ÷2NumDigits)
-  =⊃(⌊÷|◿)
-)
-ValidId ← (
-  ⊸(◿2 NumDigits)
-  ⨬(¬RepeatDigits|1)
+NumDigits ← ⧻⊥10
+
+Chunks ← (
+  ↯ 1_1
+  ⊙(⊥10)
+  ⧈(⌝⊥10)
 )

-⍚ParseRange Input
-≡(
-  ♭Seq°⊂°□
-  ▽¬ ⊸ValidId
+Pattern ← (
+  Chunks
+  =1⧻◴
+)
+
+ValidIdWindow ← (
+  ⊙(⊸NumDigits)
+  ⤚(=0◿)
+  ⨬(1⋅⋅|¬Pattern)
+)
+
+ValidId₁ ← (
+  ⟜(⍤⤙≍ [] △)
+  ⊸NumDigits
+  ⊸(◿2)
+  ⨬(ValidIdWindow÷2|1⋅⋅)
+)
+
+ValidId₂ ← (
+  ⟜(⍤⤙≍ [] △)
+  ⊸(+1 ⇡ ⌊÷2NumDigits)
+  ≡ValidIdWindow
+  ¬˜∊0
+)
+
+Part₁ ← (
+  ⍚(
+    Seq°⊟
+    ▽⊸≡(¬ValidId₁)
    /+
  )
+  /◇+
+)
+
+Part₂ ← (
+  ⍚(
+    Seq°⊟
+    ▽⊸≡(¬ValidId₂)
    /+
+  )
+  /◇+
+)
+
+Ranges ← ⍚ParseRange Input
+
+Part₁ Ranges
+Part₂ Ranges