Done day 23
authorNeil Smith <neil.git@njae.me.uk>
Sun, 2 Jan 2022 18:37:04 +0000 (18:37 +0000)
committerNeil Smith <neil.git@njae.me.uk>
Sun, 2 Jan 2022 18:37:04 +0000 (18:37 +0000)
advent-of-code21.cabal
advent23/Main.hs [new file with mode: 0644]
data/advent23.txt [new file with mode: 0644]
data/advent23a.txt [new file with mode: 0644]
problems/day23.html [new file with mode: 0644]

index 8ba8f78320cdbcd8c5aa963576833019d60a76a8..6fd1c0945c4015318cf4e06a3f3d12c75b2c6075 100644 (file)
@@ -43,7 +43,7 @@ common common-extensions
                         , NamedFieldPuns
                         , NegativeLiterals
                         , NumDecimals
-                        , OverloadedLists
+                        -- , OverloadedLists
                         , OverloadedStrings
                         , PartialTypeSignatures
                         , PatternGuards
@@ -216,3 +216,8 @@ executable advent22
   import: common-extensions, build-directives
   main-is: advent22/Main.hs
   build-depends: linear, text, attoparsec, containers, lens
+
+executable advent23
+  import: common-extensions, build-directives
+  main-is: advent23/Main.hs
+  build-depends: containers, linear, pqueue, mtl, lens
diff --git a/advent23/Main.hs b/advent23/Main.hs
new file mode 100644 (file)
index 0000000..2666769
--- /dev/null
@@ -0,0 +1,343 @@
+-- Writeup at https://work.njae.me.uk/2021/12/16/advent-of-code-2021-day-15/
+
+import Debug.Trace
+
+
+import qualified Data.PQueue.Prio.Min as P
+import qualified Data.Set as S
+import qualified Data.Sequence as Q
+import Data.Sequence ((<|), (|>), (><)) --, ViewR( (:>) ), ViewL( (:<) ))
+import qualified Data.Map.Strict as M
+import Data.Map.Strict ((!))
+import Data.Foldable (foldl', sum) -- (toList, foldr', foldl', all)
+-- import Data.Char
+import Control.Monad.Reader
+import Control.Lens hiding ((<|), (|>), (:>), (:<))
+import Data.Maybe -- (fromMaybe)
+-- import Linear (V2(..), (^+^)) --, (^-^), (*^), (^*))
+import Linear hiding (trace)
+
+
+
+pattern Empty   <- (Q.viewl -> Q.EmptyL)  where Empty = Q.empty
+pattern x :< xs <- (Q.viewl -> x Q.:< xs) where (:<)  = (Q.<|) 
+pattern xs :> x <- (Q.viewr -> xs Q.:> x) where (:>)  = (Q.|>) 
+
+
+data Amphipod = A | B | C | D deriving (Show, Read, Eq, Ord, Enum)
+
+type Coord = V2 Int -- r, c
+_r :: Lens' (V2 Int) Int
+_r = _x
+_c :: Lens' (V2 Int) Int
+_c = _y
+
+data Step = Step 
+  { _destination :: Coord
+  , _distance :: Int
+  , _transits :: S.Set Coord
+  , _entryRequirement :: Maybe Amphipod
+  } deriving (Show, Eq, Ord)
+makeLenses ''Step
+
+type Steps = M.Map Coord (S.Set Step)
+
+data Burrow = Burrow 
+  { _possibleSteps :: Steps
+  , _roomColumns :: M.Map Amphipod Int
+  , _hallRow :: Int
+  } deriving (Show, Eq)
+makeLenses ''Burrow  
+
+type BurrowContext = Reader Burrow
+
+type MoveState = M.Map Coord Amphipod
+
+data AppliedMove = AppliedMove 
+  { _afterMove :: MoveState 
+  , _appliedStep :: Step
+  }
+  deriving (Show, Eq, Ord)
+makeLenses ''AppliedMove
+
+data Agendum = 
+    Agendum { _current :: MoveState
+            , _trail :: Q.Seq MoveState
+            , _trailCost :: Int
+            , _cost :: Int
+            } deriving (Show, Eq)
+makeLenses ''Agendum                       
+
+type Agenda = P.MinPQueue Int Agendum
+
+type ExploredStates = S.Set MoveState
+
+
+
+main :: IO ()
+main = 
+  do  text <- readFile "data/advent23.txt"
+      -- let (burrow, initState) = mkBurrow text
+      -- print burrow
+      -- print initState
+      print $ part1 text
+      print $ part2 text
+
+
+-- part1 :: Burrow -> MoveState -> Int
+part1 text = maybe 0 _cost result
+    where 
+      (burrow, initState) = mkBurrow text
+      result = runReader (searchBurrow initState) burrow
+
+part2 text = maybe 0 _cost result
+    where 
+      rows = lines text
+      extraRows = [("  #D#C#B#A#  " :: String), ("  #D#B#A#C#  " :: String)]
+      modifiedRows = (take 3 rows) ++ extraRows ++ (drop 3 rows)
+      modifiedText = unlines modifiedRows
+      (burrow, initState) = mkBurrow modifiedText
+      result = runReader (searchBurrow initState) burrow
+
+
+searchBurrow :: MoveState -> BurrowContext (Maybe Agendum)
+searchBurrow initState = 
+    do agenda <- initAgenda initState
+       aStar agenda S.empty
+
+initAgenda :: MoveState -> BurrowContext Agenda
+initAgenda initState = 
+    do c <- estimateCost initState
+       return $ P.singleton c Agendum { _current = initState
+                                      , _trail = Q.empty, _trailCost = 0, _cost = c}
+
+
+aStar ::  Agenda -> ExploredStates -> BurrowContext (Maybe Agendum)
+aStar agenda closed 
+    -- | trace ("Peeping " ++ (show $ fst $ P.findMin agenda) ++ ": " ++ (show reached) ++ " <- " ++ (show $ toList $ Q.take 1 $ _trail $ currentAgendum) ++ " :: " ++ (show newAgenda)) False = undefined
+    -- | trace ("Peeping " ++ (show $ _current $ snd $ P.findMin agenda) ) False = undefined
+    | P.null agenda = return Nothing
+    | otherwise = 
+        do  let (_, currentAgendum) = P.findMin agenda
+            let reached = currentAgendum ^. current
+            nexts <- candidates currentAgendum closed
+            let newAgenda = foldl' (\q a -> P.insert (_cost a) a q) (P.deleteMin agenda) nexts
+            reachedGoal <- isGoal reached
+            if reachedGoal
+            then return (Just currentAgendum)
+            else if reached `S.member` closed
+                 then aStar (P.deleteMin agenda) closed
+                 else aStar newAgenda (S.insert reached closed)
+
+
+candidates ::  Agendum -> ExploredStates -> BurrowContext (Q.Seq Agendum)
+candidates agendum closed = 
+    do  let candidate = agendum ^. current
+        let previous = agendum ^. trail
+        let prevCost = agendum ^. trailCost
+        succs <- successors candidate
+        let nonloops = S.filter (\s -> (s ^. afterMove) `S.notMember` closed) succs
+        let nonloopsQ = Q.fromList $ S.toList nonloops
+        mapM (makeAgendum previous prevCost) nonloopsQ
+
+
+makeAgendum ::  Q.Seq MoveState -> Int -> AppliedMove -> BurrowContext Agendum
+makeAgendum previous prevCost newPosition = 
+    do predicted <- estimateCost (newPosition ^. afterMove)
+       -- grid <- asks _grid
+       let newTrail = previous |> (newPosition ^. afterMove)
+       let newPositionCost = stepCost newPosition
+       let incurred = prevCost + newPositionCost
+       return Agendum { _current = newPosition ^. afterMove
+                      , _trail = newTrail
+                      , _trailCost = incurred
+                      , _cost = incurred + predicted
+                      }
+
+-- class (Eq s, Ord s, Show s) => SearchState s where
+--     emptySearchState :: MoveState
+--     successors :: MoveState -> BurrowContext (Q.Seq MoveState)
+--     estimateCost :: MoveState -> BurrowContext Int
+--     isGoal :: MoveState -> BurrowContext Bool
+--     entryCost :: MoveState -> BurrowContext Int
+
+
+-- instance SearchState Position where
+
+--   emptySearchState = Position (V2 0 0)
+
+successors :: MoveState -> BurrowContext (S.Set AppliedMove)
+successors moveState = 
+  do steps <- asks _possibleSteps
+     let succs = M.foldrWithKey' (legalSteps steps moveState) S.empty moveState
+     return succs
+
+legalSteps :: Steps -> MoveState -> Coord -> Amphipod -> S.Set AppliedMove -> S.Set AppliedMove
+legalSteps steps state here amphipod acc = S.union appliedSteps acc
+  where allSteps = steps ! here
+        freeSteps = S.filter freeSpaces allSteps
+        freeSpaces st = S.null $ S.intersection (M.keysSet state) (st ^. transits)
+        validTargetSteps = S.filter (\st -> fromMaybe amphipod (st ^. entryRequirement) == amphipod) freeSteps
+        openRoomSteps = S.filter (openRoom state) validTargetSteps
+        appliedSteps = S.map (\s -> AppliedMove 
+                                      { _afterMove = (applyStep state here s)
+                                      , _appliedStep =  s
+                                      }
+                              ) openRoomSteps
+
+openRoom :: MoveState -> Step -> Bool
+openRoom state step
+  | isNothing e = True
+  | otherwise = M.null roomBlockers
+  where e = step ^. entryRequirement
+        je = fromJust e
+        tc = step ^. destination . _c
+        roomBlockers = M.filterWithKey (\(V2 _ ac) a -> a /= je && ac == tc) state
+
+applyStep :: MoveState -> Coord -> Step -> MoveState
+applyStep moveState here step = moveState''
+  where moveState' = M.delete here moveState
+        moveState'' = M.insert (step ^. destination) (moveState ! here) moveState'
+
+singleStepCost :: Amphipod -> Int
+singleStepCost A = 1
+singleStepCost B = 10
+singleStepCost C = 100
+singleStepCost D = 1000
+
+estimateCost :: MoveState -> BurrowContext Int
+estimateCost state = 
+  do rCols <- asks _roomColumns
+     hRow <- asks _hallRow
+     let amphipodCosts = M.mapWithKey (estimateACost rCols hRow) state
+     return $ sum $ M.elems amphipodCosts
+
+estimateACost :: M.Map Amphipod Int -> Int -> Coord -> Amphipod -> Int
+estimateACost rCols hRow (V2 r c) amphipod = (singleStepCost amphipod) * dist
+    where targetCol = rCols ! amphipod
+          dist = if c == targetCol
+                 then 0
+                 else (r - hRow) + (abs (c - targetCol)) + 1
+
+stepCost :: AppliedMove -> Int
+stepCost aStep = (singleStepCost amphipod) * (S.size $ aStep ^. appliedStep . transits)
+  where dest = aStep ^. appliedStep . destination
+        amphipod = (aStep ^. afterMove) ! dest
+
+isGoal :: MoveState -> BurrowContext Bool
+isGoal state = 
+  do rCols <- asks _roomColumns
+     let misplaced = M.filterWithKey (inWrongRoom rCols) state
+     return $ M.null misplaced
+
+inWrongRoom rCols (V2 _ c) amphipod = c /= rightCol
+  where rightCol = rCols ! amphipod
+
+
+------------------------------
+
+
+mkBurrow :: String -> (Burrow, MoveState)
+-- mkBurrow :: String -> ((S.Set Coord, M.Map Coord Amphipod), MoveState)
+mkBurrow text = (burrow, initState) -- (burrow, initState)
+  where rows = lines text
+        hall = mkHall (rows!!1)
+        rooms = mkRooms $ drop 2 rows
+        roomCols = S.map (^. _c) $ M.keysSet rooms
+        hall' = S.filter ((`S.notMember` roomCols) . (^. _c)) hall 
+        routes = mkRoutes hall' rooms
+        roomColMap = M.fromList $ zip [A .. D] $ S.toAscList roomCols
+        burrow = Burrow { _possibleSteps = routes, _roomColumns = roomColMap, _hallRow = 1}
+        initState = mkInitialState rows
+
+
+mkHall :: String -> S.Set Coord
+mkHall text = S.fromList hallCoords
+  where hallCols = filter ((/= '#') . snd) $ zip [0..] text
+        hallCoords = map ((V2 1) . fst) hallCols
+
+mkRooms :: [String] -> M.Map Coord Amphipod
+mkRooms text = M.unions rooms
+  where rooms = map mkRoom $ zip [2..] text
+
+mkRoom :: (Int, String) -> M.Map Coord Amphipod
+mkRoom (r, text) = M.fromList roomCoords
+  where roomCols = filter ((`elem` ("ABCD." :: String)) . snd) $ zip [0..] text
+        roomCoords = zip (map ((V2 r) . fst) roomCols) [A .. D]
+
+-- invertRooms rooms = M.fromList [(a, M.keysSet $ M.filter (== a) rooms) | a <- [A .. D]]
+
+mkRoutes :: S.Set Coord -> M.Map Coord Amphipod -> Steps
+mkRoutes halls rooms = M.unionsWith (S.union) [hallRoutes, roomHallRoutes, roomRoomRoutes]
+  where hallRoutes = S.foldr' (mkHallRoute rooms) M.empty halls
+        roomHallRoutes = S.foldr' (mkRoomHallRoute halls) M.empty (M.keysSet rooms)
+        roomRoomRoutes = S.foldr' (mkRoomRoomRoute hallRow rooms) M.empty (M.keysSet rooms)
+        hallRow = (S.findMin halls) ^. _r
+
+mkHallRoute :: M.Map Coord Amphipod -> Coord -> Steps -> Steps
+-- mkHallRoute rooms here routes | trace ("mkHR " ++ (show here) ++ " " ++ (show routes)) False = undefined
+mkHallRoute rooms here routes = M.foldrWithKey' (mkHallRoute1 here) routes rooms
+
+mkHallRoute1 :: Coord -> Coord -> Amphipod -> Steps -> Steps
+-- mkHallRoute1 here there entry routes | trace ("mkHR1 " ++ (show here) ++ " " ++ (show there) ++ (show routes)) False = undefined
+mkHallRoute1 here@(V2 hr hc) there@(V2 tr tc) entry routes = M.insert here (S.insert step existingRoutes) routes
+  -- | trace ("mkHR1 " ++ (show here) ++ " " ++ (show there) ++ (show routes) ++ " > " ++ show res) False = undefined
+  -- | otherwise = res 
+  where step = Step { _destination = there
+                    , _distance = (S.size transits) 
+                    , _transits = transits
+                    , _entryRequirement = Just entry
+                    }
+        cMin = min hc tc
+        cMax = max hc tc
+        transits = S.delete here $ S.fromList $ [V2 hr c | c <- [cMin..cMax]] ++ [V2 r tc | r <- [hr..tr]]
+        existingRoutes = M.findWithDefault S.empty here routes
+        -- res = M.insert here (S.insert step existingRoutes) routes
+
+mkRoomHallRoute :: S.Set Coord -> Coord -> Steps -> Steps
+mkRoomHallRoute halls here routes = S.foldr' (mkRoomHallRoute1 here) routes halls
+
+mkRoomHallRoute1 :: Coord -> Coord -> Steps -> Steps
+mkRoomHallRoute1 here@(V2 hr hc) there@(V2 tr tc) routes = M.insert here (S.insert step existingRoutes) routes
+    where step = Step { _destination = there
+                      , _distance = (S.size transits)
+                      , _transits = transits
+                      , _entryRequirement = Nothing
+                      }
+          cMin = min hc tc
+          cMax = max hc tc 
+          transits = S.delete here $ S.fromList $ [V2 r hc | r <- [tr..hr]] ++ [V2 tr c | c <- [cMin..cMax]]
+          existingRoutes = M.findWithDefault S.empty here routes
+
+mkRoomRoomRoute :: Int -> M.Map Coord Amphipod -> Coord -> Steps -> Steps
+mkRoomRoomRoute hallRow rooms here routes =  M.foldrWithKey' (mkRoomRoomRoute1 hallRow here) routes rooms
+
+mkRoomRoomRoute1 :: Int -> Coord -> Coord -> Amphipod -> Steps -> Steps
+-- mkRoomRoomRoute1 _hallRow here there entry routes | trace ("mkRR1 " ++ (show here) ++ " " ++ (show there) ++ (show routes)) False = undefined
+mkRoomRoomRoute1 hallRow here@(V2 hr hc) there@(V2 tr tc) entry routes 
+  | here == there = routes
+  | otherwise = M.insert here (S.insert step existingRoutes) routes
+  where step = Step { _destination = there
+                    , _distance = (S.size transits) 
+                    , _transits = transits
+                    , _entryRequirement = Just entry
+                    }
+        cMin = min hc tc
+        cMax = max hc tc 
+        transitUp = S.fromList [V2 r hc | r <- [hallRow..hr]]
+        transitAcross = S.fromList [V2 hallRow c | c <- [cMin..cMax]]
+        transitDown = S.fromList [V2 r tc | r <- [hallRow..tr]]
+        transits = S.delete here $ S.unions [transitUp, transitAcross, transitDown]
+        existingRoutes = M.findWithDefault S.empty here routes
+
+
+mkInitialState :: [String] -> MoveState
+mkInitialState rows = 
+  M.fromList [ (V2 r c, read [(rows!!r)!!c]) 
+             | r <- [0..maxR], c <- [0..maxC]
+             , isAmphipod ((rows!!r)!!c)
+             ]
+  where maxR = length rows - 1
+        maxC = (length $ head rows) - 1
+        isAmphipod c = c `elem` ("ABCD" :: String)
+
diff --git a/data/advent23.txt b/data/advent23.txt
new file mode 100644 (file)
index 0000000..0b327f0
--- /dev/null
@@ -0,0 +1,5 @@
+#############
+#...........#
+###D#B#D#A###
+  #C#C#A#B#  
+  #########  
\ No newline at end of file
diff --git a/data/advent23a.txt b/data/advent23a.txt
new file mode 100644 (file)
index 0000000..e59b374
--- /dev/null
@@ -0,0 +1,5 @@
+#############
+#...........#
+###B#C#B#D###
+  #A#D#C#A#  
+  #########  
\ No newline at end of file
diff --git a/problems/day23.html b/problems/day23.html
new file mode 100644 (file)
index 0000000..b663d78
--- /dev/null
@@ -0,0 +1,420 @@
+<!DOCTYPE html>
+<html lang="en-us">
+<head>
+<meta charset="utf-8"/>
+<title>Day 23 - Advent of Code 2021</title>
+<!--[if lt IE 9]><script src="/static/html5.js"></script><![endif]-->
+<link href='//fonts.googleapis.com/css?family=Source+Code+Pro:300&subset=latin,latin-ext' rel='stylesheet' type='text/css'/>
+<link rel="stylesheet" type="text/css" href="/static/style.css?26"/>
+<link rel="stylesheet alternate" type="text/css" href="/static/highcontrast.css?0" title="High Contrast"/>
+<link rel="shortcut icon" href="/favicon.png"/>
+</head><!--
+
+
+
+
+Oh, hello!  Funny seeing you here.
+
+I appreciate your enthusiasm, but you aren't going to find much down here.
+There certainly aren't clues to any of the puzzles.  The best surprises don't
+even appear in the source until you unlock them for real.
+
+Please be careful with automated requests; I'm not a massive company, and I can
+only take so much traffic.  Please be considerate so that everyone gets to play.
+
+If you're curious about how Advent of Code works, it's running on some custom
+Perl code. Other than a few integrations (auth, analytics, social media), I
+built the whole thing myself, including the design, animations, prose, and all
+of the puzzles.
+
+The puzzles are most of the work; preparing a new calendar and a new set of
+puzzles each year takes all of my free time for 4-5 months. A lot of effort
+went into building this thing - I hope you're enjoying playing it as much as I
+enjoyed making it for you!
+
+If you'd like to hang out, I'm @ericwastl on Twitter.
+
+- Eric Wastl
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+-->
+<body>
+<header><div><h1 class="title-global"><a href="/">Advent of Code</a></h1><nav><ul><li><a href="/2021/about">[About]</a></li><li><a href="/2021/events">[Events]</a></li><li><a href="https://teespring.com/stores/advent-of-code" target="_blank">[Shop]</a></li><li><a href="/2021/settings">[Settings]</a></li><li><a href="/2021/auth/logout">[Log Out]</a></li></ul></nav><div class="user">Neil Smith <a href="/2021/support" class="supporter-badge" title="Advent of Code Supporter">(AoC++)</a> <span class="star-count">46*</span></div></div><div><h1 class="title-event">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="title-event-wrap">//</span><a href="/2021">2021</a><span class="title-event-wrap"></span></h1><nav><ul><li><a href="/2021">[Calendar]</a></li><li><a href="/2021/support">[AoC++]</a></li><li><a href="/2021/sponsors">[Sponsors]</a></li><li><a href="/2021/leaderboard">[Leaderboard]</a></li><li><a href="/2021/stats">[Stats]</a></li></ul></nav></div></header>
+
+<div id="sidebar">
+<div id="sponsor"><div class="quiet">Our <a href="/2021/sponsors">sponsors</a> help make Advent of Code possible:</div><div class="sponsor"><a href="https://www.americanexpress.com/techcareers" target="_blank" onclick="if(ga)ga('send','event','sponsor','sidebar',this.href);" rel="noopener">American Express</a> - Work with the latest tech and back the engineering community through open source. Find your place in tech on #TeamAmex.</div></div>
+</div><!--/sidebar-->
+
+<main>
+<script>window.addEventListener('click', function(e,s,r){if(e.target.nodeName==='CODE'&&e.detail===3){s=window.getSelection();s.removeAllRanges();r=document.createRange();r.selectNodeContents(e.target);s.addRange(r);}});</script>
+<article class="day-desc"><h2>--- Day 23: Amphipod ---</h2><p>A group of <a href="https://en.wikipedia.org/wiki/Amphipoda" target="_blank">amphipods</a> notice your fancy submarine and flag you down. "With such an impressive shell," one amphipod <span title="What? You didn't know amphipods can talk?">says</span>, "surely you can help us with a question that has stumped our best scientists."</p>
+<p>They go on to explain that a group of timid, stubborn amphipods live in a nearby burrow. Four types of amphipods live there: <em>Amber</em> (<code>A</code>), <em>Bronze</em> (<code>B</code>), <em>Copper</em> (<code>C</code>), and <em>Desert</em> (<code>D</code>). They live in a burrow that consists of a <em>hallway</em> and four <em>side rooms</em>. The side rooms are initially full of amphipods, and the hallway is initially empty.</p>
+<p>They give you a <em>diagram of the situation</em> (your puzzle input), including locations of each amphipod (<code>A</code>, <code>B</code>, <code>C</code>, or <code>D</code>, each of which is occupying an otherwise open space), walls (<code>#</code>), and open space (<code>.</code>).</p>
+<p>For example:</p>
+<pre><code>#############
+#...........#
+###B#C#B#D###
+  #A#D#C#A#
+  #########
+</code></pre>
+<p>The amphipods would like a method to organize every amphipod into side rooms so that each side room contains one type of amphipod and the types are sorted <code>A</code>-<code>D</code> going left to right, like this:</p>
+<pre><code>#############
+#...........#
+###A#B#C#D###
+  #A#B#C#D#
+  #########
+</code></pre>
+<p>Amphipods can move up, down, left, or right so long as they are moving into an unoccupied open space. Each type of amphipod requires a different amount of <em>energy</em> to move one step: Amber amphipods require <code>1</code> energy per step, Bronze amphipods require <code>10</code> energy, Copper amphipods require <code>100</code>, and Desert ones require <code>1000</code>. The amphipods would like you to find a way to organize the amphipods that requires the <em>least total energy</em>.</p>
+<p>However, because they are timid and stubborn, the amphipods have some extra rules:</p>
+<ul>
+<li>Amphipods will never <em>stop on the space immediately outside any room</em>. They can move into that space so long as they immediately continue moving. (Specifically, this refers to the four open spaces in the hallway that are directly above an amphipod starting position.)</li>
+<li>Amphipods will never <em>move from the hallway into a room</em> unless that room is their destination room <em>and</em> that room contains no amphipods which do not also have that room as their own destination. If an amphipod's starting room is not its destination room, it can stay in that room until it leaves the room. (For example, an Amber amphipod will not move from the hallway into the right three rooms, and will only move into the leftmost room if that room is empty or if it only contains other Amber amphipods.)</li>
+<li>Once an amphipod stops moving in the hallway, <em>it will stay in that spot until it can move into a room</em>. (That is, once any amphipod starts moving, any other amphipods currently in the hallway are locked in place and will not move again until they can move fully into a room.)</li>
+</ul>
+<p>In the above example, the amphipods can be organized using a minimum of <code><em>12521</em></code> energy. One way to do this is shown below.</p>
+<p>Starting configuration:</p>
+<pre><code>#############
+#...........#
+###B#C#B#D###
+  #A#D#C#A#
+  #########
+</code></pre>
+<p>One Bronze amphipod moves into the hallway, taking 4 steps and using <code>40</code> energy:</p>
+<pre><code>#############
+#...B.......#
+###B#C#.#D###
+  #A#D#C#A#
+  #########
+</code></pre>
+<p>The only Copper amphipod not in its side room moves there, taking 4 steps and using <code>400</code> energy:</p>
+<pre><code>#############
+#...B.......#
+###B#.#C#D###
+  #A#D#C#A#
+  #########
+</code></pre>
+<p>A Desert amphipod moves out of the way, taking 3 steps and using <code>3000</code> energy, and then the Bronze amphipod takes its place, taking 3 steps and using <code>30</code> energy:</p>
+<pre><code>#############
+#.....D.....#
+###B#.#C#D###
+  #A#B#C#A#
+  #########
+</code></pre>
+<p>The leftmost Bronze amphipod moves to its room using <code>40</code> energy:</p>
+<pre><code>#############
+#.....D.....#
+###.#B#C#D###
+  #A#B#C#A#
+  #########
+</code></pre>
+<p>Both amphipods in the rightmost room move into the hallway, using <code>2003</code> energy in total:</p>
+<pre><code>#############
+#.....D.D.A.#
+###.#B#C#.###
+  #A#B#C#.#
+  #########
+</code></pre>
+<p>Both Desert amphipods move into the rightmost room using <code>7000</code> energy:</p>
+<pre><code>#############
+#.........A.#
+###.#B#C#D###
+  #A#B#C#D#
+  #########
+</code></pre>
+<p>Finally, the last Amber amphipod moves into its room, using <code>8</code> energy:</p>
+<pre><code>#############
+#...........#
+###A#B#C#D###
+  #A#B#C#D#
+  #########
+</code></pre>
+<p><em>What is the least energy required to organize the amphipods?</em></p>
+</article>
+<p>Your puzzle answer was <code>14460</code>.</p><article class="day-desc"><h2 id="part2">--- Part Two ---</h2><p>As you prepare to give the amphipods your solution, you notice that the diagram they handed you was actually folded up. As you unfold it, you discover an extra part of the diagram.</p>
+<p>Between the first and second lines of text that contain amphipod starting positions, insert the following lines:</p>
+<pre><code>  #D#C#B#A#
+  #D#B#A#C#
+</code></pre>
+<p>So, the above example now becomes:</p>
+<pre><code>#############
+#...........#
+###B#C#B#D###
+  <em>#D#C#B#A#
+  #D#B#A#C#</em>
+  #A#D#C#A#
+  #########
+</code></pre>
+<p>The amphipods still want to be organized into rooms similar to before:</p>
+<pre><code>#############
+#...........#
+###A#B#C#D###
+  #A#B#C#D#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+</code></pre>
+<p>In this updated example, the least energy required to organize these amphipods is <code><em>44169</em></code>:</p>
+<pre><code>#############
+#...........#
+###B#C#B#D###
+  #D#C#B#A#
+  #D#B#A#C#
+  #A#D#C#A#
+  #########
+
+#############
+#..........D#
+###B#C#B#.###
+  #D#C#B#A#
+  #D#B#A#C#
+  #A#D#C#A#
+  #########
+
+#############
+#A.........D#
+###B#C#B#.###
+  #D#C#B#.#
+  #D#B#A#C#
+  #A#D#C#A#
+  #########
+
+#############
+#A........BD#
+###B#C#.#.###
+  #D#C#B#.#
+  #D#B#A#C#
+  #A#D#C#A#
+  #########
+
+#############
+#A......B.BD#
+###B#C#.#.###
+  #D#C#.#.#
+  #D#B#A#C#
+  #A#D#C#A#
+  #########
+
+#############
+#AA.....B.BD#
+###B#C#.#.###
+  #D#C#.#.#
+  #D#B#.#C#
+  #A#D#C#A#
+  #########
+
+#############
+#AA.....B.BD#
+###B#.#.#.###
+  #D#C#.#.#
+  #D#B#C#C#
+  #A#D#C#A#
+  #########
+
+#############
+#AA.....B.BD#
+###B#.#.#.###
+  #D#.#C#.#
+  #D#B#C#C#
+  #A#D#C#A#
+  #########
+
+#############
+#AA...B.B.BD#
+###B#.#.#.###
+  #D#.#C#.#
+  #D#.#C#C#
+  #A#D#C#A#
+  #########
+
+#############
+#AA.D.B.B.BD#
+###B#.#.#.###
+  #D#.#C#.#
+  #D#.#C#C#
+  #A#.#C#A#
+  #########
+
+#############
+#AA.D...B.BD#
+###B#.#.#.###
+  #D#.#C#.#
+  #D#.#C#C#
+  #A#B#C#A#
+  #########
+
+#############
+#AA.D.....BD#
+###B#.#.#.###
+  #D#.#C#.#
+  #D#B#C#C#
+  #A#B#C#A#
+  #########
+
+#############
+#AA.D......D#
+###B#.#.#.###
+  #D#B#C#.#
+  #D#B#C#C#
+  #A#B#C#A#
+  #########
+
+#############
+#AA.D......D#
+###B#.#C#.###
+  #D#B#C#.#
+  #D#B#C#.#
+  #A#B#C#A#
+  #########
+
+#############
+#AA.D.....AD#
+###B#.#C#.###
+  #D#B#C#.#
+  #D#B#C#.#
+  #A#B#C#.#
+  #########
+
+#############
+#AA.......AD#
+###B#.#C#.###
+  #D#B#C#.#
+  #D#B#C#.#
+  #A#B#C#D#
+  #########
+
+#############
+#AA.......AD#
+###.#B#C#.###
+  #D#B#C#.#
+  #D#B#C#.#
+  #A#B#C#D#
+  #########
+
+#############
+#AA.......AD#
+###.#B#C#.###
+  #.#B#C#.#
+  #D#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#AA.D.....AD#
+###.#B#C#.###
+  #.#B#C#.#
+  #.#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#A..D.....AD#
+###.#B#C#.###
+  #.#B#C#.#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#...D.....AD#
+###.#B#C#.###
+  #A#B#C#.#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#.........AD#
+###.#B#C#.###
+  #A#B#C#D#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#..........D#
+###A#B#C#.###
+  #A#B#C#D#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+
+#############
+#...........#
+###A#B#C#D###
+  #A#B#C#D#
+  #A#B#C#D#
+  #A#B#C#D#
+  #########
+</code></pre>
+<p>Using the initial configuration from the full diagram, <em>what is the least energy required to organize the amphipods?</em></p>
+</article>
+<p>Your puzzle answer was <code>41366</code>.</p><p class="day-success">Both parts of this puzzle are complete! They provide two gold stars: **</p>
+<p>At this point, you should <a href="/2021">return to your Advent calendar</a> and try another puzzle.</p>
+<p>If you still want to see it, you can <a href="23/input" target="_blank">get your puzzle input</a>.</p>
+<p>You can also <span class="share">[Share<span class="share-content">on
+  <a href="https://twitter.com/intent/tweet?text=I%27ve+completed+%22Amphipod%22+%2D+Day+23+%2D+Advent+of+Code+2021&amp;url=https%3A%2F%2Fadventofcode%2Ecom%2F2021%2Fday%2F23&amp;related=ericwastl&amp;hashtags=AdventOfCode" target="_blank">Twitter</a>
+  <a href="javascript:void(0);" onclick="var mastodon_instance=prompt('Mastodon Instance / Server Name?'); if(typeof mastodon_instance==='string' && mastodon_instance.length){this.href='https://'+mastodon_instance+'/share?text=I%27ve+completed+%22Amphipod%22+%2D+Day+23+%2D+Advent+of+Code+2021+%23AdventOfCode+https%3A%2F%2Fadventofcode%2Ecom%2F2021%2Fday%2F23'}else{return false;}" target="_blank">Mastodon</a
+></span>]</span> this puzzle.</p>
+</main>
+
+<!-- ga -->
+<script>
+(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
+(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
+m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
+})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+ga('create', 'UA-69522494-1', 'auto');
+ga('set', 'anonymizeIp', true);
+ga('send', 'pageview');
+</script>
+<!-- /ga -->
+</body>
+</html>
\ No newline at end of file