def WriteToCurrent(self):
global UserPromptCount
global PromptStatus
curGrid = ResetGame()
if (UserPromptCount < 1 or UserPromptCount > 3):
return 0
################################
solvedCurGrid = CopyGrid(curGrid)
#################################
LineEditNumber = int(self.objectName()[9:])
solveSudoku(solvedCurGrid)
curGrid[int((LineEditNumber - 1) / 9)][int(
(LineEditNumber - 1) % 9)] = solvedCurGrid[int(
(LineEditNumber - 1) / 9)][int((LineEditNumber - 1) % 9)]
UserPromptCount -= 1
self.setText(
str(curGrid[int((LineEditNumber - 1) / 9)][int(
(LineEditNumber - 1) % 9)]))
self.setDisabled(True)
self.setStyleSheet(
"background-color:#9b9b9b;color:white;font-family:Arial;font-size:15px;font-weight:bold;padding-left:7%;"
)
try:
with open('CurrentGame.data', 'wb') as tempFile:
for row in range(9):
for col in range(9):
tempFile.write(bytes((curGrid[row][col], )))
tempFile.write(bytes((UserPromptCount, )))
except:
return UserPromptCount
return UserPromptCount
def check_solver(self):
# easy Sudokus (no backtracking required). From New York Times, 31 May 2020 - 2 June 2020
puzzles = [
'280070309600104007745080006064830100102009800000201930006050701508090020070402050',
'910780200027001894684000300000846001740059080009000050106093008000500706002070130'
]
solutions = [
'281576349693124587745983216964835172132749865857261934426358791518697423379412658',
'913784265527361894684925317235846971741259683869137452176493528398512746452678139'
]
for puzzle, solution in zip(puzzles, solutions):
puzzle, solution = list(map(parse, [puzzle, solution]))
my_solution, done, _ = solveSudoku(puzzle, verbose=False)
self.assertTrue(done)
self.assertTrue(grid_equal(solution, my_solution))
# medium to hard Sudoku (some backtracking). From New York Times, 31 May 2020 - 2 June 2020
puzzles = [
'100020400035040900704000001800000000091032080000100097070900600000000000000450000',
'000832067000600200800700010010020000509004700000008000007000940000005000402000500',
'000010030009005008804006025000000600008004000120087000300900200065008000900000000'
]
solutions = [
'189327465235641978764895321827569143491732586653184297372918654546273819918456732',
'195832467743651298826749315318927654569314782274568139657283941931475826482196573',
'752819436639245718814736925473592681598164372126387549387951264265478193941623857'
]
for puzzle, solution in zip(puzzles, solutions):
puzzle, solution = list(map(parse, [puzzle, solution]))
my_solution, done, _ = solveSudoku(puzzle, verbose=False)
self.assertTrue(done)
self.assertTrue(grid_equal(solution, my_solution))
def ShowErrors(ValidGrid, OriginalGrid, self, C=1):
if (Colision(ValidGrid) == 0):
C = 0
return
for row in range(9):
for col in range(9):
if (C):
if (ValidGrid[row][col] != OriginalGrid[row][col]):
tmpGrid = CopyGrid(OriginalGrid)
tmpGrid[row][col] = ValidGrid[row][col]
#Grid= solveSudoku(tmpGrid)
if (Colision(tmpGrid)):
exec(
"self.lineEdit_" + str((((row % 9) * 9 +
(col % 9)) + 1)) +
".setStyleSheet(\"background-color:red;color:black;font-family:Arial; font-size:15px;font-weight:bold;padding-left:7%;\")"
)
# tmpGrid[row][col]=0
ValidGrid[row][col] = 0
else:
if (solveSudoku(tmpGrid)):
tmpGrid = CopyGrid(OriginalGrid)
tmpGrid[row][col] = ValidGrid[row][col]
exec(
"self.lineEdit_" + str((((row % 9) * 9 +
(col % 9)) + 1)) +
".setStyleSheet(\"background-color:white;color:black;font-family:Arial; font-size:15px;font-weight:bold;padding-left:7%;\")"
)
ShowErrors(ValidGrid, tmpGrid, self)
else:
break
def solveIt(puzzle):
try:
grid = str2grid(puzzle)
solution_set, done, info = solveSudoku(grid,
verbose=False,
all_solutions=False)
if not done:
return ""
# print(solution_set[0])
return (solution_set[0])
except IndexError:
return ""
def solve_X_sudoku(self):
puzzles = [
('060050200000000060532008000000049103000100050000000007005010008004000006000006500',
'968751234741392865532468719257649183493187652186235497675914328814523976329876541'
),
('030040200520006700000000000080020170000070000050000003400000032000600000000080691',
'638547219521936748749218365984325176362179584157864923496751832813692457275483691'
)
]
for puzzle, solution in puzzles:
puzzle, solution = str2grid(puzzle), str2grid(solution)
solution_set, done, info = solveSudoku(puzzle,
verbose=False,
all_solutions=False,
is_X_Sudoku=True)
self.assertTrue(done)
solver_sol = str2grid(solution_set[0])
self.assertTrue(grid_equal(solution, solver_sol))
def check_solved_puzzles(self):
# these puzzles were sovled with the solver. This is to check solutions still hold.
puzzles = [
# from https://dev.to/aspittel/how-i-finally-wrote-a-sudoku-solver-177g
(
# very easy puzzle
'530070000600195000098000060800060003400803001700020006060000280000419005000080079',
'534678912672195348198342567859761423426853791713924856961537284287419635345286179'
),
# https://www.nytimes.com/puzzles/sudoku/
('106000050070030004090005200002060007000108000047020000000000803003200006000000002',
'186742359275839164394615278812564937639178425547923681721456893953281746468397512'
),
# Arto Inkala Puzzles from https://norvig.com/sudoku.html
(
# not that hard actually
'85...24..72......9..4.........1.7..23.5...9...4...........8..7..17..........36.4.',
'859612437723854169164379528986147352375268914241593786432981675617425893598736241'
),
(
# have to make at least 3 guesses
'..53.....8......2..7..1.5..4....53...1..7...6..32...8..6.5....9..4....3......97..',
'145327698839654127672918543496185372218473956753296481367542819984761235521839764'
),
(
# have to make at least 3 guesses
'800000000003600000070090200050007000000045700000100030001000068008500010090000400',
'812753649943682175675491283154237896369845721287169534521974368438526917796318452'
),
# 17 clue puzzle from https://theconversation.com/good-at-sudoku-heres-some-youll-never-complete-5234
(
# 1 unique solution. Very fun to do
'000700000100000000000430200000000006000509000000000418000081000002000050040000300',
'264715839137892645598436271423178596816549723759623418375281964982364157641957382'
),
# 17 clue puzzle from https://cracking-the-cryptic.web.app/sudoku/PMhgbbQRRb
('029000400000500100040000000000042000600000070500000000700300005010090000000000060',
'329816457867534192145279638931742586684153279572968314796321845418695723253487961'
),
# https://www.sudokuwiki.org/Weekly_Sudoku.asp
( # May 24 2020 Extreme -> requires multiple diabolical+extreme strategies
'003100720700000500050240030000720000006000800000014000060095080005000009049002600',
'693158724724963518851247936538726491416539872972814365267495183385671249149382657'
),
(
#403 'unsolvable' - no known logical solution
'100200000065074800070006900004000000050008704000030000000000600080000057006007089',
'138259476965374821472186935824761593653928714791435268517893642389642157246517389'
),
(
#404 'unsolvable' - no known logical solution
'400009200000010080005400006004200001050030060700005300500007600090060000002800007',
'468579213279613485135428796384296571951734862726185349513947628897362154642851937'
),
(
# June 7 2020 Extreme
'080001206000020000020305040060010900002050400008000010030704050000030000406100080',
'785941236143628795629375841564213978912857463378469512231784659897536124456192387'
)
]
for puzzle, solution in puzzles:
puzzle, solution = str2grid(puzzle), str2grid(solution)
solution_set, done, _ = solveSudoku(puzzle,
verbose=False,
all_solutions=False)
self.assertTrue(done)
solver_sol = str2grid(solution_set[0])
self.assertTrue(grid_equal(solution, solver_sol))
puzzles = f.read().strip().split('\n')
verbose = False
all_solutions = False
t0 = time.time()
metrics = {'times': [], 'calls': [], 'max depths': [], 'nsolutions': []}
num_solved = 0
for k, puzzle in enumerate(puzzles):
# if k != 86:
# continue
tk0 = time.time()
## solve
puzzle = str2grid(puzzle)
my_solution, done, info = solveSudoku(puzzle,
verbose=verbose,
all_solutions=all_solutions)
# my_solution, done, info = solveSudokuBrute(puzzle)
deltaTk = time.time() - tk0
## update metrics
num_solved += done
metrics['times'].append(deltaTk)
metrics['calls'].append(info['calls'])
metrics['max depths'].append(info['max depth'])
metrics['nsolutions'].append(info['nsolutions'])
deltaT = time.time() - t0
pm = '\u00b1' #plus or minus symbol
print(' ')
print("%d/%d puzzles solved in %.5fs" % (num_solved, len(puzzles), deltaT))
def GenPdf(UserSudoku):
if (not os.path.exists("pdf")):
os.makedirs("pdf")
countOfPDFFiles = 1
for file in os.listdir("pdf"):
if (file.endswith(".pdf") and file[:11] == "SudokuGame_"):
countOfPDFFiles += 1
FileName = "pdf/SudokuGame_" + str(countOfPDFFiles) + ".pdf"
print(FileName)
tmpGrid = CopyGrid(UserSudoku)
SudokuSolved = solveSudoku(tmpGrid)
if (SudokuSolved == False or SudokuSolved == True):
print("Something go wrong with current game file:(\nTry again")
return
try:
Game = canvas.Canvas(FileName, pagesize=letter)
Game.drawString(210, 750, 'Plansza Sudoku - Bartek Zoltowski')
Game.setLineWidth(2.5)
Game.line(165, 725, 435, 725)
Game.setLineWidth(1)
Game.line(165, 695, 435, 695)
Game.line(165, 665, 435, 665)
Game.setLineWidth(2.5)
Game.line(165, 635, 435, 635)
Game.setLineWidth(1)
Game.line(165, 605, 435, 605)
Game.line(165, 575, 435, 575)
Game.setLineWidth(2.5)
Game.line(165, 545, 435, 545)
Game.setLineWidth(1)
Game.line(165, 515, 435, 515)
Game.line(165, 485, 435, 485)
Game.setLineWidth(2.5)
Game.line(165, 455, 435, 455)
Game.line(165, 725, 165, 455)
Game.setLineWidth(1)
Game.line(195, 725, 195, 455)
Game.line(225, 725, 225, 455)
Game.setLineWidth(2.5)
Game.line(255, 725, 255, 455)
Game.setLineWidth(1)
Game.line(285, 725, 285, 455)
Game.line(315, 725, 315, 455)
Game.setLineWidth(2.5)
Game.line(345, 725, 345, 455)
Game.setLineWidth(1)
Game.line(375, 725, 375, 455)
Game.line(405, 725, 405, 455)
Game.setLineWidth(2.5)
Game.line(435, 725, 435, 455)
Game.drawString(265, 400, 'Rozwiazanie')
Game.setLineWidth(2.5)
Game.line(165, 375, 435, 375)
Game.setLineWidth(1)
Game.line(165, 345, 435, 345)
Game.line(165, 315, 435, 315)
Game.setLineWidth(2.5)
Game.line(165, 285, 435, 285)
Game.setLineWidth(1)
Game.line(165, 255, 435, 255)
Game.line(165, 225, 435, 225)
Game.setLineWidth(2.5)
Game.line(165, 195, 435, 195)
Game.setLineWidth(1)
Game.line(165, 165, 435, 165)
Game.line(165, 135, 435, 135)
Game.setLineWidth(2.5)
Game.line(165, 105, 435, 105)
Game.line(165, 375, 165, 105)
Game.setLineWidth(1)
Game.line(195, 375, 195, 105)
Game.line(225, 375, 225, 105)
Game.setLineWidth(2.5)
Game.line(255, 375, 255, 105)
Game.setLineWidth(1)
Game.line(285, 375, 285, 105)
Game.line(315, 375, 315, 105)
Game.setLineWidth(2.5)
Game.line(345, 375, 345, 105)
Game.setLineWidth(1)
Game.line(375, 375, 375, 105)
Game.line(405, 375, 405, 105)
Game.setLineWidth(2.5)
Game.line(435, 375, 435, 105)
Sudoku_y = 705
SudokuSolved_y = 355
for i in range(9):
Sudoku_x = 177
SudokuSolved_x = 177
for j in range(9):
if (UserSudoku[i][j] != 0):
Game.drawString(Sudoku_x, Sudoku_y, str(UserSudoku[i][j]))
Game.drawString(SudokuSolved_x, SudokuSolved_y,
str(SudokuSolved[i][j]))
Sudoku_x += 30
SudokuSolved_x += 30
Sudoku_y -= 30
SudokuSolved_y -= 30
Game.save()
except:
print("Something go wrong :(\nTry again")
return
try:
subprocess.Popen(["xdg-open", FileName])
except:
return