{"header":{"message":"Add a slightly faster version for day23a","description":null,"timestamp":"2022-02-23T13:34:18.453338362Z","authors":[{}]},"hash":"Y6LR3BWYWC2E3HAB45T5VFBUCWJLRTWIVYOETYUHLBA3UDSGKB2AC","authors":[{"login":"voroskoi","key":"Guf8VYJNUiWAqxwLxDSKxmvvtY65ht2zK2q4h6VhxrcZ"}],"deps":{"hashes":[["Y6LR3BWYWC2E3HAB45T5VFBUCWJLRTWIVYOETYUHLBA3UDSGKB2AC","Add a slightly faster version for day23a"],["AA",null],["QT4MDJ4BERH7KCQV4OEZPVVAKJ5KBG77YN42FVCWXWB5MUXFQ2JQC","Add solution for day23a"]],"deps":["QT4MDJ4BERH7KCQV4OEZPVVAKJ5KBG77YN42FVCWXWB5MUXFQ2JQC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":2,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":64}],"down_context":[{"change":2,"pos":64}],"flag":"BLOCK","start":0,"end":23,"inode":{"change":2,"pos":35}}},"contents":[{"Add":"const math = std.math;"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":6,"ins":{"up_context":[{"change":2,"pos":106}],"down_context":[{"change":2,"pos":183}],"flag":"BLOCK","start":24,"end":76,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":106},"to":{"change":2,"start":106,"end":183},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":"const Amphipod = enum {"},{"Add":" A,"},{"Add":" B,"},{"Add":" C,"},{"Add":" D,"}],"del_contents":[{"Del":"const Energy = enum(u10) {\n A = 1,\n B = 10,\n C = 100,\n D = 1000,\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":13,"ins":{"up_context":[{"change":2,"pos":187}],"down_context":[{"change":2,"pos":214}],"flag":"BLOCK","start":77,"end":103,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":187},"to":{"change":2,"start":187,"end":214},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":"const hallway_length = 7;"}],"del_contents":[{"Del":"const hallway_length = 11;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":16,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":261},"to":{"change":2,"start":261,"end":286},"introduced_by":2}],"inode":{"change":2,"pos":35}}},"contents":[{"Del":"const PositionType = u4;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":17,"ins":{"up_context":[{"change":2,"pos":287}],"down_context":[{"change":2,"pos":683}],"flag":"BLOCK","start":104,"end":125,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":287},"to":{"change":2,"start":287,"end":643},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":643},"to":{"change":2,"start":643,"end":680},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":680},"to":{"change":2,"start":680,"end":683},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":"const PathType = u4;"}],"del_contents":[{"Del":"const Amphipod = struct {\n energy: Energy,\n pos: [2]PositionType,\n fn inPlace(self: @This()) bool {\n switch (self.energy) {\n .A => if (self.pos[1] != 2) return false,\n .B => if (self.pos[1] != 4) return false,\n .C => if (self.pos[1] != 6) return false,\n .D => if (self.pos[1] != 8) return false,\n"},{"Del":" }\n return true;\n }\n"},{"Del":"};\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":20,"ins":{"up_context":[{"change":2,"pos":707}],"down_context":[{"change":2,"pos":755}],"flag":"BLOCK","start":126,"end":215,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":707},"to":{"change":2,"start":707,"end":755},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" hallway: [hallway_length]?Amphipod,"},{"Add":" rooms: [siderooms][sideroom_depth]?Amphipod,"}],"del_contents":[{"Del":" amps: [siderooms * sideroom_depth]Amphipod,\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":33,"ins":{"up_context":[{"change":2,"pos":1083}],"down_context":[{"change":2,"pos":1374}],"flag":"BLOCK","start":216,"end":1289,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1083},"to":{"change":2,"start":1083,"end":1374},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" for (self.hallway) |amp, idx| {"},{"Add":" if (amp != null) {"},{"Add":" const i: usize = switch (idx) {"},{"Add":" 0 => 14 + 1,"},{"Add":" 1 => 14 + 2,"},{"Add":" 2 => 14 + 4,"},{"Add":" 3 => 14 + 6,"},{"Add":" 4 => 14 + 8,"},{"Add":" 5 => 14 + 10,"},{"Add":" 6 => 14 + 11,"},{"Add":" else => unreachable,"},{"Add":" };"},{"Add":" const a: u8 = switch (amp.?) {"},{"Add":" .A => 'A',"},{"Add":" .B => 'B',"},{"Add":" .C => 'C',"},{"Add":" .D => 'D',"},{"Add":" };"},{"Add":" mod[i] = a;"},{"Add":" }"},{"Add":" }"},{"Add":" for (self.rooms) |room, rid| {"},{"Add":" for (room) |amp, aid| {"},{"Add":" if (amp != null) {"},{"Add":" const a: u8 = switch (amp.?) {"},{"Add":" .A => 'A',"},{"Add":" .B => 'B',"},{"Add":" .C => 'C',"},{"Add":" .D => 'D',"},{"Add":" };"},{"Add":" mod[14 + 14 + rid * 2 + 3 + 14 * aid] = a;"},{"Add":" }"},{"Add":" }"}],"del_contents":[{"Del":" for (self.amps) |a| {\n const ch: u8 = switch (a.energy) {\n .A => 'A',\n .B => 'B',\n .C => 'C',\n .D => 'D',\n };\n mod[14 + 14 * @intCast(usize, a.pos[0]) + @intCast(usize, a.pos[1]) + 1] = ch;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":68,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1404}],"down_context":[{"change":2,"pos":1404}],"flag":"BLOCK","start":1290,"end":1656,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" }"},{"Add":" fn sideRoomDone(self: @This(), room: usize) bool {"},{"Add":" std.debug.assert(room < siderooms);"},{"Add":" for (self.rooms[room]) |amp| {"},{"Add":" // https://github.com/ziglang/zig/issues/6059"},{"Add":" if (amp == null) {"},{"Add":" return false;"},{"Add":" } else if (amp != @intToEnum(Amphipod, room)) return false;"},{"Add":" }"},{"Add":" return true;"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":80,"ins":{"up_context":[{"change":2,"pos":1444}],"down_context":[{"change":2,"pos":1563}],"flag":"BLOCK","start":1657,"end":1906,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1444},"to":{"change":2,"start":1444,"end":1563},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // check if hallway is empty"},{"Add":" for (self.hallway) |item| {"},{"Add":" if (item != null) return false;"},{"Add":" }"},{"Add":""},{"Add":" // every room is done"},{"Add":" for (self.rooms) |_, idx| {"},{"Add":" if (!self.sideRoomDone(idx)) return false;"}],"del_contents":[{"Del":" // every amp in the proper side room\n for (self.amps) |a| {\n if (!a.inPlace()) return false;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":91,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1600}],"down_context":[{"change":2,"pos":1600}],"flag":"BLOCK","start":1907,"end":2321,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" fn sideRoomFreeSpace(self: @This(), room: usize) ?u2 {"},{"Add":" var ret: u2 = 0;"},{"Add":""},{"Add":" std.debug.assert(room < siderooms);"},{"Add":" for (self.rooms[room]) |amp| {"},{"Add":" if (amp == null) {"},{"Add":" ret += 1;"},{"Add":" } else if (amp != @intToEnum(Amphipod, room)) {"},{"Add":" return null;"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" std.debug.assert(ret <= sideroom_depth);"},{"Add":" return ret;"},{"Add":" }"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":107,"ins":{"up_context":[{"change":2,"pos":1650}],"down_context":[{"change":2,"pos":1769}],"flag":"BLOCK","start":2322,"end":2465,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1650},"to":{"change":2,"start":1650,"end":1769},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" for (self.rooms) |_, idx| {"},{"Add":" const free = self.sideRoomFreeSpace(idx) orelse continue;"},{"Add":" if (free == 0) continue;"}],"del_contents":[{"Del":" amp: for (self.amps) |a, idx| {\n // skip if already in place\n if (a.inPlace()) continue;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":111,"ins":{"up_context":[{"change":2,"pos":1770}],"down_context":[{"change":2,"pos":1984}],"flag":"BLOCK","start":2466,"end":2522,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1770},"to":{"change":2,"start":1770,"end":1984},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // std.debug.print(\"FREE: {d}\\n\", .{free});"}],"del_contents":[{"Del":" // set destination sideroom\n const dest: PositionType = switch (a.energy) {\n .A => 2,\n .B => 4,\n .C => 6,\n .D => 8,\n };\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":113,"ins":{"up_context":[{"change":2,"pos":1985}],"down_context":[{"change":2,"pos":2266}],"flag":"BLOCK","start":2523,"end":3060,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1985},"to":{"change":2,"start":1985,"end":2266},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" for (self.hallway) |amp, hwidx| {"},{"Add":" if (amp == @intToEnum(Amphipod, idx)) {"},{"Add":" const steps = (self.checkHWtoRoom(hwidx, idx) orelse continue) + free;"},{"Add":""},{"Add":" var ret: StateQueue = undefined;"},{"Add":""},{"Add":" ret.energy = (std.math.powi(usize, 10, @enumToInt(amp.?)) catch unreachable) * steps;"},{"Add":""},{"Add":" ret.state = self;"},{"Add":" ret.state.hallway[hwidx] = null;"},{"Add":" ret.state.rooms[idx][free - 1] = amp;"},{"Add":""},{"Add":" return ret;"}],"del_contents":[{"Del":" var counter: PositionType = 0; // items in destination\n for (self.amps) |other, oidx| {\n if (idx == oidx) continue;\n if (other.pos[1] == dest) {\n if (other.energy == a.energy) counter += 1 else continue :amp;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":128,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":2298}],"down_context":[{"change":2,"pos":2298}],"flag":"BLOCK","start":3061,"end":3150,"inode":{"change":2,"pos":35}}},"contents":[{"Add":""},{"Add":" for (self.rooms) |other, oidx| {"},{"Add":" if (idx == oidx) continue;"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":132,"ins":{"up_context":[{"change":2,"pos":2299}],"down_context":[{"change":2,"pos":2457}],"flag":"BLOCK","start":3151,"end":4314,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":2299},"to":{"change":2,"start":2299,"end":2457},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" var pos: PathType = 0;"},{"Add":" for (other) |amp| {"},{"Add":" if (amp == null) {"},{"Add":" pos += 1;"},{"Add":" continue;"},{"Add":" }"},{"Add":" if (amp == @intToEnum(Amphipod, idx)) {"},{"Add":" var steps: PathType = undefined;"},{"Add":" if (idx < oidx) { // moving left"},{"Add":" const hwidx = oidx + 2;"},{"Add":" // std.debug.print(\"L->R from: {d} to: {d}\\n\", .{ hwidx, idx });"},{"Add":" steps = (self.checkHWtoRoom(hwidx, idx) orelse break) + free + pos;"},{"Add":" } else { // moving right"},{"Add":" const hwidx = oidx + 1;"},{"Add":" // std.debug.print(\"R->L from: {d} to: {d}\\n\", .{ hwidx, idx });"},{"Add":" steps = (self.checkHWtoRoom(hwidx, idx) orelse break) + free + pos;"},{"Add":" }"},{"Add":""},{"Add":" // we can move amp to his sideroom"},{"Add":" var ret: StateQueue = undefined;"},{"Add":""},{"Add":" ret.energy = (std.math.powi(usize, 10, @enumToInt(amp.?)) catch unreachable) * steps;"}],"del_contents":[{"Del":" std.debug.assert(counter < sideroom_depth);\n const steps = self.checkPath(a.pos, .{ sideroom_depth - counter, dest }) orelse continue;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":155,"ins":{"up_context":[{"change":2,"pos":2458}],"down_context":[{"change":2,"pos":2839}],"flag":"BLOCK","start":4315,"end":4478,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":2458},"to":{"change":2,"start":2458,"end":2839},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" ret.state = self;"},{"Add":" ret.state.rooms[oidx][pos] = null;"},{"Add":" ret.state.rooms[idx][free - 1] = amp;"}],"del_contents":[{"Del":" var ret: StateQueue = undefined;\n ret.state = self;\n ret.state.amps[idx].pos = .{ sideroom_depth - counter, dest };\n ret.energy = @enumToInt(a.energy) * steps;\n return ret;\n }\n return null;\n }\n fn checkPath(self: @This(), from: [2]PositionType, to: [2]PositionType) ?usize {\n var steps: usize = 0;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":159,"ins":{"up_context":[{"change":2,"pos":2840}],"down_context":[{"change":2,"pos":3148}],"flag":"BLOCK","start":4479,"end":4515,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":2840},"to":{"change":2,"start":2840,"end":3148},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" return ret;"}],"del_contents":[{"Del":" var row = from[0];\n var col = from[1];\n while (true) : (steps += 1) {\n // check if row/col occupied or not\n if (steps != 0) {\n for (self.amps) |a| {\n if (a.pos[0] == row and a.pos[1] == col) {\n return null;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":161,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3170}],"down_context":[{"change":2,"pos":3170}],"flag":"BLOCK","start":4516,"end":4616,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" // only first item can move, no need to check others"},{"Add":" break;"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":165,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3202}],"down_context":[{"change":2,"pos":3202}],"flag":"BLOCK","start":4617,"end":4627,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" }"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":167,"ins":{"up_context":[{"change":2,"pos":3203}],"down_context":[{"change":2,"pos":3332}],"flag":"BLOCK","start":4628,"end":4848,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3203},"to":{"change":2,"start":3203,"end":3332},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" return null;"},{"Add":" }"},{"Add":" fn checkHWtoRoom(self: @This(), from: usize, to: usize) ?PathType {"},{"Add":" // #############"},{"Add":" // #01.2.3.4.56#"},{"Add":" // ###0#1#2#3###"},{"Add":" // #0#1#2#3#"},{"Add":" // #########"}],"del_contents":[{"Del":" // reached destination, return\n if (row == to[0] and col == to[1]) {\n break;\n }\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":176,"ins":{"up_context":[{"change":2,"pos":3333}],"down_context":[{"change":2,"pos":3488}],"flag":"BLOCK","start":4849,"end":4919,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3333},"to":{"change":2,"start":3333,"end":3488},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" std.debug.assert(to < 4);"},{"Add":" std.debug.assert(from < 8);"}],"del_contents":[{"Del":" // come out of current sideroom\n if (row != 0 and col != to[1]) {\n row -= 1;\n continue;\n }\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":179,"ins":{"up_context":[{"change":2,"pos":3489}],"down_context":[{"change":2,"pos":3640}],"flag":"BLOCK","start":4920,"end":5243,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3489},"to":{"change":2,"start":3489,"end":3640},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" var steps: PathType = 0;"},{"Add":" if (from -| to >= 2) {"},{"Add":" var idx: usize = from -| 1;"},{"Add":" while (idx >= to + 2) : (idx -= 1) {"},{"Add":" // std.debug.print(\"LEFT from: {d} to: {d} step: {d}\\n\", .{ from, to, idx });"},{"Add":" if (self.hallway[idx] == null) steps += 2 else return null;"}],"del_contents":[{"Del":" // hallway\n if (row == 0 and col != to[1]) {\n if (col > to[1]) col -= 1 else col += 1;\n continue;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":186,"ins":{"up_context":[{"change":2,"pos":3654}],"down_context":[{"change":2,"pos":3677}],"flag":"BLOCK","start":5244,"end":5534,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3654},"to":{"change":2,"start":3654,"end":3677},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" } else {"},{"Add":" var idx: usize = from + 1;"},{"Add":" while (idx <= to + 1) : (idx += 1) {"},{"Add":" // std.debug.print(\"RIGHT from: {d} to: {d} step: {d}\\n\", .{ from, to, idx });"},{"Add":" if (self.hallway[idx] == null) steps += 2 else return null;"},{"Add":" }"}],"del_contents":[{"Del":"\n row += 1;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":193,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3687}],"down_context":[{"change":2,"pos":3687}],"flag":"BLOCK","start":5535,"end":5615,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" // room entrance point"},{"Add":" if (from != 6 and from != 0) steps += 1;"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":207,"ins":{"up_context":[{"change":2,"pos":4056}],"down_context":[{"change":2,"pos":4190}],"flag":"BLOCK","start":5616,"end":5938,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4056},"to":{"change":2,"start":4056,"end":4190},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // we already checked the side rooms, so we only have to collect"},{"Add":" // each rooms first item's possible hallway positions"},{"Add":" for (self.rooms) |room, idx| {"},{"Add":" // std.debug.print(\"ROOM->HW check {d} room\\n\", .{idx});"},{"Add":" for (room) |amp, pos| {"},{"Add":" if (amp == null) continue;"}],"del_contents":[{"Del":" for ([_]PositionType{ 2, 4, 6, 8 }) |col| {\n if (self.sideRoomDone(col)) {\n continue;\n }\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":214,"ins":{"up_context":[{"change":2,"pos":4191}],"down_context":[{"change":2,"pos":4387}],"flag":"BLOCK","start":5939,"end":6168,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4191},"to":{"change":2,"start":4191,"end":4387},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // do not move items in right room"},{"Add":" // except: we should move away to let wrong placed amp out"},{"Add":" if (amp == @intToEnum(Amphipod, idx)) {"},{"Add":" var tainted: bool = false;"}],"del_contents":[{"Del":" var row: PositionType = 1;\n while (row <= sideroom_depth) : (row += 1) {\n var first_amp_pos: ?[2]PositionType = null;\n var idx: ?usize = null;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":219,"ins":{"up_context":[{"change":2,"pos":4388}],"down_context":[{"change":2,"pos":4666}],"flag":"BLOCK","start":6169,"end":6390,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4388},"to":{"change":2,"start":4388,"end":4666},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" var next: PathType = @intCast(PathType, pos) + 1;"},{"Add":" while (next < sideroom_depth) : (next += 1) {"},{"Add":" if (room[next] != @intToEnum(Amphipod, idx)) tainted = true;"}],"del_contents":[{"Del":" // find the first item in the sideroom\n for (self.amps) |a, i| {\n if (a.pos[0] == row and a.pos[1] == col) {\n first_amp_pos = .{ row, col };\n idx = i;\n break;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":223,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":4688}],"down_context":[{"change":2,"pos":4688}],"flag":"BLOCK","start":6391,"end":6432,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" if (!tainted) break;"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":226,"ins":{"up_context":[{"change":2,"pos":4707}],"down_context":[{"change":2,"pos":5069}],"flag":"BLOCK","start":6433,"end":6910,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4707},"to":{"change":2,"start":4707,"end":5069},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" for (self.hallway) |hw, hwidx| {"},{"Add":" if (hw == null) { // destination hallway spot is free"},{"Add":" // std.debug.print(\"checking hallway spot {d} with amp {any}\\n\", .{hwidx, amp});"},{"Add":" const steps = (self.checkHWtoRoom(hwidx, idx) orelse continue) + pos + 1;"},{"Add":""},{"Add":" var st: StateQueue = undefined;"},{"Add":""},{"Add":" st.energy = steps * try std.math.powi(usize, 10, @enumToInt(amp.?));"}],"del_contents":[{"Del":" if (first_amp_pos != null) {\n var hw: PositionType = 0;\n while (hw < hallway_length) : (hw += 1) {\n // skip sideroom entry point, they are forbidden\n if (hw == 2 or hw == 4 or hw == 6 or hw == 8) {\n continue;\n }\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":235,"ins":{"up_context":[{"change":2,"pos":5070}],"down_context":[{"change":2,"pos":5424}],"flag":"BLOCK","start":6911,"end":7064,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5070},"to":{"change":2,"start":5070,"end":5424},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" st.state = self;"},{"Add":" st.state.hallway[hwidx] = amp;"},{"Add":" st.state.rooms[idx][pos] = null;"}],"del_contents":[{"Del":" if (self.checkPath(first_amp_pos.?, .{ 0, hw })) |steps| {\n var next: StateQueue = undefined;\n next.state = self;\n next.state.amps[idx.?].pos = .{ 0, hw };\n next.energy = steps * @enumToInt(next.state.amps[idx.?].energy);\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":239,"ins":{"up_context":[{"change":2,"pos":5425}],"down_context":[{"change":2,"pos":5501}],"flag":"BLOCK","start":7065,"end":7109,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5425},"to":{"change":2,"start":5425,"end":5501},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" try ret.append(st);"}],"del_contents":[{"Del":" try ret.append(next);\n }\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":242,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":5541}],"down_context":[{"change":2,"pos":5541}],"flag":"BLOCK","start":7110,"end":7177,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" // only first item can move"},{"Add":" break;"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":248,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5601},"to":{"change":2,"start":5601,"end":5607},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5607},"to":{"change":2,"start":5607,"end":6002},"introduced_by":2}],"inode":{"change":2,"pos":35}}},"contents":[{"Del":" }\n"},{"Del":" fn sideRoomDone(self: @This(), col: usize) bool {\n const goodType: Energy = switch (col) {\n 2 => .A,\n 4 => .B,\n 6 => .C,\n 8 => .D,\n else => unreachable,\n };\n for (self.amps) |a| {\n if (a.pos[1] == col and a.energy != goodType) {\n return false;\n }\n }\n return true;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":285,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":6906}],"down_context":[{"change":2,"pos":6906}],"flag":"BLOCK","start":7178,"end":7292,"inode":{"change":2,"pos":35}}},"contents":[{"Add":""},{"Add":" // var backtrack = std.AutoHashMap(StateQueue, StateQueue).init(allocator);"},{"Add":" // defer backtrack.deinit();"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":292,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":7019},"to":{"change":2,"start":7019,"end":7588},"introduced_by":2}],"inode":{"change":2,"pos":35}}},"contents":[{"Del":"\n // HACK\n // init_state.state.amps[2].pos = .{0,3};\n // init_state.energy += 40;\n\n // init_state.state.amps[1].pos = .{1,6};\n // init_state.energy += 400;\n\n // init_state.state.amps[5].pos = .{0,5};\n // init_state.energy += 3000;\n\n // init_state.state.amps[2].pos = .{2,4};\n // init_state.energy += 30;\n\n // init_state.state.amps[0].pos = .{1,4};\n // init_state.energy += 40;\n\n // init_state.state.amps[3].pos = .{0,7};\n // init_state.energy += 2000;\n\n // init_state.state.amps[7].pos = .{0,9};\n // init_state.energy += 3;\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":300,"ins":{"up_context":[{"change":2,"pos":7770}],"down_context":[{"change":2,"pos":7848}],"flag":"BLOCK","start":7293,"end":7373,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":7770},"to":{"change":2,"start":7770,"end":7848},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // std.debug.print(\"{d}\\n{s}\\n\", .{ curr.energy, curr.state.print() });"}],"del_contents":[{"Del":" // std.debug.print(\"{d}\\n{s}\\n\", .{curr.energy, curr.state.print()});\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":308,"ins":{"up_context":[{"change":2,"pos":8079}],"down_context":[{"change":2,"pos":8130}],"flag":"BLOCK","start":7374,"end":7683,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":8079},"to":{"change":2,"start":8079,"end":8130},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" if (curr.state.done()) {"},{"Add":" // var bt: StateQueue = curr;"},{"Add":" // while (backtrack.contains(bt)) {"},{"Add":" // std.debug.print(\"{d}\\n{s}\\n\", .{bt.energy, bt.state.print()});"},{"Add":" // bt = backtrack.get(bt).?;"},{"Add":" // }"},{"Add":" return curr.energy;"},{"Add":" }"}],"del_contents":[{"Del":" if (curr.state.done()) return curr.energy;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":321,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":8289},"to":{"change":2,"start":8289,"end":9148},"introduced_by":2}],"inode":{"change":2,"pos":35}}},"contents":[{"Del":" // std.debug.print(\"{d}\\n{s}\\n\", .{sq.energy, sq.state.print()});\n\n // do not queue if already visited\n // if (visited.contains(sq.state)) continue;\n\n // XXX: this makes 3x slower :-)\n // update energy if it is lower than the current in queue\n // var qit = queue.iterator();\n // while (qit.next()) |queue_item| {\n // if (std.meta.eql(queue_item.state, sq.state)) {\n // // if queued energy is lower than current then skip state\n // if (queue_item.energy <= sq.energy + curr.energy) continue :states;\n\n // // else remove the current, so we can add the new value\n // _ = queue.removeIndex(qit.count);\n // }\n // }\n\n // add to the queue if not already there\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":322,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":9186}],"down_context":[{"change":2,"pos":9186}],"flag":"BLOCK","start":7684,"end":7764,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" // std.debug.print(\"{d}\\n{s}\\n\", .{ sq.energy, sq.state.print() });"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":324,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":9219}],"down_context":[{"change":2,"pos":9219}],"flag":"BLOCK","start":7765,"end":7811,"inode":{"change":2,"pos":35}}},"contents":[{"Add":" // try backtrack.put(sq.*, curr);"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":343,"ins":{"up_context":[{"change":2,"pos":9635}],"down_context":[{"change":2,"pos":9729}],"flag":"BLOCK","start":7812,"end":7868,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":9635},"to":{"change":2,"start":9635,"end":9729},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" const amp: Amphipod = switch (ch) {"}],"del_contents":[{"Del":" var a: Amphipod = undefined;\n a.energy = switch (ch) {\n"}]}},{"Replacement":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":350,"ins":{"up_context":[{"change":2,"pos":9937}],"down_context":[{"change":2,"pos":10080}],"flag":"BLOCK","start":7869,"end":8042,"inode":{"change":2,"pos":35}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":9937},"to":{"change":2,"start":9937,"end":10080},"introduced_by":2}],"inode":{"change":2,"pos":35}},"ins_contents":[{"Add":" // std.debug.print(\"{d} {d}\\n\", .{counter%siderooms, counter/siderooms});"},{"Add":" ret.rooms[counter % siderooms][counter / siderooms] = amp;"}],"del_contents":[{"Del":" a.pos = .{ @intCast(PositionType, line - 1), @intCast(PositionType, idx - 1) };\n ret.amps[counter] = a;\n"}]}},{"Edit":{"inode":{"change":2,"pos":35},"path":"src/day23a.zig","line":364,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":10265}],"down_context":[],"flag":"BLOCK","start":8043,"end":8818,"inode":{"change":2,"pos":35}}},"contents":[{"Add":""},{"Add":"test \"checkHWtoRoom\" {"},{"Add":" const room = [sideroom_depth]?Amphipod{ null, null };"},{"Add":" const st = State{"},{"Add":" .hallway = [_]?Amphipod{ null, null, null, null, null, null, null },"},{"Add":" .rooms = .{ room, room, room, room },"},{"Add":" };"},{"Add":" try std.testing.expectEqual(@as(PathType, 5), st.checkHWtoRoom(5, 1).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 6), st.checkHWtoRoom(6, 1).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 2), st.checkHWtoRoom(6, 3).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 1), st.checkHWtoRoom(1, 0).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 2), st.checkHWtoRoom(0, 0).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 8), st.checkHWtoRoom(0, 3).?);"},{"Add":" try std.testing.expectEqual(@as(PathType, 6), st.checkHWtoRoom(0, 2).?);"},{"Add":"}"}]}}],"owner":"voroskoi","repo":"aoc2021-zig","token":"sbBBz5Epzjc71mh8YGamdrfyyCOIPEMuFYA6Fy3kpwQ=","login":null}

…

Dependencies

Change contents