16a: example completes in reasonable time

diff --git a/16/16a.bqn b/16/16a.bqn
index 4775b48f66e650ec4305a3debde8b785a95c1efa..779325f34df62417f701eca737d9e4cdabfbdeb6 100644 (file)
--- 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