The New Sudoku Players' Forum

[100beep]

This one takes 3.5 last time I timed it. And it isn't even a full solution. https://imgur.com/a/9AA9k5J

[creint]

Can you post the solution and a pastable format like the full link/compressed link of https://www.f-puzzles.com/.
For now I only get multiple solutions which could mean I made an error.

This is what I tried but that one gives me multiple solutions.
https://f-puzzles.com/?id=2ncs93tm

For now it looks like SAT is fast at solving these.

[100beep]

I said that it wasn't a full solution - at this point, there are multiple solutions. What you used was correct. Sorry if that wasn't clear.

[sigh]

I got 16x16 working. It can disprove uniqueness of your example in a few hundred milliseconds.

Most of the effort was making sure the solver was actually correct, rather than any optimizations. That and updating the display to work with both sizes.

The 16x16 grid is a bit too big for the page at the moment though - I'll play around with that when I get the chance. Zooming out in your browser can help.

[100beep]

Thanks!

[Mathimagics]

.
I just retested my CHK list ("computationally hard killer sudoku's") with the current version of ISS.

Most are solved with fewer guesses than before (Nov 2021), but there are some exceptions (marked *), one being fairly dramatic!

Code: Select all

R<<<M<<<U^M<<<^J>^R<<^S<^R^^P>>^>^^^^^<R5^>^MP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:  535830   392087
R<<<M<<<U^M<<<^J>^R<<^S<^R^^O>>^>^^^^^<R6^>^MP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:  572004   444385
S<<<K<<<U^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:  586399   622862 *
R<<<M<<<U^M<<<^J>^R<<^S<^Q^^P>>^>^^^^^<R5^>^NP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:  592160   868423 *
R<<<M<<<U^M<<<^J>^R<<^S<^S^^P>>^>^^^^^<R5^>^LP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:  660175   369145
S<<<K<<<U^N<<<^L>^P<<^U<^O^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:  680734   521826
S<<<K<<<V^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<O^>>^<>>>^:  721098   418527
S<<<K<<<U^N<<<^K>^P<<^U<^O^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^P>^<<P^>>^<>>>^:  726469   596503
S<<<K<<<U^O<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^U<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:  767364   624098
M<<<R<<<N^N<<<^Q>^N<<^O<^S^^L>>^>^^^^^<T6^>^NR^>^R<<^^^^^>^U>>^^<^N>^<<N^>>^<>>>^:  770285  2596655 **
S<<<K<<<U^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NK^>^V<<^^^^^>^O>>^^<^O>^<<P^>>^<>>>^:  857412   518016
R<<<P<<<S^L<<<^V>^P<<^K<^M^^Q>>^>^^^^^<R7^>^ML^>^L<<^^^^^>^Q>>^^<^U>^<<Q^>>^<>>>^:  916001   240940
M<<<R<<<N^O<<<^Q>^N<<^O<^S^^L>>^>^^^^^<T6^>^NR^>^Q<<^^^^^>^U>>^^<^N>^<<N^>>^<>>>^: 1045880   814682
M<<<T<<<O^O<<<^R>^N<<^N<^N^^N>>^>^^^^^<U7^>^OO^>^M<<^^^^^>^U>>^^<^R>^<<N^>>^<>>>^: 1556843   334415


[gulshan212]

Hello this is Gulshan Negi
Well, there are lots of Fast and Efficient web-based solvers for sudoku variants but I will recommend you to go with the Sudoku solver and Sudoku kingdom. Both solvers can solve puzzles of various sizes and difficulty levels but It's recommended to try out a few different options to see which one works best for your needs.
I hope you are clear now.
Thanks

[Sudokusolver]

I really love it, I have created one too, and it solving all sudoku puzzle.
If you need to check it then here it is https://sodokusolver.com/
I'm working also to make it for people to play sudoku.

[sigh]

I recently did some more work on this solver, and it has been updated to handle many new constraints, including arbitrary unary- and binary-constraints. Other new constraints include Skyscrapers, X-sums and Global Entropy.

It is also generally faster across the board. For example, the set of puzzles posted above has gone from taking 9.4M guesses to solve down to 2.6M guesses, and using less than half the runtime (~1 min on my computer). Last column has the latest guess count:

Code: Select all

R<<<M<<<U^M<<<^J>^R<<^S<^R^^P>>^>^^^^^<R5^>^MP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:   535830   392087   93192
R<<<M<<<U^M<<<^J>^R<<^S<^R^^O>>^>^^^^^<R6^>^MP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:   572004   444385   99079
S<<<K<<<U^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:   586399   622862   281469
R<<<M<<<U^M<<<^J>^R<<^S<^Q^^P>>^>^^^^^<R5^>^NP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:   592160   868423   192688
R<<<M<<<U^M<<<^J>^R<<^S<^S^^P>>^>^^^^^<R5^>^LP^>^V<<^^^^^>^L>>^^<^K>^<<R^>>^<>>>^:   660175   369145   82333
S<<<K<<<U^N<<<^L>^P<<^U<^O^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:   680734   521826   146447
S<<<K<<<V^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^O>^<<O^>>^<>>>^:   721098   418527   132772
S<<<K<<<U^N<<<^K>^P<<^U<^O^^O>>^>^^^^^<Q7^>^NL^>^V<<^^^^^>^N>>^^<^P>^<<P^>>^<>>>^:   726469   596503   125746
S<<<K<<<U^O<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NL^>^U<<^^^^^>^N>>^^<^O>^<<P^>>^<>>>^:   767364   624098   304736
M<<<R<<<N^N<<<^Q>^N<<^O<^S^^L>>^>^^^^^<T6^>^NR^>^R<<^^^^^>^U>>^^<^N>^<<N^>>^<>>>^:   770285   2596655   256435
S<<<K<<<U^N<<<^K>^P<<^U<^P^^O>>^>^^^^^<Q7^>^NK^>^V<<^^^^^>^O>>^^<^O>^<<P^>>^<>>>^:   857412   518016   209667
R<<<P<<<S^L<<<^V>^P<<^K<^M^^Q>>^>^^^^^<R7^>^ML^>^L<<^^^^^>^Q>>^^<^U>^<<Q^>>^<>>>^:   916001   240940   92782
M<<<R<<<N^O<<<^Q>^N<<^O<^S^^L>>^>^^^^^<T6^>^NR^>^Q<<^^^^^>^U>>^^<^N>^<<N^>>^<>>>^:   1045880   814682   259328
M<<<T<<<O^O<<<^R>^N<<^N<^N^^N>>^>^^^^^<U7^>^OO^>^M<<^^^^^>^U>>^^<^R>^<<N^>>^<>>>^:   1556843   334415   280427


It is still available at https://sigh.github.io/Interactive-Sudoku-Solver/

[sigh]

Since the last post, Interactive Sudoku Solver now handles all grid sizes from 1x1 to 16x16. In addition, many new constraints have been added:

• Double Arrow
• Pill Arrow
• Modular Line
• Entropic Line
• Ten-Line (generalised to any sum)
• Lockout Line
• Lunchbox
• Zipper Line
• Counting Circles
• Indexing (column and row)
• All Different (This was possible before indirectly, but now it is explicit)
• Contain (cells constrained to specific values)
• Full Rank
• Numbered Room
• First Hidden Skyscraper
• Anti-Taxicab

Along with the exisiting constraints, this covers many of the commonly used sudoku constraints. There have also been minor performance improvements as well as updates and bug fixes for the UI.