From c8912cc10e7566b0575e2ddce377ec96b7ede141 Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@gmail.com>
Date: Sat, 6 Jan 2024 12:24:05 -0800
Subject: [PATCH] simplify

---
 solutions/src/2015/24.hs | 82 ++++++++++++++++++++++------------------
 1 file changed, 46 insertions(+), 36 deletions(-)

diff --git a/solutions/src/2015/24.hs b/solutions/src/2015/24.hs
index bb13998..561f0b6 100644
--- a/solutions/src/2015/24.hs
+++ b/solutions/src/2015/24.hs
@@ -1,4 +1,4 @@
-{-# Language QuasiQuotes #-}
+{-# Language QuasiQuotes, BlockArguments, LambdaCase, TransformListComp #-}
 {-|
 Module      : Main
 Description : Day 24 solution
@@ -8,59 +8,69 @@ Maintainer  : emertens@gmail.com
 
 <https://adventofcode.com/2015/day/24>
 
+>>> :{
+:main +
+"1
+2
+3
+4
+5
+7
+8
+9
+10
+11
+"
+:}
+99
+44
+
 -}
-module Main where
+module Main (main) where
 
 import Advent.Format (format)
-import Data.List (sortBy, sort)
-import Data.Maybe (listToMaybe)
+import Advent (pickOne)
+import Data.List (sortBy, sort, tails)
 import Data.Ord (comparing)
+import Advent.Queue (Queue)
+import qualified Advent.Queue as Queue
 
-data Packages = Packages { pkgSum, pkgCount, pkgProduct :: !Int }
-  deriving (Eq, Show)
+-- order specifically chosen to get desired Ord instance
+data Packages = Packages { pkgProduct, pkgSum :: !Int }
+  deriving (Eq, Ord, Show)
 
 noPackages :: Packages
 noPackages = Packages
-  { pkgCount = 0
-  , pkgSum = 0
+  { pkgSum     = 0
   , pkgProduct = 1
   }
 
 addPackage :: Int -> Packages -> Packages
 addPackage p pkgs = Packages
-  { pkgCount = pkgCount pkgs + 1
-  , pkgSum   = pkgSum   pkgs + p
-  , pkgProduct = fromIntegral p * pkgProduct pkgs
+  { pkgSum     = pkgSum   pkgs   + p
+  , pkgProduct = pkgProduct pkgs * fromIntegral p
   }
 
-instance Ord Packages where
-  compare = comparing pkgCount <> comparing pkgProduct <> comparing pkgSum
-
-search :: Int -> [Int] -> Maybe Int
-search n ps0 = listToMaybe $
-  do (pkg,ps1) <- sortBy (comparing fst) (start ps0)
-     moreGroups (n-1) ps1
-     return (pkgProduct pkg)
-     
+solve :: Int -> [Int] -> Int
+solve n input = go (Queue.singleton (noPackages, sort input))
   where
-  goal = sum ps0 `quot` n
-
-  moreGroups 1 _ = [()]
-  moreGroups i ps1 =
-    do (_,ps2) <- start ps1
-       moreGroups (i-1) ps2
-
-  start = aux noPackages [] . sort
+    target = sum input `quot` n
 
-  aux :: Packages -> [Int] -> [Int] -> [(Packages,[Int])]
-  aux a qs _ | pkgSum a == goal = [(a,qs)]
-  aux _ _ [] = []
-  aux a _ (p:_) | pkgSum (addPackage p a) > goal = []
-  aux a qs (p:ps) = aux (addPackage p a) qs ps
-                 ++ aux a (p:qs) ps
+    go = \case
+      Queue.Empty -> error "no solution"
+      (pkg, pkgs) Queue.:<| q
+        | target == pkgSum pkg -> pkgProduct pkg
+        | otherwise -> go (Queue.appendList q more)
+        where
+          more = [(pkg', xs) | x:xs <- tails pkgs, let pkg' = addPackage x pkg, then takeWhile by pkgSum pkg' <= target]
 
+-- | Parse the input and print the solutions to both parts.
+--
+-- >>> :main
+-- 11846773891
+-- 80393059
 main :: IO ()
 main =
   do input <- [format|2015 24 (%u%n)*|]
-     print (search 3 input)
-     print (search 4 input)
+     print (solve 3 input)
+     print (solve 4 input)