-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsudoku_solver.py
150 lines (115 loc) · 3.16 KB
/
sudoku_solver.py
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
27
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
54
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
import numpy as np # linear algebra
import pandas as pd # data processing, CSV file I/O (e.g. pd.read_csv)
import sys
import hashlib
import os
puzzle_num = sys.argv[1]
path = "./"
data = pd.read_csv(path+"partial_sudoku.csv")
try:
data = pd.DataFrame({"quizzes":data["puzzle"],"solutions":data["solution"]})
except:
pass
data.head()
def solve(bo):
find = find_empty(bo)
if not find:
return True
else:
row, col = find
for i in range(1,10):
if valid(bo, i, (row, col)):
bo[row][col] = i
if solve(bo):
return True
bo[row][col] = 0
return False
def valid(bo, num, pos):
# Check row
for i in range(len(bo[0])):
if bo[pos[0]][i] == num and pos[1] != i:
return False
# Check column
for i in range(len(bo)):
if bo[i][pos[1]] == num and pos[0] != i:
return False
# Check box
box_x = pos[1] // 3
box_y = pos[0] // 3
for i in range(box_y*3, box_y*3 + 3):
for j in range(box_x * 3, box_x*3 + 3):
if bo[i][j] == num and (i,j) != pos:
return False
return True
def print_board(bo):
for i in range(len(bo)):
if i % 3 == 0 and i != 0:
print("- - - - - - - - - - - - - ")
for j in range(len(bo[0])):
if j % 3 == 0 and j != 0:
print(" | ", end="")
if j == 8:
print(bo[i][j])
else:
print(str(bo[i][j]) + " ", end="")
def find_empty(bo):
for i in range(len(bo)):
for j in range(len(bo[0])):
if bo[i][j] == 0:
return (i, j) # row, col
return None
val_set = data.iloc[:500]
from tqdm import tqdm
quiz_list = list(val_set['quizzes'])
sol_list = list(val_set['solutions'])
val_quiz = []
val_sol = []
for i,j in tqdm(zip(quiz_list,sol_list), disable=True):
q = np.array(list(map(int,list(i)))).reshape(9,9)
s = np.array(list(map(int,list(j)))).reshape(9,9)
val_quiz.append(q)
val_sol.append(s)
# input_value = sys.argv[1:]
# print(val_quiz[1])
# print('Sol:')
# print(val_sol[1])
# print(val_quiz[1])
# print(val_set)
# solved_solution = solve(quiz_list[1])
# print(solved_solution)
# if solve(val_quiz[1]):
# if (val_quiz[1]==val_sol[1]).all():
# print('Correct')
# else:
# print('incorrect')
# game = '''
# 0 0 0 7 0 0 0 9 6
# 0 0 3 0 6 9 1 7 8
# 0 0 7 2 0 0 5 0 0
# 0 7 5 0 0 0 0 0 0
# 9 0 1 0 0 0 3 0 0
# 0 0 0 0 0 0 0 0 0
# 0 0 9 0 0 0 0 0 1
# 3 1 8 0 2 0 4 0 7
# 2 4 0 0 0 5 0 0 0
# '''
# game = game.strip().split("\n")
# print("Problem:\n", val_quiz[1])
# print('\n')
game2 = val_quiz[int(puzzle_num)]
board = []
for i in game2:
# t = i.replace(' ','').strip()
t=i
t = list(t)
t = list(map(int,t))
board.append(t)
solved = False
if solve(board):
# print('Solved Board:')
# print_board(board)
solved =True
flat_str = ''.join(str(x) for sublist in board for x in sublist)
print(flat_str)
# hash_value = hashlib.sha256(flat_str.encode()).hexdigest()[:18]
# print(hash_value)