Hidato

For fans of Killer Sudoku, Samurai Sudoku and other variants

Re: Hidato

Postby International_DBA » Sat Jun 06, 2020 8:23 am

International_DBA
 
Posts: 42
Joined: 07 December 2014

Re: Hidato

Postby denis_berthier » Sat Jun 06, 2020 11:02 am

International_DBA wrote:Here is a 6x6 puzzle:
https://andrewspuzzles.blogspot.com/202 ... -by-6.html

It's an easy one, solvable by whips[2]:

Hidden Text: Show
(solve Hidato geometric 6 36
. 17 . . 11 13
. . 16 . . .
. 36 . 31 . .
35 . . . 7 .
. . 1 2 . .
. . . . . . )
***********************************************************************************************
*** HidatoRules 2.1.s based on CSP-Rules 2.1.s, config = W+S
*** using CLIPS 6.32-r764
***********************************************************************************************
undecided numbers: (3 4 5 6 8 9 10 12 14 15 18 19 20 21 22 23 24 25 26 27 28 29 30 32 33 34)
singles: r2c5 = 14, r2c6 = 12
296 candidates, 4283 csp-links and 12095 links. Density = 27.7%
whip[1]: r6c1{n26 .} ==> r6c6 ≠ 26, r1c1 ≠ 24, r1c1 ≠ 25, r1c3 ≠ 24, r1c3 ≠ 25, r1c4 ≠ 24, r1c4 ≠ 25, r2c1 ≠ 25, r2c2 ≠ 25, r2c4 ≠ 25, r3c5 ≠ 25, r3c6 ≠ 24, r3c6 ≠ 25, r4c6 ≠ 24, r4c6 ≠ 25, r5c5 ≠ 25, r5c6 ≠ 24, r5c6 ≠ 25, r6c5 ≠ 25, r6c6 ≠ 24, r6c6 ≠ 25, r1c1 ≠ 26, r1c3 ≠ 26, r1c4 ≠ 26, r3c6 ≠ 26, r4c6 ≠ 26, r5c6 ≠ 26
whip[1]: n3{r6c5 .} ==> r3c6 ≠ 4
whip[1]: n6{r5c6 .} ==> r6c3 ≠ 5
whip[1]: n5{r6c6 .} ==> r6c2 ≠ 4
whip[1]: n30{r4c4 .} ==> r5c6 ≠ 29
whip[1]: n20{r4c4 .} ==> r5c6 ≠ 21
whip[1]: n10{r2c4 .} ==> r3c6 ≠ 9
hidden-pairs: {n10 n15}{r1c4 r2c4} ==> r2c4 ≠ 32, r2c4 ≠ 30, r2c4 ≠ 29, r2c4 ≠ 28, r2c4 ≠ 27, r2c4 ≠ 26, r2c4 ≠ 24, r2c4 ≠ 23, r2c4 ≠ 22, r2c4 ≠ 21, r2c4 ≠ 20, r2c4 ≠ 19, r2c4 ≠ 9, r2c4 ≠ 5, r1c4 ≠ 29, r1c4 ≠ 28, r1c4 ≠ 27, r1c4 ≠ 23, r1c4 ≠ 22, r1c4 ≠ 21, r1c4 ≠ 20, r1c4 ≠ 19
whip[1]: n19{r3c3 .} ==> r3c5 ≠ 20, r3c6 ≠ 21, r4c6 ≠ 21
whip[1]: n9{r3c5 .} ==> r1c4 ≠ 10, r3c5 ≠ 8
singles: r2c4 = 10, r1c4 = 15
whip[1]: n30{r4c4 .} ==> r1c3 ≠ 29
whip[2]: r6c1{n27 n22} - r1c1{n18 .} ==> r6c6 ≠ 27, r3c5 ≠ 26, r5c5 ≠ 26, r6c5 ≠ 26, r1c3 ≠ 27, r3c6 ≠ 27, r4c6 ≠ 27, r5c6 ≠ 27
whip[2]: n27{r6c5 r2c2} - n29{r3c5 .} ==> r1c3 ≠ 28
whip[1]: r1c3{n23 .} ==> r5c1 ≠ 21, r5c2 ≠ 21, r5c5 ≠ 21, r6c1 ≠ 22, r6c2 ≠ 22, r6c3 ≠ 22, r6c4 ≠ 22, r6c5 ≠ 22, r6c6 ≠ 22
whip[1]: r6c2{n28 .} ==> r1c1 ≠ 27, r2c1 ≠ 26, r2c2 ≠ 26
whip[1]: n21{r4c4 .} ==> r5c6 ≠ 22
whip[2]: r1c1{n23 n28} - r6c1{n24 .} ==> r3c5 ≠ 21, r3c6 ≠ 22, r4c6 ≠ 22
whip[2]: n22{r5c5 r2c2} - n20{r2c2 .} ==> r1c3 ≠ 21
whip[2]: n21{r4c4 r2c2} - n19{r2c2 .} ==> r1c3 ≠ 20
whip[2]: n20{r4c4 r2c2} - n18{r2c2 .} ==> r1c3 ≠ 19
whip[2]: r1c3{n23 n18} - r1c1{n19 .} ==> r6c1 ≠ 24, r6c2 ≠ 24, r6c3 ≠ 24, r6c4 ≠ 24, r6c5 ≠ 24
whip[2]: n22{r5c2 r5c5} - n24{r5c5 .} ==> r6c6 ≠ 23, r5c6 ≠ 23, r6c4 ≠ 23, r6c5 ≠ 23
whip[2]: n23{r6c3 r2c2} - n21{r2c2 .} ==> r1c3 ≠ 22
whip[2]: n22{r5c5 r2c2} - n24{r3c5 .} ==> r1c3 ≠ 23
S+W1 tte
20 17 18 15 11 13
21 19 16 10 14 12
22 36 32 31 9 8
35 23 33 30 7 6
24 34 1 2 29 5
25 26 27 28 3 4



For fun, just to test the z-chains in another context than Sudoku, I also solved it with z-chains[2], which makes it still easier.

Hidden Text: Show
undecided numbers: (3 4 5 6 8 9 10 12 14 15 18 19 20 21 22 23 24 25 26 27 28 29 30 32 33 34)
start solution 1.118887
entering BRT
singles: r2c5 = 14, r2c6 = 12
296 candidates, 4283 csp-links and 12095 links. Density = 27.7%
whip[1]: r6c1{n28 .} ==> r6c6 ≠ 26, r1c1 ≠ 24, r1c1 ≠ 25, r1c1 ≠ 26, r1c3 ≠ 24, r1c3 ≠ 25, r1c3 ≠ 26, r1c4 ≠ 24, r1c4 ≠ 25, r1c4 ≠ 26, r2c1 ≠ 25, r2c2 ≠ 25, r2c4 ≠ 25, r3c5 ≠ 25, r3c6 ≠ 24, r3c6 ≠ 25, r3c6 ≠ 26, r4c6 ≠ 24, r4c6 ≠ 25, r4c6 ≠ 26, r5c5 ≠ 25, r5c6 ≠ 24, r5c6 ≠ 25, r5c6 ≠ 26, r6c5 ≠ 25, r6c6 ≠ 24, r6c6 ≠ 25
whip[1]: n3{r6c5 .} ==> r3c6 ≠ 4
whip[1]: n6{r5c6 .} ==> r6c3 ≠ 5
whip[1]: n5{r5c6 .} ==> r6c2 ≠ 4
whip[1]: n30{r4c4 .} ==> r5c6 ≠ 29
whip[1]: n20{r4c4 .} ==> r5c6 ≠ 21
whip[1]: n10{r2c4 .} ==> r3c6 ≠ 9
hidden-pairs: {n10 n15}{r1c4 r2c4} ==> r2c4 ≠ 32, r2c4 ≠ 30, r2c4 ≠ 29, r2c4 ≠ 28, r2c4 ≠ 27, r2c4 ≠ 26, r2c4 ≠ 24, r2c4 ≠ 23, r2c4 ≠ 22, r2c4 ≠ 21, r2c4 ≠ 20, r2c4 ≠ 19, r2c4 ≠ 9, r2c4 ≠ 5, r1c4 ≠ 29, r1c4 ≠ 28, r1c4 ≠ 27, r1c4 ≠ 23, r1c4 ≠ 22, r1c4 ≠ 21, r1c4 ≠ 20, r1c4 ≠ 19
whip[1]: n19{r1c3 .} ==> r3c5 ≠ 20, r3c6 ≠ 21, r4c6 ≠ 21
whip[1]: n9{r3c5 .} ==> r3c5 ≠ 8, r1c4 ≠ 10
hidden-single: r2c4 = 10
hidden-single: r1c4 = 15
whip[1]: n30{r4c4 .} ==> r1c3 ≠ 29
z-chain[2]: n27{r6c6 r2c2} - n29{r2c2 .} ==> r1c3 ≠ 28
z-chain[2]: n28{r1c1 r2c2} - n26{r2c2 .} ==> r1c3 ≠ 27
whip[1]: r1c3{n23 .} ==> r5c1 ≠ 21, r5c2 ≠ 21, r5c5 ≠ 21, r6c1 ≠ 22, r6c2 ≠ 22, r6c3 ≠ 22, r6c4 ≠ 22, r6c5 ≠ 22, r6c6 ≠ 22
whip[1]: r6c2{n28 .} ==> r1c1 ≠ 27, r2c1 ≠ 26, r2c2 ≠ 26
whip[1]: r6c1{n28 .} ==> r3c5 ≠ 26, r3c6 ≠ 27, r4c6 ≠ 27, r5c5 ≠ 26, r5c6 ≠ 27, r6c5 ≠ 26, r6c6 ≠ 27
whip[1]: n21{r4c4 .} ==> r5c6 ≠ 22
z-chain[2]: n22{r5c5 r2c2} - n20{r2c2 .} ==> r1c3 ≠ 21
z-chain[2]: n21{r1c1 r2c2} - n23{r2c2 .} ==> r1c3 ≠ 22
z-chain[2]: n22{r1c1 r2c2} - n24{r2c2 .} ==> r1c3 ≠ 23
whip[1]: r1c3{n20 .} ==> r1c1 ≠ 19, r4c2 ≠ 20, r4c3 ≠ 20, r4c4 ≠ 20, r2c1 ≠ 19, r3c1 ≠ 19, r3c3 ≠ 19
whip[1]: n20{r3c3 .} ==> r3c5 ≠ 21, r3c6 ≠ 22, r4c6 ≠ 22
z-chain[2]: n22{r4c4 r3c5} - n24{r3c5 .} ==> r3c6 ≠ 23
z-chain[2]: n22{r4c3 r4c4} - n24{r4c4 .} ==> r3c5 ≠ 23
z-chain[2]: n21{r3c3 r2c2} - n19{r2c2 .} ==> r1c3 ≠ 20
whip[1]: r1c3{n19 .} ==> r1c1 ≠ 18, r2c1 ≠ 18
whip[1]: r1c1{n28 .} ==> r6c1 ≠ 24, r6c2 ≠ 24, r6c3 ≠ 24, r6c4 ≠ 24, r6c5 ≠ 24
hidden-pairs: {n18 n19}{r1c3 r2c2} ==> r2c2 ≠ 33, r2c2 ≠ 29, r2c2 ≠ 28, r2c2 ≠ 27, r2c2 ≠ 24, r2c2 ≠ 23, r2c2 ≠ 22, r2c2 ≠ 21, r2c2 ≠ 20
S+W1 tte
denis_berthier
2010 Supporter
 
Posts: 1540
Joined: 19 June 2007
Location: Paris

Re: Hidato

Postby watsies » Wed Jun 17, 2020 4:11 pm

Hi. I'm new to this forum but I came across this thread some weeks ago and the information here has inspired and helped me to develop an Hidato app for Android devices called Hidoku Challenge. Please check it out.

https://play.google.com/store/apps/deta ... u&hl=en_us

It's totally free to install and use and is ad-free. Please enjoy it.
watsies
 
Posts: 3
Joined: 05 June 2020

Re: Hidato

Postby watsies » Thu Jun 18, 2020 9:36 am

Correction! Google Play Hidoku Challenge link: https://play.google.com/store/apps/details?id=com.ajay.hidoku
watsies
 
Posts: 3
Joined: 05 June 2020

Re: Hidato

Postby denis_berthier » Fri Jun 19, 2020 2:10 am

HI watsies,
Welcome to this forum.
I don't have android and can't try your app.
Why don't you say more about it here, so that we don't think you registered only for advertising it?
denis_berthier
2010 Supporter
 
Posts: 1540
Joined: 19 June 2007
Location: Paris

Re: Hidato

Postby watsies » Fri Jun 19, 2020 11:15 am

You are correct! The purpose of my entry is to advertise it to yourselves but not for any financial gain, it's totally free and doesn't contain ads, but for Hidato lovers like yourselves to have another puzzle generator at your fingertips. I apologise if this is not in keeping with the thread.

My wife loves Hidato and buys the books so I thought I'd try to understand the puzzle itself so that I could attempt an Android app for her to use (we only have Samsung and Sony devices!). This forum, and particularly this thread helped me understand the process of puzzle creation and solving techniques needed to assist creation. I was more successful than I'd hoped and the app was good enough to upload to Google Play.

As described on Google Play I've generated 500 puzzles from 5x5 to 18x18 both square and rectangular with a variety of hole patterns to provide variation. None are too difficult but are challenging enough to make Hidato enjoyable for novices and, hopefully, experienced players too. Unlike other Hidato/Hidoku apps this doesn't have a number pad - I decided that (smart) number selection rather than entry made it easier to use.

It it proves popular I will generate further puzzles and maybe 'up' the challenge. Such is my enthusiasm for this genre I'm now working on Suguru Challenge! My wife loves this too and I have found the same techniques can be ported across to generating challenging Suguru puzzles - but that's another thread!
watsies
 
Posts: 3
Joined: 05 June 2020

Previous

Return to Sudoku variants