12
$\begingroup$

This question is aimed at people who have a really good grasp of standard Slitherlink puzzles.

This is a standard, square cell, 10x10 Slitherlink puzzle I designed. It isn't what I would call a "true" Slitherlink puzzle, though.

Just2Puzzle

A true Slitherlink puzzle has as its solution exactly one closed, non-intersecting "loop" that goes along the grid lines between the numbers, and satisfies the numbers in the cells: each number has the loop bordering its square on exactly that many sides. It may surprise you to find out that this puzzle can become a true Slitherlink puzzle by removing some of the "2"s from the board.

What is the least number of twos that need to be removed in order for this Slitherlink to have exactly one solution? Anybody could stumble upon the answer, so if you post an answer below, you must explain why it cannot be less than the number you found.

The above image was taken from this website which contains a powerful SAT solver for Slitherlink puzzles. I consider it fair to use such a solver for this question, but you still have to explain what is going on.

There are more questions I can ask on the topic of Slitherlink puzzles made just from twos, so if there is interest... there's more where this came from.

$\endgroup$
  • 1
    $\begingroup$ Welcome to Puzzling SE! Also, I don't think I've seen that many twos in one puzzle! XD $\endgroup$ – North Jan 31 at 15:34
10
$\begingroup$

The minimum number of twos that need to be removed is:

Three

Explanation:

In Slitherlink, there are two ways to have two edges on a square: two parallel lines or a single corner. Because of this, the optimal way to hit as many squares with two lines is to use a spiral:

11x10 example

Now, obviously the above example isn't going to work as it's 11x10, but it's a good visual for what's required of the spiral, namely two things:

1. The outside loop end will require a square with three sides, and
2. The inside loop end will require one square to have three sides, and another to have either one or three sides (one side would mean that the center loop will be bigger).

Because of the grid size being a square, the inner loop will need to have one square with only one side, as you can see from the failed example above.

As an aside, I would posit that any Slitherlink puzzle of this type with x rows and y columns would have a inner loop with two three-sided squares where x = y, and one of each of one-sided and three-sided squares if x = y + 1 or y = x + 1.

Here are two examples that will work with the constraints given:

Example 1
Example 2

As for the rules as to where the twos will be removed from:

There are two ways a two can be removed from the outside:

1. Remove from a corner
- In this case, move diagonally from that corner inwards to the fifth two, and remove it. Then, move diagonally one square towards either corner not opposite the beginning square, and remove the two there.
- This method produces eight possible answers, two for each corner.

2. Remove from a space adjacent to a corner (not diagonally).
- Move diagonally from the square you've removed a two from towards the center to the fourth two, and remove it. Then, move one diagonal space towards the closer non-opposite corner, and remove the two there.
- This method will produce eight answers as well, one for each space adjacent to the corner, with two of those spaces available for each.

$\endgroup$
  • 1
    $\begingroup$ Have you run across this before? I'm surprised how fast you got that, and knew exactly what was going on. I guess a bonus question for you (although you basically already know), can you give a set of rules for where those twos must be removed from? $\endgroup$ – Dark Thunder Jan 31 at 16:16
  • 1
    $\begingroup$ I actually never have! I have done Slitherlinks in the past, so a quick bit of logic from my memory gave me the idea of the optimal pattern. As for the rules, I've edited them to the bottom of the post. $\endgroup$ – Meerkat Jan 31 at 16:30
  • 1
    $\begingroup$ @DarkThunder Never underestimate the combined genious of PuzzlingSE followers! If you hang around a bit, you'll be astonished how fast some impossible looking puzzle get a good answer! If a question remains unanswered for long, it's most often a fault of the question: Either it's too boring or doesn't have a single, logical solution. Anyway: I thoroughly enjoyed your question and Meerkat's answer. So thanks and welcome! $\endgroup$ – BmyGuest Jan 31 at 18:40
2
$\begingroup$

Meerkat gave the answer but I just had some additional observations:

The removed twos follow some oddly specific rules. The first one, I think, is fairly obvious to anyone who solved the question. The second rule is stranger and I can't really claim to understand it.

The three removed twos each need to be inside their own "zone" as shown here. The puzzle with all twos wants to make concentric rings, so I think of it as disrupting different levels, thus allowing the lines to connect into a single loop.
zones
If you start by removing the two that is one of the four center cells(shown in the previous image in green), the remaining twos must be taken on the two diagonals(shown in yellow and purple below).
diagonals

Using those two rules it doesn't always get you a solution, but all solutions follow those rules, so far as I can tell. I assume there's a good reason, so that's another question anybody could feel free to tackle.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.