#\u8bf4\u660e\u65b0\u5efasudoku\u6587\u4ef6\u5939\u4e0b\u9762\u7531\u4e24\u4e2a\u6a21\u5757\u7ec4\u6210\u5206\u522b\u4e3a\u4e3b\u7a0b\u5e8fgui.py\u548c\u89e3\u51b3\u6a21\u5757solve.py \u6e38\u620f\u8fd0\u884c\u4e3b\u7a0b\u5e8fgui.py<\/p>\n
#\u6e38\u620f\u73a9\u6cd5\u518d\u751f\u6210\u7684\u5df2\u77e5\u4ee3\u7801\u4e2d\u7684\u6570\u7ec4 9x9\u7684\u9898\u76ee \u751f\u6210\u5df2\u77e5\u6e38\u620f\uff0c\u7136\u540e\u518d\u56fe\u5f62\u754c\u9762\u4e2d\u8f93\u5165\u8f93\u5165\u4f7f\u7528\u56de\u8f66\u8fdb\u884c\u786e\u8ba4<\/p>\n
# GUI.py
\n# RUN THIS FILE
\nimport pygame
\nfrom solver import solve, valid
\nimport time
\npygame.font.init()<\/p>\n
class Grid:
\n# To change the starting board change this
\nboard = [
\n[0, 0, 0, 0, 2, 4, 0, 0, 3],
\n[3, 0, 0, 5, 0, 0, 0, 2, 0],
\n[0, 0, 4, 0, 0, 0, 1, 6, 0],
\n[0, 7, 6, 1, 0, 0, 0, 0, 0],
\n[0, 0, 0, 0, 6, 2, 8, 0, 0],
\n[0, 1, 0, 8, 0, 0, 6, 0, 7],
\n[0, 3, 0, 4, 0, 0, 5, 0, 8],
\n[0, 0, 7, 2, 0, 5, 0, 0, 0],
\n[0, 5, 0, 9, 8, 7, 0, 4, 2]
\n]<\/p>\n
def __init__(self, rows, cols, width, height):
\nself.rows = rows
\nself.cols = cols
\nself.cubes = [[Cube(self.board[i][j], i, j, width, height) for j in range(cols)] for i in range(rows)]
\nself.width = width
\nself.height = height
\nself.model = None
\nself.selected = None<\/p>\n
def update_model(self):
\nself.model = [[self.cubes[i][j].value for j in range(self.cols)] for i in range(self.rows)]<\/p>\n
def place(self, val):
\nrow, col = self.selected
\nif self.cubes[row][col].value == 0:
\nself.cubes[row][col].set(val)
\nself.update_model()<\/p>\n
if valid(self.model, val, (row,col)) and solve(self.model):
\nreturn True
\nelse:
\nself.cubes[row][col].set(0)
\nself.cubes[row][col].set_temp(0)
\nself.update_model()
\nreturn False<\/p>\n
def sketch(self, val):
\nrow, col = self.selected
\nself.cubes[row][col].set_temp(val)<\/p>\n
def draw(self, win):
\n# Draw Grid Lines
\ngap = self.width \/ 9
\nfor i in range(self.rows+1):
\nif i % 3 == 0 and i != 0:
\nthick = 4
\nelse:
\nthick = 1
\npygame.draw.line(win, (0,0,0), (0, i*gap), (self.width, i*gap), thick)
\npygame.draw.line(win, (0, 0, 0), (i * gap, 0), (i * gap, self.height), thick)<\/p>\n
# Draw Cubes
\nfor i in range(self.rows):
\nfor j in range(self.cols):
\nself.cubes[i][j].draw(win)<\/p>\n
def select(self, row, col):
\n# Reset all other
\nfor i in range(self.rows):
\nfor j in range(self.cols):
\nself.cubes[i][j].selected = False<\/p>\n
self.cubes[row][col].selected = True
\nself.selected = (row, col)<\/p>\n
def clear(self):
\nrow, col = self.selected
\nif self.cubes[row][col].value == 0:
\nself.cubes[row][col].set_temp(0)<\/p>\n
def click(self, pos):
\n\"\"\"
\n:param: pos
\n:return: (row, col)
\n\"\"\"
\nif pos[0] < self.width and pos[1] < self.height:
\ngap = self.width \/ 9
\nx = pos[0] \/\/ gap
\ny = pos[1] \/\/ gap
\nreturn (int(y),int(x))
\nelse:
\nreturn None<\/p>\n
def is_finished(self):
\nfor i in range(self.rows):
\nfor j in range(self.cols):
\nif self.cubes[i][j].value == 0:
\nreturn False
\nreturn True<\/p>\n
class Cube:
\nrows = 9
\ncols = 9<\/p>\n
def __init__(self, value, row, col, width ,height):
\nself.value = value
\nself.temp = 0
\nself.row = row
\nself.col = col
\nself.width = width
\nself.height = height
\nself.selected = False<\/p>\n
def draw(self, win):
\nfnt = pygame.font.SysFont(\"comicsans\", 40)<\/p>\n
gap = self.width \/ 9
\nx = self.col * gap
\ny = self.row * gap<\/p>\n
if self.temp != 0 and self.value == 0:
\ntext = fnt.render(str(self.temp), 1, (128,128,128))
\nwin.blit(text, (x+5, y+5))
\nelif not(self.value == 0):
\ntext = fnt.render(str(self.value), 1, (0, 0, 0))
\nwin.blit(text, (x + (gap\/2 - text.get_width()\/2), y + (gap\/2 - text.get_height()\/2)))<\/p>\n
if self.selected:
\npygame.draw.rect(win, (255,0,0), (x,y, gap ,gap), 3)<\/p>\n
def set(self, val):
\nself.value = val<\/p>\n
def set_temp(self, val):
\nself.temp = val<\/p>\n
def redraw_window(win, board, time, strikes):
\nwin.fill((255,255,255))
\n# Draw time
\nfnt = pygame.font.SysFont(\"comicsans\", 40)
\ntext = fnt.render(\"Time: \" + format_time(time), 1, (0,0,0))
\nwin.blit(text, (540 - 160, 560))
\n# Draw Strikes
\ntext = fnt.render(\"X \" * strikes, 1, (255, 0, 0))
\nwin.blit(text, (20, 560))
\n# Draw grid and board
\nboard.draw(win)<\/p>\n
def format_time(secs):
\nsec = secs%60
\nminute = secs\/\/60
\nhour = minute\/\/60<\/p>\n
mat = \" \" + str(minute) + \":\" + str(sec)
\nreturn mat<\/p>\n
def main():
\nwin = pygame.display.set_mode((540,600))
\npygame.display.set_caption(\"Sudoku\")
\nboard = Grid(9, 9, 540, 540)
\nkey = None
\nrun = True
\nstart = time.time()
\nstrikes = 0
\nwhile run:<\/p>\n
play_time = round(time.time() - start)<\/p>\n
for event in pygame.event.get():
\nif event.type == pygame.QUIT:
\nrun = False
\nif event.type == pygame.KEYDOWN:
\nif event.key == pygame.K_1:
\nkey = 1
\nif event.key == pygame.K_2:
\nkey = 2
\nif event.key == pygame.K_3:
\nkey = 3
\nif event.key == pygame.K_4:
\nkey = 4
\nif event.key == pygame.K_5:
\nkey = 5
\nif event.key == pygame.K_6:
\nkey = 6
\nif event.key == pygame.K_7:
\nkey = 7
\nif event.key == pygame.K_8:
\nkey = 8
\nif event.key == pygame.K_9:
\nkey = 9
\nif event.key == pygame.K_DELETE:
\nboard.clear()
\nkey = None
\nif event.key == pygame.K_RETURN:
\ni, j = board.selected
\nif board.cubes[i][j].temp != 0:
\nif board.place(board.cubes[i][j].temp):
\nprint(\"Success\")
\nelse:
\nprint(\"Wrong\")
\nstrikes += 1
\nkey = None<\/p>\n
if board.is_finished():
\nprint(\"Game over\")
\nrun = False<\/p>\n
if event.type == pygame.MOUSEBUTTONDOWN:
\npos = pygame.mouse.get_pos()
\nclicked = board.click(pos)
\nif clicked:
\nboard.select(clicked[0], clicked[1])
\nkey = None<\/p>\n
if board.selected and key != None:
\nboard.sketch(key)<\/p>\n
redraw_window(win, board, play_time, strikes)
\npygame.display.update()<\/p>\n
main()
\npygame.quit()<\/p>\n
<\/p>\n
# solver.py<\/p>\n
def solve(bo):
\nfind = find_empty(bo)
\nif not find:
\nreturn True
\nelse:
\nrow, col = find<\/p>\n
for i in range(1,10):
\nif valid(bo, i, (row, col)):
\nbo[row][col] = i<\/p>\n
if solve(bo):
\nreturn True<\/p>\n
bo[row][col] = 0<\/p>\n
return False<\/p>\n
def valid(bo, num, pos):
\n# Check row
\nfor i in range(len(bo[0])):
\nif bo[pos[0]][i] == num and pos[1] != i:
\nreturn False<\/p>\n
# Check column
\nfor i in range(len(bo)):
\nif bo[i][pos[1]] == num and pos[0] != i:
\nreturn False<\/p>\n
# Check box
\nbox_x = pos[1] \/\/ 3
\nbox_y = pos[0] \/\/ 3<\/p>\n
for i in range(box_y*3, box_y*3 + 3):
\nfor j in range(box_x * 3, box_x*3 + 3):
\nif bo[i][j] == num and (i,j) != pos:
\nreturn False<\/p>\n
return True<\/p>\n
def print_board(bo):
\nfor i in range(len(bo)):
\nif i % 3 == 0 and i != 0:
\nprint(\"- - - - - - - - - - - - - \")<\/p>\n
for j in range(len(bo[0])):
\nif j % 3 == 0 and j != 0:
\nprint(\" | \", end=\"\")<\/p>\n
if j == 8:
\nprint(bo[i][j])
\nelse:
\nprint(str(bo[i][j]) + \" \", end=\"\")<\/p>\n
def find_empty(bo):
\nfor i in range(len(bo)):
\nfor j in range(len(bo[0])):
\nif bo[i][j] == 0:
\nreturn (i, j) # row, col<\/p>\n
return None<\/p>\n
\u9644\u52a0\u89e3\u51b3\u72ec\u7acb\u7a0b\u5e8f\uff08\u7528\u4e8e\u89e3\u51b3\u65e0\u6cd5\u5b8c\u6210\u7684sudoku\uff09<\/p>\n
import random
\nimport sys
\nimport numpy as np<\/p>\n
sys.setrecursionlimit(100000) # \u53d1\u73b0python\u9ed8\u8ba4\u7684\u9012\u5f52\u6df1\u5ea6\u662f\u5f88\u6709\u9650\u7684
\n#\uff08\u9ed8\u8ba4\u662f1000\uff09\uff0c\u56e0\u6b64\u5f53\u9012\u5f52\u6df1\u5ea6\u8d85\u8fc7999\u7684
\n# \u6837\u5b50\uff0c\u5c31\u4f1a\u5f15\u53d1\u8fd9\u6837\u7684\u4e00\u4e2a\u5f02\u5e38\u3002<\/p>\n
def get_next(m:\"\u6570\u72ec\u77e9\u9635\", x:\"\u7a7a\u767d\u683c\u884c\u6570\", y:\"\u7a7a\u767d\u683c\u5217\u6570\"):
\n\"\"\" \u529f\u80fd\uff1a\u83b7\u5f97\u4e0b\u4e00\u4e2a\u7a7a\u767d\u683c\u5728\u6570\u72ec\u4e2d\u7684\u5750\u6807\u3002
\n\"\"\"
\nfor next_y in range(y+1, 9): # \u4e0b\u4e00\u4e2a\u7a7a\u767d\u683c\u548c\u5f53\u524d\u683c\u5728\u4e00\u884c\u7684\u60c5\u51b5
\nif m[x][next_y] == 0:
\nreturn x, next_y
\nfor next_x in range(x+1, 9): # \u4e0b\u4e00\u4e2a\u7a7a\u767d\u683c\u548c\u5f53\u524d\u683c\u4e0d\u5728\u4e00\u884c\u7684\u60c5\u51b5
\nfor next_y in range(0, 9):
\nif m[next_x][next_y] == 0:
\nreturn next_x, next_y
\nreturn -1, -1 # \u82e5\u4e0d\u5b58\u5728\u4e0b\u4e00\u4e2a\u7a7a\u767d\u683c\uff0c\u5219\u8fd4\u56de -1\uff0c-1<\/p>\n
def value(m:\"\u6570\u72ec\u77e9\u9635\", x:\"\u7a7a\u767d\u683c\u884c\u6570\", y:\"\u7a7a\u767d\u683c\u5217\u6570\"):
\n\"\"\" \u529f\u80fd\uff1a\u8fd4\u56de\u7b26\u5408\"\u6bcf\u4e2a\u6a2a\u6392\u548c\u7ad6\u6392\u4ee5\u53ca
\n\u4e5d\u5bab\u683c\u5185\u65e0\u76f8\u540c\u6570\u5b57\"\u8fd9\u4e2a\u6761\u4ef6\u7684\u6709\u6548\u503c\u3002
\n\"\"\"
\ni, j = x\/\/3, y\/\/3
\ngrid = [m[i*3+r][j*3+c] for r in range(3) for c in range(3)]
\nv = set([x for x in range(1,10)]) - set(grid) - set(m[x]) - \\
\nset(list(zip(*m))[y])
\nreturn list(v)<\/p>\n
def start_pos(m:\"\u6570\u72ec\u77e9\u9635\"):
\n\"\"\" \u529f\u80fd\uff1a\u8fd4\u56de\u7b2c\u4e00\u4e2a\u7a7a\u767d\u683c\u7684\u4f4d\u7f6e\u5750\u6807\"\"\"
\nfor x in range(9):
\nfor y in range(9):
\nif m[x][y] == 0:
\nreturn x, y
\nreturn False, False # \u82e5\u6570\u72ec\u5df2\u5b8c\u6210\uff0c\u5219\u8fd4\u56de False, False<\/p>\n
def try_sudoku(m:\"\u6570\u72ec\u77e9\u9635\", x:\"\u7a7a\u767d\u683c\u884c\u6570\", y:\"\u7a7a\u767d\u683c\u5217\u6570\"):
\n\"\"\" \u529f\u80fd\uff1a\u8bd5\u7740\u586b\u5199\u6570\u72ec \"\"\"
\nfor v in value(m, x, y):
\nm[x][y] = v
\nnext_x, next_y = get_next(m, x, y)
\nif next_y == -1: # \u5982\u679c\u65e0\u4e0b\u4e00\u4e2a\u7a7a\u767d\u683c
\nreturn True
\nelse:
\nend = try_sudoku(m, next_x, next_y) # \u9012\u5f52
\nif end:
\nreturn True
\nm[x][y] = 0 # \u5728\u9012\u5f52\u7684\u8fc7\u7a0b\u4e2d\uff0c\u5982\u679c\u6570\u72ec\u6ca1\u6709\u89e3\u5f00\uff0c
\n# \u5219\u56de\u6eaf\u5230\u4e0a\u4e00\u4e2a\u7a7a\u767d\u683c<\/p>\n
def sudoku(m):
\nx, y = start_pos(m)
\ntry_sudoku(m, x, y)
\nprint(np.array(m))<\/p>\n
<\/p>\n
if __name__ == \"__main__\":
\nm = [
\n[0, 0, 0, 0, 2, 4, 0, 0, 3],
\n[3, 0, 0, 5, 0, 0, 0, 2, 0],
\n[0, 0, 4, 0, 0, 0, 1, 6, 0],
\n[0, 7, 6, 1, 0, 0, 0, 0, 0],
\n[0, 0, 0, 0, 6, 2, 8, 0, 0],
\n[0, 1, 0, 8, 0, 0, 6, 0, 7],
\n[0, 3, 0, 4, 0, 0, 5, 0, 8],
\n[0, 0, 7, 2, 0, 5, 0, 0, 0],
\n[0, 5, 0, 9, 8, 7, 0, 4, 2]
\n]<\/p>\n
sudoku(m)<\/p>\n
\"\"\" \u6570\u72ec\u7ed3\u679c\u5982\u4e0b\uff1a
\n[
\n[6, 9, 5, 1, 2, 3, 7, 4, 8],
\n[7, 4, 1, 8, 6, 9, 2, 5, 3],
\n[2, 3, 8, 4, 5, 7, 1, 6, 9],
\n[8, 1, 6, 7, 4, 5, 3, 9, 2],
\n[5, 2, 4, 3, 9, 8, 6, 7, 1],
\n[3, 7, 9, 6, 1, 2, 4, 8, 5],
\n[4, 8, 3, 9, 7, 1, 5, 2, 6],
\n[1, 6, 2, 5, 8, 4, 9, 3, 7],
\n[9, 5, 7, 2, 3, 6, 8, 1, 4]
\n]
\n\"\"\"<\/p>\n
\u9644\u52a0\u7a0b\u5e8f2 \u7528\u4e8e\u751f\u6210sudoku\u7684\u6e38\u620f\u9898\u76ee\u6570\u7ec4<\/p>\n
import random
\nimport time
\ndef pr(a):#\u7528\u4e8e\u8f93\u51fa\u65b9\u4fbf\u9605\u8bfb\u7684\u7ed3\u679c
\nfor i in range(9):
\nif i%3==0:
\nprint('\\t---------\\t\\t---------\\t\\t---------')
\nfor j in range(9):
\nif j%3==0:
\nprint('|',end='\\t')
\nprint(a[i][j],end='\\t')
\nprint('|',end='\\n')
\nprint('\\t---------\\t\\t---------\\t\\t---------')
\ndef diff(d):
\nprint('\u6570\u72ec\u96be\u5ea6\uff1a',end='')
\nif d==0:
\nprint('\u6781\u5bb9\u6613')
\nif d==1:
\nprint('\u5bb9\u6613')
\nif d==2:
\nprint('\u4e00\u822c')
\nif d==3:
\nprint('\u56f0\u96be')
\nif d==4:
\nprint('\u6781\u56f0\u96be')
\ndef con(a):#\u7528\u4e8e\u5c06\u6570\u636e\u8f6c\u5316\u4e3a\u7b26\u5408\u683c\u5f0f\u7684\u5e8f\u5217
\nif len(a)==81:
\na_con=[[],[],[],[],[],[],[],[],[]]
\nfor i in range(9):
\nb=a[i*9:i*9+9]
\nfor j in range(9):
\na_con[i].append(int(b[j]))
\nreturn a_con
\nreturn False
\ndef examine_sudoku(sudoku):#\u68c0\u67e5\u662f\u5426\u7b26\u5408\u6570\u72ec\u89c4\u5219
\nif len(sudoku)!=9:
\nreturn False
\nfor i in range(9):
\nif len(sudoku[i])!=9 or sudoku[i].count([])>0:
\nreturn False
\nfor j in range(1,10):
\nif sudoku[i].count(j)>1:
\nreturn False
\nreturn True
\ndef complete(a):#\u7528\u4e8e\u68c0\u6d4b\u6570\u72ec\u662f\u5426\u5b8c\u6210
\nfor i in range(9):
\nfor j in range(9):
\nif type(a[i][j])!=int or a[i][j]==0:
\nreturn False
\nreturn True
\ndef copy(a):#\u590d\u5236\u6570\u72ec\u7684\u503c\uff0c\u7528\u4e8e\u540e\u671f\u5047\u8bbe\u6cd5\u8fd0\u7b97\u5931\u8d25\uff0c\u627e\u56de\u539f\u6765\u7684\u503c
\nd=[[], [], [], [], [], [], [], [], []]
\nfor i in range(9):
\nfor j in range(9):
\nif type(a[i][j])==int:
\nd[i].append(a[i][j])
\nelif type(a[i][j])==list:
\nd[i].append([])
\nfor k in a[i][j]:
\nd[i][j].append(k)
\nreturn d
\ndef extract_b_c(a):#\u75289\u884c\u8868\u793a\u7684a\uff0c\u5f97\u52309\u5217\u8868\u793a\u7684b\uff0c\u53ca9\u5bab\u8868\u793a\u7684c\uff0c\u5e76\u5bf9\u6bcf\u4e2a0\u6240\u5728\u7684\u4f4d\u7f6e\u7528[1,2,3,4,5,6,7,8,9]\u4ee3\u66ff\uff0c\u4f5c\u4e3a\u7b14\u8bb0
\nb=[[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],
\n[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],
\n[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0]]
\nc=[[],[],[],[],[],[],[],[],[]]
\nfor i in range(9):
\nfor j in range(9):
\nif a[i][j]==0:
\na[i][j] = [1,2,3,4,5,6,7,8,9]
\nb[j][i]=a[i][j]
\ns=ij_s(i,j)
\nc[s].append(a[i][j])
\nreturn b,c
\ndef ij_s(i,j):#\u7528i\u548cj\u6c42\u5f97\u5bab\u6240\u5728\u7684\u4f4d\u7f6es
\ns=i\/\/3*3+j\/\/3
\nreturn s
\ndef ij_t(i,j):#\u7528i\u548cj\u6c42\u5f97\u6240\u5728\u5bab\u91cc\u7684\u4f4d\u7f6et
\nt=i%3*3+j%3
\nreturn t
\ndef st_i(s,t):#\u7528s\u548ct\u6c42\u5f97\u539fi\u7684\u503c
\ni=s\/\/3*3+t\/\/3
\nreturn i
\ndef st_j(s, t):#\u7528s\u548ct\u6c42\u5f97\u539fj\u7684\u503c
\nj=s%3*3+t%3
\nreturn j
\ndef play_1(a,b,c,i,j,change):#\u5c06\u7b14\u8bb0\u4e2d\u540c\u884c\u3001\u540c\u5217\u53ca\u540c\u5bab\u7684\u7b14\u8bb0\u91cc\u5220\u9664\u5df2\u77e5\u6570\u5b57\uff0c\u5e76\u5c06\u552f\u4e00\u53ef\u80fd\u7684\u683c\u5b50\u53d8\u6210\u5df2\u77e5\u6570\u5b57
\ns=ij_s(i,j)
\nfor num in range(1,10):
\nfor k in range(9):
\nif type(a[i][k])==list and num in a[i] and num in a[i][k]:
\na[i][k].remove(num)
\nchange=True
\nif len(a[i][k])==1:
\nn=a[i][k][0]
\na[i][k]=n
\nb[k][i]=n
\nc[ij_s(i,k)][ij_t(i,k)]=n
\nchange=True
\nif type(b[j][k])==list and num in b[j] and num in b[j][k]:
\nb[j][k].remove(num)
\nchange=True
\nif len(b[j][k])==1:
\nn=b[j][k][0]
\na[k][j]=n
\nb[j][k]=n
\nc[ij_s(k,j)][ij_t(k,j)]=n
\nchange=True
\nif type(c[s][k])==list and num in c[s] and num in c[s][k]:
\nc[s][k].remove(num)
\nchange=True
\nif len(c[s][k])==1:
\nn=c[s][k][0]
\na[st_i(s,k)][st_j(s,k)]=n
\nb[st_j(s,k)][st_i(s,k)]=n
\nc[s][k]=n
\nchange=True
\nreturn a,b,c,change
\ndef play_2(a,b,c,i,j,change):#\u552f\u4e00\u5019\u9009\u6570\u6cd5
\ndef num_abc():
\nnum_a = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nnum_b = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nnum_c = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nfor k in range(1,10):
\nif k in a[i]:
\nnum_a.remove(k)
\nif k in b[j]:
\nnum_b.remove(k)
\nif k in c[s]:
\nnum_c.remove(k)
\nreturn num_a,num_b,num_c
\ns=ij_s(i,j)
\nnum_a,num_b,num_c=num_abc()
\nfor n in num_a:
\nt=0
\nfor k in range(9):
\nif type(a[i][k])==list and n in a[i][k]:
\nt+=1
\nif t==1:
\nfor k in range(9):
\nif type(a[i][k]) == list and n in a[i][k]:
\na[i][k] = n
\nb[k][i] = n
\nc[ij_s(i, k)][ij_t(i, k)] = n
\nnum_a, num_b, num_c = num_abc()
\nchange=True
\nfor n in num_b:
\nt=0
\nfor k in range(9):
\nif type(b[j][k])==list and n in b[j][k]:
\nt+=1
\nif t==1:
\nfor k in range(9):
\nif type(b[j][k])==list and n in b[j][k]:
\na[k][j] = n
\nb[j][k] = n
\nc[ij_s(k, j)][ij_t(k, j)] = n
\nnum_a, num_b, num_c = num_abc()
\nchange=True
\nfor n in num_c:
\nt=0
\nfor k in range(9):
\nif type(c[s][k])==list and n in c[s][k]:
\nt+=1
\nif t==1:
\nfor k in range(9):
\nif type(c[s][k])==list and n in c[s][k]:
\na[st_i(s,k)][st_j(s,k)]=n
\nb[st_j(s,k)][st_i(s,k)]=n
\nc[s][k]=n
\nchange=True
\nreturn a,b,c,change
\ndef play_3(a,b,c,i,j,change):#\u94fe\u6570\u5220\u51cf\u6cd5\uff0c\u4e13\u4e1a\u7528\u8bed\u662f\u8fd9\u6837\u7684\uff0c\u67092\u94fe\u6570\u30013\u94fe\u6570\u7684\uff0c\u6b64\u65b9\u6cd5\u6269\u5c55\u5230n\u94fe\u6570\uff08\u5e2e\u52a9\u6392\u9664\u4e0d\u53ef\u80fd\u9879\u7684\uff09
\nlist_a=[]
\nlist_b=[]
\nlist_c=[]
\ns=ij_s(i,j)
\nfor k in range(9):
\nif type(a[i][k]) == list:
\nlist_a.append(a[i][k])
\nfor k in range(9):
\nif type(b[j][k]) == list:
\nlist_b.append(b[j][k])
\nfor k in range(9):
\nif type(c[s][k]) == list:
\nlist_c.append(c[s][k])
\nfor k in range(3,len(list_a)+1):
\nl=[]
\nn=0
\nfor m in list_a:
\nif len(m)<k:
\nfor p in m:
\nif p not in l:
\nl.append(p)
\nn+=1
\nif len(l)==n:
\nfor m in list_a:
\nfor p in m:
\nif p not in l:
\nfor q in l:
\nif q in m:
\nm.remove(q)
\nchange=True
\nfor k in range(3,len(list_b)+1):
\nl=[]
\nn=0
\nfor m in list_b:
\nif len(m)<k:
\nfor p in m:
\nif p not in l:
\nl.append(p)
\nn+=1
\nif len(l)==n:
\nfor m in list_b:
\nfor p in m:
\nif p not in l:
\nfor q in l:
\nif q in m:
\nm.remove(q)
\nchange=True
\nfor k in range(3,len(list_c)+1):
\nl=[]
\nn=0
\nfor m in list_c:
\nif len(m)<k:
\nfor p in m:
\nif p not in l:
\nl.append(p)
\nn+=1
\nif len(l)==n:
\nfor m in list_c:
\nfor p in m:
\nif p not in l:
\nfor q in l:
\nif q in m:
\nm.remove(q)
\nchange=True
\nreturn a,b,c,change
\ndef play_4(a,b,c,change):#\u533a\u5757\u6452\u9664\u6cd5
\nfor i in range(3):
\nm = [[], [], [], [], [], [], [], [], []]
\nfor k in range(3):
\nfor j in range(9):
\nif type(a[i * 3 + k][j]) == list:
\nfor n in a[i * 3 + k][j]:
\nif n not in m[k * 3 + j \/\/ 3]:
\nm[k * 3 + j \/\/ 3].append(n)
\nfor p in range(3):
\no = []
\nfor q in range(3):
\nif m[p * 3 + q]!=[]:
\nfor k in m[p * 3 + q]:
\nif k not in o:
\no.append(k)
\nif o!=[]:
\nfor s in o:
\nt = 0
\nfor q in range(3):
\nif s in m[p * 3 + q]:
\nt += 1
\nif t == 1:
\nfor q in range(3):
\nif s in m[p * 3 + q]:
\nif p == 0:
\nl = [1, 2]
\nelif p == 1:
\nl = [0, 2]
\nelse:
\nl = [0, 1]
\nfor k in l:
\nfor j in range(3):
\nif type(a[i * 3 + k][q*3+j]) == list and s in a[i * 3 + k][q*3+j]:
\na[i * 3 + k][q*3+j].remove(s)
\nchange = True
\nfor i in range(3):
\nm = [[], [], [], [], [], [], [], [], []]
\nfor k in range(3):
\nfor j in range(9):
\nif type(b[i * 3 + k][j]) == list:
\nfor n in b[i * 3 + k][j]:
\nif n not in m[k * 3 + j \/\/ 3]:
\nm[k * 3 + j \/\/ 3].append(n)
\nfor p in range(3):
\no = []
\nfor q in range(3):
\nif m[p * 3 + q]!=[]:
\nfor k in m[p * 3 + q]:
\nif k not in o:
\no.append(k)
\nif o!=[]:
\nfor s in o:
\nt = 0
\nfor q in range(3):
\nif s in m[p * 3 + q]:
\nt += 1
\nif t == 1:
\nfor q in range(3):
\nif s in m[p * 3 + q]:
\nif p == 0:
\nl = [1, 2]
\nelif p == 1:
\nl = [0, 2]
\nelse:
\nl = [0, 1]
\nfor k in l:
\nfor j in range(3):
\nif type(b[i * 3 + k][q*3+j]) == list and s in b[i * 3 + k][q*3+j]:
\nb[i * 3 + k][q*3+j].remove(s)
\nchange = True
\nreturn a,b,c,change
\ndef play_5(a,b,c,change,examine,a_copy):#\u5047\u8bbe\u6cd5
\nif examine==True:
\nfor l in range(2,10):
\nfor i in range(9):
\nfor j in range(9):
\nif type(a[i][j])==list and len(a[i][j])==l:
\na_copy=copy(a)
\nn=a[i][j][random.randint(0,len(a[i][j])-1)]
\na_copy[i][j].remove(n)
\nif len(a_copy[i][j])==1:
\na_copy[i][j]=a_copy[i][j][0]
\na[i][j]=n
\nb[j][i]=n
\nc[ij_s(i,j)][ij_t(i,j)]=n
\nchange=True
\nreturn a,b,c,change,examine,a_copy
\nif examine==False and examine_sudoku(a_copy)==True:
\na=a_copy
\nb,c=extract_b_c(a)
\nchange=True
\nexamine=True
\nreturn a,b,c,change,examine,a_copy
\nexamine=False
\nreturn a,b,c,change,examine,a_copy
\ndef play_all(a,b,c,change,examine,a_copy,d):#\u8fdb\u9636\u578b\u8fd0\u7b97\uff0c\u80fd\u521d\u7ea7\u65b9\u6cd5\u89e3\u51b3\u5c31\u4e0d\u7528\u9ad8\u7ea7\u7684\u65b9\u6cd5\uff0c\u7701\u65f6
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_1(a,b,c,i,j,change)
\nif change==False:
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_2(a,b,c,i,j,change)
\nif d<1 and change==True:
\nif complete(a)==False:
\nd=1
\nif change==False:
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_3(a,b,c,i,j,change)
\nif d<2 and change==True:
\nif complete(a)==False:
\nd=2
\nif change==False:
\na,b,c,change=play_4(a,b,c,change)
\nif d<3 and change==True:
\nif complete(a)==False:
\nd=3
\nif change==False:
\nexamine=examine_sudoku(a)
\na,b,c,change,examine,a_copy=play_5(a,b,c,change,examine,a_copy)
\nif d<4 and change==True:
\nif complete(a)==False:
\nd=4
\nreturn a,b,c,change,examine,a_copy,d
\ndef play_all_1(a,b,c,change,examine,a_copy):#\u8fdb\u9636\u578b\u8fd0\u7b97\uff0c\u80fd\u521d\u7ea7\u65b9\u6cd5\u89e3\u51b3\u5c31\u4e0d\u7528\u9ad8\u7ea7\u7684\u65b9\u6cd5\uff0c\u7701\u65f6
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_1(a,b,c,i,j,change)
\nif change==False:
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_2(a,b,c,i,j,change)
\nif change==False:
\nfor i in range(9):
\nfor j in range(9):
\na,b,c,change=play_3(a,b,c,i,j,change)
\nif change==False:
\na,b,c,change=play_4(a,b,c,change)
\nreturn a,b,c,change,examine,a_copy
\ndef complate_sudoku(a):#\u8ba1\u7b97\u6570\u72ec\u7684\u4e3b\u4f53
\nif examine_sudoku(a)==False:
\nreturn False
\nb,c = extract_b_c(a)
\nif examine_sudoku(b)==False:
\nreturn False
\nif examine_sudoku(c)==False:
\nreturn False
\nchange = True#\u521d\u59cb\u5316change
\nexamine=True#\u521d\u59cb\u5316examine
\na_copy=[]#\u521d\u59cb\u5316a_copy
\nd=0
\nwhile change==True:
\nchange=False
\na,b,c,change,examine,a_copy,d=play_all(a,b,c,change,examine,a_copy,d)
\nexamine=examine_sudoku(a)&examine_sudoku(b)&examine_sudoku(c)
\nif complete(a)==False:
\nreturn None,4
\nreturn a,d
\nprint('\u6b63\u5728\u751f\u6210\u6570\u72ec......')
\nt=time.time()
\na=[[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],
\n[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],
\n[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0]]
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nfor j in range(9):
\nif j<8:
\nk=random.randint(0,len(l)-1)
\na[0][j]=l[k]
\ndel l[k]
\nelse:
\na[0][j] = l[0]
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nl.remove(a[0][0])
\nl.remove(a[0][1])
\nl.remove(a[0][2])
\nfor i in range(1,9):
\nif i==3:
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nl.remove(a[0][0])
\nl.remove(a[1][0])
\nl.remove(a[2][0])
\nif i<8:
\nk=random.randint(0,len(l)-1)
\na[i][0]=l[k]
\ndel l[k]
\nelse:
\na[i][0] = l[0]
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nl.remove(a[0][6])
\nl.remove(a[0][7])
\nl.remove(a[0][8])
\nfor i in range(1,9):
\nif i==3:
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nl.remove(a[0][8])
\nl.remove(a[1][8])
\nl.remove(a[2][8])
\nif i<8:
\nif i==7:
\nif a[8][0] in l:
\na[7][8]=a[8][0]
\nl.remove(a[8][0])
\na[8][8]=l[0]
\nbreak
\nk=random.randint(0,len(l)-1)
\nwhile l[k]==a[i][0]:
\nk = random.randint(0, len(l) - 1)
\na[i][8]=l[k]
\ndel l[k]
\nelse:
\na[i][8] = l[0]
\nl = [1, 2, 3, 4, 5, 6, 7, 8, 9]
\nl.remove(a[8][0])
\nl.remove(a[8][8])
\nb, c = extract_b_c(a)
\na_copy2=[]
\nd=0
\nchange = True # \u521d\u59cb\u5316change
\nexamine = True # \u521d\u59cb\u5316examine
\na_co = [] # \u521d\u59cb\u5316a_copy
\nwhile change == True:
\nchange = False
\na, b, c, change, examine, a_co ,d= play_all(a, b, c, change, examine, a_co,d)
\nprint('\u6570\u72ec\u7b54\u6848\u751f\u6210\u5b8c\u6bd5\uff0c\u5f00\u59cb\u62a0\u9664\u6570\u5b57......')
\nti=0
\ncom=copy(a)
\nchange = True # \u521d\u59cb\u5316change
\nx=True
\nco=copy(a)
\nl=[0,1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
\n27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53,
\n54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80]
\nwhile x==True:
\nchange = True # \u521d\u59cb\u5316change
\nexamine = True # \u521d\u59cb\u5316examine
\na_co = [] # \u521d\u59cb\u5316a_copy
\nif len(l)>1:
\nk=random.randint(0,len(l)-1)
\nelse:
\nk=0
\nx=False
\np=l[k]\/\/9
\nq=l[k]%9
\ndel l[k]
\nif co[p][q]==0:
\ncontinue
\nco[p][q]=0
\ncop=copy(co)
\ncop_b, cop_c = extract_b_c(cop)
\nwhile change == True:
\nchange = False
\ncop, cop_b, cop_c, change, examine, a_co= play_all_1(cop, cop_b, cop_c, change, examine, a_co)
\nif complete(cop)==True:
\na = copy(co)
\nelse:
\nif ti==0:
\nprint('\u4e00\u822c\u96be\u5ea6\u5df2\u751f\u6210\uff0c\u6b63\u5728\u7cbe\u7ec6\u63a8\u6572\u9aa8\u7070\u96be\u5ea6......')
\nti=1
\nfor i in range(9):
\nfor j in range(9):
\nif type(cop[i][j])==list and len(cop[i][j])==2:
\na_copy=copy(cop)
\nn=cop[i][j][0]
\na_copy[i][j]=a_copy[i][j][1]
\na_copy_b, a_copy_c = extract_b_c(a_copy)
\ncop[i][j]=n
\ncop_b[j][i]=n
\ncop_c[ij_s(i,j)][ij_t(i,j)]=n
\nchange=True
\nwhile change == True:
\nchange = False
\ncop, cop_b, cop_c, change, examine, a_co,d=play_all(cop, cop_b, cop_c, change, examine, a_co,d)
\nwhile change == True:
\nchange = False
\na_copy, a_copy_b, a_copy_c, change, examine, a_copy2,d=play_all(a_copy, a_copy_b, a_copy_c, change, examine, a_copy2,d)
\nif (complete(cop)==True and complete(a_copy)==False) or (complete(cop)==False and complete(a_copy)==True):
\nif cop==com or cop==com:
\na = copy(co)
\nprint('\u6570\u72ec\u751f\u6210\u5b8c\u6bd5\uff0c\u751f\u6210\u6570\u72ec\u6240\u7528\u65f6\u95f4\u4e3a\uff1a',time.time()-t)
\npr(a)
\nt=time.time()
\na,d=complate_sudoku(a)
\nprint('\u89e3\u6570\u72ec\u6240\u7528\u65f6\u95f4\u4e3a\uff1a',time.time()-t)
\ndiff(d)<\/p>\n
<\/p>\n","protected":false},"excerpt":{"rendered":"
#\u8bf4\u660e\u65b0\u5efasudoku\u6587\u4ef6\u5939\u4e0b\u9762\u7531\u4e24\u4e2a\u6a21\u5757\u7ec4\u6210\u5206\u522b\u4e3a\u4e3b\u7a0b\u5e8fgui.py\u548c\u89e3\u51b3\u6a21\u5757solve.py \u6e38\u620f\u8fd0\u884c\u4e3b\u7a0b […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[20],"tags":[352,53],"class_list":["post-564","post","type-post","status-publish","format-standard","hentry","category-python","tag-python","tag-sudoku"],"_links":{"self":[{"href":"https:\/\/byy3.com\/index.php?rest_route=\/wp\/v2\/posts\/564","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/byy3.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/byy3.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/byy3.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/byy3.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=564"}],"version-history":[{"count":0,"href":"https:\/\/byy3.com\/index.php?rest_route=\/wp\/v2\/posts\/564\/revisions"}],"wp:attachment":[{"href":"https:\/\/byy3.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=564"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/byy3.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=564"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/byy3.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=564"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}