3 ms·
> Sudokus that can be solved with reasoning alone, [...] Is 'reasoning alone' actually well defined in the context of Sudoku? Sudoku's are finite, so I can so
by eru 1y ago
> Sudokus that can be solved with reasoning alone, [...]
Is 'reasoning alone' actually well defined in the context of Sudoku?
Sudoku's are finite, so I can solve all of them with just a lookup table in constant time..
- muragekibicho 1y agoI coded the paper Sinkhorn Solves Sudoku. Lol the most bizarre algorithms can solve sudoku. https://github.com/MurageKibicho/Sinkhorn-Solves-Sudoku https://github.com/MurageKibicho/Sinkhorn-Solves-Sudoku
- fjfaase 1y agoThe link https://leetarxiv.substack.com/sinkhorn-solves-sudoku https://leetarxiv.substack.com/sinkhorn-solves-sudoku reports 'Page not found'.
- muragekibicho 1y agoI've not yet published the writeup. Only the C code is available atm. I solo run a thing called LeetArxiv. It's a successor to Papers with Code since the latter shut down.