Sudoku Brute Force Solver

9077b962-e880-46c9-b421-46f89e031ad4 70 4 5 false false 0 decimal

&[DATE] &[TIME] - &[FILENAME]

Π Sudoku M Π : ν 0 : U 0 : n 1 : no 1 : 15 mat λ 181 range M λ el 0 ≡ U ν ν 1 + : el λ : continue if for n ν ≤ r U n el 1 - 9 / trunc 1 + : c U n el 1 - 9 mod 1 + : 12 mat ro 3 r 1 - 3 / trunc * 1 + : co 3 c 1 - 3 / trunc * 1 + : 12 mat N no 9 range φ 0 : k 19 range M r k el N ≡ (M k c el N ≡ (| (M ro k 1 - 3 mod + co k 1 - 3 / trunc + el N ≡ (| φ 1 : break 21 line continue if for φ 0 ≡ M U n el el N : n n 1 + : no 1 : 13 mat break 21 line φ 1 ≡ (N 9 ≡ (& no 10 : no 9 > n 1 ≡ Can't solve the puzzle. error n n 1 - : no M U n el el 1 + : M U n el el 0 : 13 mat if while break 31 line continue if if 31 line for 31 line while M 41 line :

Notation: Π = Puzzle (9x9 matrix) U = Unsolved (column vector) ν = lenght(Unsolve) n = counter for ν N = sudoku 1-9 number r,c = row, col of M ro,co = rowStart, colStart φ = flag "Not avaible"

Examples

to 0 time :

00000009019047060805281940720004800000900050000075000990736418050608107408000000099 mat Sudoku 74863529119347265865281943726594871387912354631475682992736418553628197448159736299 mat

84000016000008000292010000000301008500040300075009040000000804950002001008900007699 mat Sudoku 84593216713678495292716583449321768526845379175189642361237854957462931838954127699 mat

87690000001000600004030580040000021009050000005004030602900000800469017308000100499 mat Sudoku #

lastError Can't solve the puzzle.

90000200608000705000700810000060071200005000012300400000480030003070002050040000199 mat Sudoku 95134287638619725424756813949568371276825194312397456861482539783971642557243968199 mat

00000000000000000000000000000000000000000000000000000000000000000000000000000000099 mat Sudoku 12345678945678912378912345621436589736589721489721436553164297864297853197853164299 mat

0 time to - 561.76 s *

Alvaro