Qcomp-function-optimization/objective_function.py at master · pranavalavandi/Qcomp-function-optimization · GitHub

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
import settings
import networkx as nx

def qubit(b):
    return 1-2*b

def subclause_1(strings):
    results = []

    for i in range(len(strings)):
        sum  = 0
        for j in range(len(strings[i])-1):
            sum += qubit(strings[i][j])*qubit(strings[i][j+1])

        results.append(sum)

    for i in range(len(strings)):
        sum  = 0
        for j in range(len(strings[i])-2):
            sum += -qubit(strings[i][j])*qubit(strings[i][j+2])

        results[i] += sum

    return results


def subclause_2(strings):
    results = []

    for i in range(len(strings)):
        sum  = 0
        for j in range(len(strings[i])-2):
            sum += qubit(strings[i][j])^qubit(strings[i][j+1])^qubit(strings[i][j+2])

        results.append(sum)

    return results

def subclause_3(strings):
    results = []

    for i in range(len(strings)):

        sum  = 0
        if strings[i][0] == 1 and strings[i][-1] == 1:
            results.append(1)
        else:
            results.append(0)

    return results


def subclause_4(strings):
    results = []

    for i in range(len(strings)):
        sum  = 0
        for j in range(len(strings[i])-2):
                # sum += ((-1)**j)*qubit(strings[i][j])*qubit(strings[i][(len(strings[i]) - j)//2 + j])
            sum += (qubit(strings[i][j])*qubit(strings[i][j+1]))^(qubit(strings[i][j+2]))


        sum = sum//2
        results.append(sum)

    return results


def gen_results_arr():
    # global strings
    results = []
    x = settings.strings
    results.append(subclause_1(x))
    results.append(subclause_2(x))
    results.append(subclause_3(x))
    results.append(subclause_4(x))

    return results


def gen_results_strings():
    results = []
    results_array = gen_results_arr()
    for i in range(len(results_array[0])):
        total = 0
        for j in range(len(results_array)):
            total += results_array[j][i]
        results.append(total)

    return results