1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232
//! # Day 5: Sunny with a Chance of Asteroids
//!
//! You're starting to sweat as the ship makes its way toward Mercury. The Elves suggest that you
//! get the air conditioner working by upgrading your ship computer to support the Thermal
//! Environment Supervision Terminal.
//!
//! The Thermal Environment Supervision Terminal (TEST) starts by running a **diagnostic program**
//! (your puzzle input). The TEST diagnostic program will run on [your existing Intcode computer]
//! after a few modifications:
//!
//! **First**, you'll need to add **two new instructions**:
//!
//! - Opcode `3` takes a single integer as **input** and saves it to the address given by its only
//! parameter. For example, the instruction `3,50` would take an input value and store it at
//! address `50`.
//! - Opcode `4` **outputs** the value of its only parameter. For example, the instruction `4,50`
//! would output the value at address `50`.
//!
//! Programs that use these instructions will come with documentation that explains what should be
//! connected to the input and output. The program `3,0,4,0,99` outputs whatever it gets as input,
//! then halts.
//!
//! **Second**, you'll need to add support for **parameter modes**:
//!
//! Each parameter of an instruction is handled based on its parameter mode. Right now, your ship
//! computer already understands parameter mode `0`, **position mode**, which causes the parameter
//! to be interpreted as a **position** - if the parameter is `50`, its value is **the value stored
//! at address `50` in memory**. Until now, all parameters have been in position mode.
//!
//! Now, your ship computer will also need to handle parameters in mode `1`, **immediate mode**. In
//! immediate mode, a parameter is interpreted as a **value** - if the parameter is `50`, its value
//! is simply **`50`**.
//!
//! Parameter modes are stored in the same value as the instruction's opcode. The opcode is a
//! two-digit number based only on the ones and tens digit of the value, that is, the opcode is the
//! rightmost two digits of the first value in an instruction. Parameter modes are single digits,
//! one per parameter, read right-to-left from the opcode: the first parameter's mode is in the
//! hundreds digit, the second parameter's mode is in the thousands digit, the third parameter's
//! mode is in the ten-thousands digit, and so on. Any missing modes are `0`.
//!
//! For example, consider the program `1002,4,3,4,33`.
//!
//! The first instruction, `1002,4,3,4`, is a **multiply** instruction - the rightmost two digits of
//! the first value, `02`, indicate opcode `2`, multiplication. Then, going right to left, the
//! parameter modes are `0` (hundreds digit), `1` (thousands digit), and `0` (ten-thousands digit,
//! not present and therefore zero):
//!
//! ```txt
//! ABCDE
//! 1002
//!
//! DE - two-digit opcode, 02 == opcode 2
//! C - mode of 1st parameter, 0 == position mode
//! B - mode of 2nd parameter, 1 == immediate mode
//! A - mode of 3rd parameter, 0 == position mode,
//! omitted due to being a leading zero
//! ```
//!
//! This instruction multiplies its first two parameters. The first parameter, `4` in position mode,
//! works like it did before - its value is the value stored at address `4` (`33`). The second
//! parameter, `3` in immediate mode, simply has value `3`. The result of this operation,
//! `33 * 3 = 99`, is written according to the third parameter, `4` in position mode, which also
//! works like it did before - `99` is written to address `4`.
//!
//! Parameters that an instruction writes to will **never be in immediate mode**.
//!
//! **Finally**, some notes:
//!
//! - It is important to remember that the instruction pointer should increase by **the number of
//! values in the instruction** after the instruction finishes. Because of the new instructions,
//! this amount is no longer always `4`.
//! - Integers can be negative: `1101,100,-1,4,0` is a valid program (find `100 + -1`, store the
//! result in position `4`).
//!
//! The TEST diagnostic program will start by requesting from the user the ID of the system to test
//! by running an **input** instruction - provide it `1`, the ID for the ship's air conditioner
//! unit.
//!
//! It will then perform a series of diagnostic tests confirming that various parts of the Intcode
//! computer, like parameter modes, function correctly. For each test, it will run an **output**
//! instruction indicating how far the result of the test was from the expected value, where `0`
//! means the test was successful. Non-zero outputs mean that a function is not working correctly;
//! check the instructions that were run before the output instruction to see which one failed.
//!
//! Finally, the program will output a **diagnostic code** and immediately halt. This final output
//! isn't an error; an output followed immediately by a halt means the program finished. If all
//! outputs were zero except the diagnostic code, the diagnostic program ran successfully.
//!
//! After providing `1` to the only input instruction and passing all the tests, **what diagnostic
//! code does the program produce?**
//!
//! [your existing Intcode computer]: super::d02
//!
//! ## Part Two
//!
//! The air conditioner comes online! Its cold air feels good for a while, but then the TEST alarms
//! start to go off. Since the air conditioner can't vent its heat anywhere but back into the
//! spacecraft, it's actually making the air inside the ship **warmer**.
//!
//! Instead, you'll need to use the TEST to extend the [thermal radiators]. Fortunately, the
//! diagnostic program (your puzzle input) is already equipped for this. Unfortunately, your Intcode
//! computer is not.
//!
//! Your computer is only missing a few opcodes:
//!
//! - Opcode `5` is **jump-if-true**: if the first parameter is **non-zero**, it sets the
//! instruction pointer to the value from the second parameter. Otherwise, it does nothing.
//! - Opcode `6` is **jump-if-false**: if the first parameter **is zero**, it sets the instruction
//! pointer to the value from the second parameter. Otherwise, it does nothing.
//! - Opcode `7` is **less than**: if the first parameter is **less than** the second parameter, it
//! stores `1` in the position given by the third parameter. Otherwise, it stores `0`.
//! - Opcode `8` is **equals**: if the first parameter is **equal to** the second parameter, it
//! stores `1` in the position given by the third parameter. Otherwise, it stores `0`.
//!
//! Like all instructions, these instructions need to support **parameter modes** as described
//! above.
//!
//! Normally, after an instruction is finished, the instruction pointer increases by the number of
//! values in that instruction. **However**, if the instruction modifies the instruction pointer,
//! that value is used and the instruction pointer is **not automatically increased**.
//!
//! For example, here are several programs that take one input, compare it to the value `8`, and
//! then produce one output:
//!
//! - `3,9,8,9,10,9,4,9,99,-1,8` - Using **position mode**, consider whether the input is **equal
//! to** `8`; output `1` (if it is) or `0` (if it is not).
//! - `3,9,7,9,10,9,4,9,99,-1,8` - Using **position mode**, consider whether the input is **less
//! than** `8`; output `1` (if it is) or `0` (if it is not).
//! - `3,3,1108,-1,8,3,4,3,99` - Using **immediate mode**, consider whether the input is **equal
//! to** `8`; output `1` (if it is) or `0` (if it is not).
//! - `3,3,1107,-1,8,3,4,3,99` - Using **immediate mode**, consider whether the input is **less
//! than** `8`; output `1` (if it is) or `0` (if it is not).
//!
//! Here are some jump tests that take an input, then output `0` if the input was zero or `1` if the
//! input was non-zero:
//!
//! - `3,12,6,12,15,1,13,14,13,4,13,99,-1,0,1,9` (using **position mode**)
//! - `3,3,1105,-1,9,1101,0,0,12,4,12,99,1` (using **immediate mode**)
//!
//! Here's a larger example:
//!
//! ```txt
//! 3,21,1008,21,8,20,1005,20,22,107,8,21,20,1006,20,31,
//! 1106,0,36,98,0,0,1002,21,125,20,4,20,1105,1,46,104,
//! 999,1105,1,46,1101,1000,1,20,4,20,1105,1,46,98,99
//! ```
//!
//! The above example program uses an input instruction to ask for a single number. The program will
//! then output `999` if the input value is below `8`, output `1000` if the input value is equal to
//! `8`, or output `1001` if the input value is greater than `8`.
//!
//! This time, when the TEST diagnostic program runs its input instruction to get the ID of the
//! system to test, **provide it `5`**, the ID for the ship's thermal radiator controller. This
//! diagnostic test suite only outputs one number, the **diagnostic code**.
//!
//! **What is the diagnostic code for system ID `5`?**
//!
//! [thermal radiators]: https://en.wikipedia.org/wiki/Spacecraft_thermal_control
use anyhow::Result;
use super::intcode::{self, Program};
pub const INPUT: &str = include_str!("d05.txt");
pub fn solve_part_one(input: &str) -> Result<i64> {
let cmds = intcode::parse_input(input)?;
let mut program = Program::new(cmds, &[1]);
let mut result = 0;
while !program.is_finished() {
result = program.run(&[])?;
}
Ok(result)
}
pub fn solve_part_two(input: &str) -> Result<i64> {
let cmds = intcode::parse_input(input)?;
let mut program = Program::new(cmds, &[5]);
let mut result = 0;
while !program.is_finished() {
result = program.run(&[])?;
}
Ok(result)
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn part_one() {}
#[test]
fn part_two() {
assert_eq!(1, process(vec![3, 9, 8, 9, 10, 9, 4, 9, 99, -1, 8], 8).unwrap());
assert_eq!(0, process(vec![3, 9, 8, 9, 10, 9, 4, 9, 99, -1, 8], 7).unwrap());
assert_eq!(1, process(vec![3, 9, 7, 9, 10, 9, 4, 9, 99, -1, 8], 7).unwrap());
assert_eq!(0, process(vec![3, 9, 7, 9, 10, 9, 4, 9, 99, -1, 8], 8).unwrap());
assert_eq!(1, process(vec![3, 3, 1108, -1, 8, 3, 4, 3, 99], 8).unwrap());
assert_eq!(0, process(vec![3, 3, 1108, -1, 8, 3, 4, 3, 99], 7).unwrap());
assert_eq!(1, process(vec![3, 3, 1107, -1, 8, 3, 4, 3, 99], 7).unwrap());
assert_eq!(0, process(vec![3, 3, 1107, -1, 8, 3, 4, 3, 99], 8).unwrap());
assert_eq!(
0,
process(vec![3, 12, 6, 12, 15, 1, 13, 14, 13, 4, 13, 99, -1, 0, 1, 9], 0).unwrap()
);
assert_eq!(
1,
process(vec![3, 12, 6, 12, 15, 1, 13, 14, 13, 4, 13, 99, -1, 0, 1, 9], 1).unwrap()
);
assert_eq!(0, process(vec![3, 3, 1105, -1, 9, 1101, 0, 0, 12, 4, 12, 99, 1], 0).unwrap());
assert_eq!(1, process(vec![3, 3, 1105, -1, 9, 1101, 0, 0, 12, 4, 12, 99, 1], 1).unwrap());
let input = vec![
3, 21, 1008, 21, 8, 20, 1005, 20, 22, 107, 8, 21, 20, 1006, 20, 31, 1106, 0, 36, 98, 0,
0, 1002, 21, 125, 20, 4, 20, 1105, 1, 46, 104, 999, 1105, 1, 46, 1101, 1000, 1, 20, 4,
20, 1105, 1, 46, 98, 99,
];
assert_eq!(999, process(input.clone(), 7).unwrap());
assert_eq!(1000, process(input.clone(), 8).unwrap());
assert_eq!(1001, process(input, 9).unwrap());
}
fn process(cmds: Vec<i64>, input: i64) -> Result<i64> {
Program::new(cmds, &[input]).run(&[])
}
}