import loadFile
import Tabu
import random
def rand_bin_string(len):
vector = []
for i in range(len):
vector.append(str(random.randint(0,1)))
return "".join(vector)
iterations = 100
sat_matrix = loadFile.load_file("uf20_01.txt")
for k in range(1, 20):
sum_evals = 0
sum_aspirations = 0
for i in range(100):
s_initial = rand_bin_string(20);
(sol, aspiration, evals) = Tabu.tabu_search(
s_initial, sat_matrix, k, iterations)
sum_evals += evals
sum_aspirations += aspiration
if aspiration == 91:
print("Found solution: %s" % sol)
print("avg %.2f evals, %.2f aspire for k = %d " %
(float(sum_evals) / 100, float(sum_aspirations) / 100, k))
import Tabu
import loadFile
def dec2bin(x, string_length):
binary_string = str(bin(x))[2:]
while len(binary_string) < string_length:
binary_string = "0" + binary_string
return binary_string
num_satisfying = 0
sat_matrix = loadFile.load_file("uf20_01.txt")
for i in range(1048576):
string = dec2bin(i, 20)
cost = Tabu.costSAT(string, sat_matrix)
if cost == 91:
num_satisfying += 1
print("Satisfying: " + string)
print("Number of satisfying solutions: " + str(num_satisfying))
