Arthur Whitney's one liner sudoku solver (2011)
dfns.dyalog.com
Arthur Whitney's one liner sudoku solver (2011)
1–10 of 210 posts
Re: Arthur Whitney's one liner sudoku solver (2011)
#2Sudoku was always a meditative thing for me. It’s impossible not to win so long as you pay attention. Optimizing solutions seems contrary to the point to me.
Re: Arthur Whitney's one liner sudoku solver (2011)
#3Sudoku was always a meditative thing for me. It’s impossible not to win so long as you pay attention. Optimizing solutions seems contrary to the point to me.
I guess I'm the opposite. After doing a couple of sudoku many years ago my thought was "Hey, I could just automate this" and started thinking of algorithms.
Re: Arthur Whitney's one liner sudoku solver (2011)
#4Sudoku was always a meditative thing for me. It’s impossible not to win so long as you pay attention. Optimizing solutions seems contrary to the point to me.
Solvers are useful for confirming that a puzzle you've recieved or generated is solvable. The meditative process can really go sideways when there is no solution for you to stumble upon.
Puzzles in commercial collections don't usually have that problem, but those from other sources sometimes do.
Solvers also make for a nice craft exercise, as here. Simple but not trivial, you can approach them in a lot of different ways and thereby work through different techniques or constraints you mean to explore.
Re: Arthur Whitney's one liner sudoku solver (2011)
#5There is a video about this.
https://www.youtube.com/watch?v=DmT80OseAGs
You can try the solution at https://tryapl.org/
Re: Arthur Whitney's one liner sudoku solver (2011)
#6Sudoku was always a meditative thing for me. It’s impossible not to win so long as you pay attention. Optimizing solutions seems contrary to the point to me.
Optimising solutions is the meditative exercise for me.
I enjoy running simulation after simulation after simulation, studying possible outcomes and optimising everything. Everyone is different :)
Re: Arthur Whitney's one liner sudoku solver (2011)
#7Here is the line, it is written in K. K is a language created by the same person (Arthur Whitney) based on APL and Scheme.
x(,/{@[x;y;]'(!10)^x*|/p[;y]=p,:,3/:-3!p:!9 9}')/&~*xRe: Arthur Whitney's one liner sudoku solver (2011)
#8Not knowing K, am I correct in assuming this is a backtracking brute force solver?
Re: Arthur Whitney's one liner sudoku solver (2011)
#9Sudoku was always a meditative thing for me. It’s impossible not to win so long as you pay attention. Optimizing solutions seems contrary to the point to me.
Meta: No need to DV a comment you don't like for no reason. Engage instead. Why not have a chat?
Re: Arthur Whitney's one liner sudoku solver (2011)
#10I’ve often wondered about languages like APL/k, are the programmers actually able to think about problems more efficiently?