⭐ BATTLE STAR ⭐ - Solution

Written by ⭐LIAM THOMAS⭐

Answer: HORSE LATITUDES

This is a puzzle about solving reverse star battle puzzles. In star battle, solvers place 2 stars in each region, row and column with no stars sharing a corner. In this puzzle, we create regions which each contain 2 stars (note that there are 2 stars per column and row and no touching stars) in addition to following the rules of the given puzzle. The constraints of the additional puzzles are slightly relaxed: in Corral and Slitherlink, we don't create a single loop, and in Hidato we make 10 snakes instead of of 1.

Corral

High-Level Pointers

  • For some larger numbers, we can quickly establish a general shape when they run into smaller clues or quickly pick up 2 stars. This lets us place boundaries on the 11 in the top left and 9 in the bottom right very quickly.
  • Since every region needs exactly 2 stars, we can rule out scenarios and shapes that isolate an odd number of stars in an area. This is key to solving the left hand side of the grid, as well as the bottom portion.
  • Most of the late deductions revolve around separating which clues must be part of separate regions. For instance, the realizations that the 8 and 7 diagonally adjacent to the lower-right 9 cannot be in the same region leads to the shapes of those regions.

Solved Grid

64
113
3566
6
4
373
898
859
7
64
113
3566
6
4
373
898
859
7

Hidato

(Use only orthogonal adjacency.)

High-Level Pointers

  • Since only orthogonal adjacency is used, if two numbers are an odd number of squares away and have an even difference (or vice versa), they cannot be a part of the same snake.
  • Since there can be at most 10 snakes, finding 10 numbers which must all be parts of different snakes (due to their parity or simply being too far apart) tells us that every other square, including other given numbers, must be in the same snake as one of these 10 numbers.
  • This key step lets us connect the central 5 to the top 8, which then forces the 3 next to it to connect to the 8 in the top right. After this, we can force the postion of the top left quickly.

Solved Grid

123108678
64111271098
7811126417
93453236
212211045
33569234
65998781
77107101126
65568767
23432548
123108678
64111271098
7811126417
93453236
212211045
33569234
65998781
77107101126
65568767
23432548

Nurikabe

(For extraction, the river contains no land.)

High-Level Pointers

  • An important realization is that since there are 9 given islands and we're looking for 10 regions, we should be treating the sea as a region, which should also contain 2 stars.
  • The first key step to this puzzle is identifying what possible stars each island can connect to. You want to do this counter-clockwise, starting from the 4 on the left of the board, moving to the lower 5, and so on.
  • Many Nurikabe tricks are still useful here. For instance, using the knowledge that the top-left and bottom-left corners cannot be part of an island is key to deducing the shapes of the nearby islands.
  • The key breakthrough after the beginning placements is the center six. We can deduce which stars it contains (C4 and E3), and once we do this, we can deduce that it must contain one of C3 or C4 (to avoid a collection of 4 squares in the sea) as well as E4 and then one more tile to connect the two parts of the island. This lets us place sea around the rest of the island.
  • After this, the top left falls easily, and a few deductions about sea connectedness on the right hand of the board let us finish the last few islands.

Solved Grid

59
64
6
6
4
6
5
59
64
6
6
4
6
5

Slitherlink

High-Level Pointers

  • A lot of standard Slitherlink deduction can't be used here since we're not forming a single loop. This makes lots of weird patterns possible, so be careful.
  • If a 2 is diagonally adjacent to a 0, then either its edges form a corner next to the 0 or opposite the zero.
  • A key late deduction is the top-leftmost region and its shape. The 2 2s stacked on top of each other have only 2 possible shapes thanks to the zeroes nearby, and eliminating one of them solidifies the shape of this area.

Solved Grid

01211
122320
222
01102
2213
122332
320222
322012
11021
11110
01211
122320
222
01102
2213
122332
320222
322012
11021
11110

Extraction

Making the Final Grid

After solving the puzzles, we note that each star is in a unique position on a 10x10 grid.

We fill in the "number" on each star - that is, the number that would be in the given position if a clue were in the star's position.

Finally, we use the checksums to solve for the values on the remaining 20 squares.

165390491947
65122255129159
89901321422968
12101546081552
186841911311677
2434526761251
4468212010551
9282069276372
1421822543151
8504519124654
58478254685566454067
While not displayed in the grid above, the diagonal sums are needed to fully disambiguate final grid state.

Using A1-Z26 to convert to letters gives us our answer phrase, CALL IN HORSE LATITUDES.

3112129148151819512120920214519
CALLINHORSELATITUDES

Author's Notes

This puzzle is hard and I was worried that it wouldn't be hard enough. You'd think that the fact that it took me, the puzzle author, hours upon hours of work to solve these puzzles and prove their correctness would have been enough, but I didn't really realize how hard I had made it until I sent it to testsolvers (who showed that my proofs were wrong and the puzzles were, in fact, incorrect). Turns out that writing logic puzzles is hard: every single one of these minis as well as the extraction has had correctness errors.

I was motivated in this puzzle by a few things: I wanted to put a twist on a common logic puzzle, I wanted to make a 5/5 difficulty logic puzzle which revolved more around key insights and theorem proving than endless bifurcation, and I wanted it to not overstay its welcome.