SAT问题

SAT问题

import math
import random
import time
#SAT问题


def main(n):
    sum = []
    s = []
    m = int(math.pow(2,n))
    for i in range(0,m):
        for j in range(0,n):
            a = random.randint(0,1)
            s.append(a)
        if s not in sum:
            sum.append(s)
        s =[]
    rel = []
    for A1 in sum:
        for A2 in sum:
            if (1 in A1) and (1 in A2):
                if A1 not in rel:
                    rel.append(A1)
                    # print(str(A1)+" 真 \n")
    endtime = time.time()
    print("运行时间：%f"%(endtime-starttime))



if __name__ == '__main__':
    n = int(input("请输入规模:"))
    starttime = time.time()
    main(n)