From 2a1cbfab773879c6c99973ea2d1825207b36dcfe Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Tue, 21 May 2024 17:24:55 +0200
Subject: [PATCH] 16a: example completes in reasonable time

---
 16/16a.bqn | 30 +++++++++++++++++++-----------
 1 file changed, 19 insertions(+), 11 deletions(-)

diff --git a/16/16a.bqn b/16/16a.bqn
index 4775b48..779325f 100644
--- a/16/16a.bqn
+++ b/16/16a.bqn
@@ -5,22 +5,30 @@ Prep←{
 }
 
 Main←{
-  names←{𝕩.name}¨𝕩
-  flows←{𝕩.flow}¨𝕩
+  •Show names←{𝕩.name}¨𝕩
+  •Show flows←{𝕩.flow}¨𝕩
   tunnelses←{names⊐⥊⋈˘𝕩.tunnels}¨𝕩
   tunnels←{⊑𝕨∊𝕩⊑tunnelses}⌜˜↕≠𝕩
+  paths←{𝕩(⊢⌊⊏˘+⌜⊏)´↕≠𝕩}(tunnels⊏⟨∞,1⟩) # Stolen from BQNcrate
+  paths 0¨⌾(⋈˜¨∘↕∘≠⊸⊑) ↩ # Every valve zero distance from itself
+  •Show paths
+  •Show aa←⊑names⊐<"AA"
+  •Show nonzero←0<flows
   Open←{1⌾(𝕩⊸⊑)𝕨}
   Search←{
-    𝕊⟨0,·,·,·⟩: 0;
-    𝕊⟨time,·,vs,·⟩: ∧´vs? time×+´vs/flows;
-    𝕊⟨time,here,vs,visited⟩:
-    #•Show ⟨time,here,vs,visited⟩
-    time-↩1
-    (+´vs/flows)+⌈´⟨Search⟨time,here,vs Open here,0¨visited⟩⟩∾{
-      Search⟨time,𝕩,vs,visited Open here⟩
-    }¨/(here⊏tunnels)∧¬visited
+    𝕊⟨time,here,vs⟩:
+    # •Show ⟨time,here,vs⟩
+    ⌈´⟨0⟩∾{
+      Move⟨time-⟨here,𝕩⟩⊑paths+1,𝕩,vs⟩
+    }¨/nonzero∧¬vs
   }
-  Search⟨19,0,0¨𝕩,0¨𝕩⟩
+  Move←{
+    𝕊⟨time,·,·⟩: time < 0 ? ¯∞;
+    𝕊⟨time,here,vs⟩:
+      •Show ⟨time,here,vs⟩
+      •Show (time×here⊑flows) + Search⟨time,here,vs Open here⟩
+  }
+  Search⟨30,aa,0¨𝕩⟩
 }
 
 •Show Main Prep¨ •file.Lines ⊑•args
-- 
2.30.2