Exemple #1
0
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))
Exemple #2
0
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))