Next in the series of slightly deficient Masyu. Enjoy, nonetheless.

# Monthly Archives: February 2014

# Puzzle 10: Araf

This was meant to be an easy Araf puzzle.

**Rules** Split the grid into orthogonally connected areas, such that each area contains exactly two clue cells, and such that the size of each area lies strictly between the values of the two clues that it contains.

# Puzzle 9: Domino Extra

**Rules** Find the whole set of dominos with numbers 1 to 6 by dividing the grid into orthogonally connected areas with two digits each.

This variation on the standard Domino puzzle featured on the Dutch round of last year’s WPC, there’s some more on Bram’s blog.

There should be two quite different ways to get started on this one.

# An excursion into logic programming: Solving a word puzzle with Mercury

I recently had the need to check a couple of puzzles that were geared towards intuitive solving, and consequently tricky to prove correct by hand. Luckily enough, Nikolai Beluhov posted an excellent Curve Data solver at just the right moment, allowing me to fix one broken puzzle. For the other, I took the chance to finally play around with logic programming. Prolog is likely the best-known language from this domain, but I went with Mercury, which is quite close to Prolog, but adds a couple of nice things like a static type system.

The project was quite successful: It solved the problem and was a lot of fun. Unfortunately, the solver turned out a little too complex to fit into a blog post, largely due to the complexity of the puzzle type. Thus, I decided to break it down to a way simpler (simplistic, even) puzzle, with the option of presenting the full solver in a second post.

Here’s the puzzle: Write the word “PUZZLE” in the grid by placing letters in some empty cells. The word may read in any of the eight horizontal, vertical or diagonal directions.

Below, we’ll develop the solver step by step.

Continue reading

# Puzzle 8: Sudoku

This weekend, it’s the Serbian leg of the Sudoku Grand Prix. To go with that, here’s an easy and non-spectacular classic Sudoku. So far, they all turn out easy…

# Puzzle 7: Magic Labyrinth

Here’s a small Magic Labyrinth. Can you tell where the 4 doesn’t go?

# Puzzle 6: LITS+

Here’s an older and easier LITS+ puzzle.

# Puzzle 5: Masyu

# Drawing puzzles with TikZ

There seems to be a lack of information out there when it comes to rendering puzzles. The most obvious approach is probably to use a vector graphics program such as Inkscape, but people also use spreadsheet software or write Postscript directly. I’ve recently started using the Haskell Diagrams framework (more on that in a future post), but for today, I want to share how to render pretty puzzles using TikZ via LaTeX.

Continue reading

# Puzzle 4: Geradeweg

Here’s a Geradeweg. It might have gone in last weekend’s Puzzle GP round, but the focus there was on more familiar types. There’s a couple more of these on the Rätselportal.