Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

The Miracle Sudoku [video]

youtube.com

Post reply on HN
Print view View original

71–80 of 150 posts

Re: The Miracle Sudoku [video]

#71

Post by nickysielicki »

Here's a solver in python with z3: https://gist.github.com/sielicki/fd86d68733133f654128519b3c4...

(note, most of the code coming from here, I just slopped together the additional constraints, https://ericpony.github.io/z3py-tutorial/guide-examples.htm )

    $ time python3 game.py
    [[4, 8, 3, 7, 2, 6, 1, 5, 9],
     [7, 2, 6, 1, 5, 9, 4, 8, 3],
     [1, 5, 9, 4, 8, 3, 7, 2, 6],
     [8, 3, 7, 2, 6, 1, 5, 9, 4],
     [2, 6, 1, 5, 9, 4, 8, 3, 7],
     [5, 9, 4, 8, 3, 7, 2, 6, 1],
     [3, 7, 2, 6, 1, 5, 9, 4, 8],
     [6, 1, 5, 9, 4, 8, 3, 7, 2],
     [9, 4, 8, 3, 7, 2, 6, 1, 5]]
    python3 game.py  7.47s user 0.15s system 97% cpu 7.801 total

Re: The Miracle Sudoku [video]

#72

Post by ZeroGravitas »

matsemann wrote: post #59
aidos wrote: post #24

I almost didn’t watch that’s because who cares about someone solving a sudoku puzzle, but that was brilliant. That’s one happy solver; it was worth it just for the absolute joy he gets from it. Amazingly quick solving too. Good to watch him develop extra strategies during the process.

Yeah, I liked how he realized two possibilities for a number that were next to each other, also meant the box around it could be cleared. I really enjoy finding patterns like these in constraint games. After confirming the pattern for myself a number of times, the brain later just does it on autopilot. If people have tips for similar games I would be happy to try them. Edit, my tips: Simon Tatham's Puzzle Collection…

There's a book called "Puzzle Ninja: Pit Your Wits Against The Japanese Puzzle Masters" that covers these strategies for a bunch of similar games, as well as background info on the creators and examples of the puzzle try.

However, I've found that discovering these strategies myself is actually the bit I like most, so although I've bought the book, I try not to read about the strategies I haven't figured out by myself.

Re: The Miracle Sudoku [video]

#73

Post by panzerklein »

matsemann wrote: post #59
aidos wrote: post #24

I almost didn’t watch that’s because who cares about someone solving a sudoku puzzle, but that was brilliant. That’s one happy solver; it was worth it just for the absolute joy he gets from it. Amazingly quick solving too. Good to watch him develop extra strategies during the process.

Yeah, I liked how he realized two possibilities for a number that were next to each other, also meant the box around it could be cleared. I really enjoy finding patterns like these in constraint games. After confirming the pattern for myself a number of times, the brain later just does it on autopilot. If people have tips for similar games I would be happy to try them. Edit, my tips: Simon Tatham's Puzzle Collection…

Picross 3D is amazing. Should run without any problems on emulator.

Re: The Miracle Sudoku [video]

#74

Post by andrepd »

aidos wrote: post #24

I almost didn’t watch that’s because who cares about someone solving a sudoku puzzle, but that was brilliant. That’s one happy solver; it was worth it just for the absolute joy he gets from it. Amazingly quick solving too. Good to watch him develop extra strategies during the process.

Yeah all of his videos are great, in a wholesome kind of way.

Re: The Miracle Sudoku [video]

#75

Post by vesinisa »

zwegner wrote: post #26

In case anybody sees this comment before the video: I'd highly recommend trying to solve the puzzle yourself. After you see the rules stated in the video, click the link in the info. It took me a bit longer than this guy, but it was a very fun puzzle.

So to reiterate, this is not solvable by normal sudoku rules alone. Further rules and constraints are provided on the placement of the digits that happen to render it solvable.

Re: The Miracle Sudoku [video]

#76

Post by chris_st »

matsemann wrote: post #59
aidos wrote: post #24

I almost didn’t watch that’s because who cares about someone solving a sudoku puzzle, but that was brilliant. That’s one happy solver; it was worth it just for the absolute joy he gets from it. Amazingly quick solving too. Good to watch him develop extra strategies during the process.

Yeah, I liked how he realized two possibilities for a number that were next to each other, also meant the box around it could be cleared. I really enjoy finding patterns like these in constraint games. After confirming the pattern for myself a number of times, the brain later just does it on autopilot. If people have tips for similar games I would be happy to try them. Edit, my tips: Simon Tatham's Puzzle Collection…

I'll second Kaser's "Sherlock"... Had a lot of fun with that back when I had a windows box.

And YEAH, his art-style is funky indeed!

Re: The Miracle Sudoku [video]

#77

Post by glandium »

For some reason this video ended up in my Youtube recommendations last week, and I clicked on it because the thumbnail caught my attention. Didn't regret it, and I've watched a few others. Another that was pretty interesting in the development of techniques to approach it: https://youtu.be/Zk4qNEDXFSw

Edit: Ah no, the first I saw was actually https://youtu.be/hAyZ9K2EBF0 which has a diagonal rule, and a magic square in the middle.

Re: The Miracle Sudoku [video]

#78

Post by leetbulb »

aidos wrote: post #24

I almost didn’t watch that’s because who cares about someone solving a sudoku puzzle, but that was brilliant. That’s one happy solver; it was worth it just for the absolute joy he gets from it. Amazingly quick solving too. Good to watch him develop extra strategies during the process.

I discovered this channel with the four digit magic square[0]

When I first saw that video, I thought the same thing and just brushed it to the side. Later that day, SO and I were bored so I figured I'd toss it on the TV. Immediately she wanted to solve it with me before he started to explain his solution. Now we do these together every so often and compare strategies. Sudoku can be a good partner exercise, too :)

[0]: https://www.youtube.com/watch?v=hAyZ9K2EBF0

Re: The Miracle Sudoku [video]

#79

Post by gabrielsroka »

nickysielicki wrote: post #71

Here's a solver in python with z3: https://gist.github.com/sielicki/fd86d68733133f654128519b3c4... (note, most of the code coming from here, I just slopped together the additional constraints, https://ericpony.github.io/z3py-tutorial/guide-examples.htm ) $ time python3 game.py [[4, 8, 3, 7, 2, 6, 1, 5, 9], [7, 2, 6, 1, 5, 9, 4, 8, 3], [1, 5, 9, 4, 8, 3, 7, 2, 6], [8, 3, 7, 2, 6, 1, 5, 9, 4], [2, 6, 1, 5, 9, 4, 8, 3,…

Each row is a cycle [?] of 483 726 159. And even the cycles have a pattern: 665 665 66.

That is, you can rotate the first row by 6 to get the second row, then rotate again by 6, then by 5, etc.

The columns are almost as consistent, but not quite.

Post reply on HN