715キュビットの回路を生成し、Classiqで他のSAT問題を解決する

"(x0 != x1)と" 
"(x2 + 2 != x3)と" 
"(x3 != x4) と" 
"(x1 != x3)と"
"(x3 != x5)と"  
"(x5 != x6)と" 
"(x0 != x2)と"
"(x1 != x5)と" 
"(x4 != x6)と" 
"(x3 == 2)と" 
"(x2 + x4 + x3 == 3)"

from classiq import ModelDesigner
from classiq.interface.generator.arith.arithmetic import RegisterUserInput, Arithmetic.
from classiq.interface.generator.model import Constraints, Preferences.
from classiq.interface.generator.model.preferences.preferences import (
    CustomHardwareSettings、
)

EXPRESSION = "(x0 != x1) and".+ \
             "(x2 + 2 != x3) and "+ \
             "(x3 != x4)と" + \
             "(x3 != x1)と" + \
             "(x5 != x6) and "+ \
             "(x0!=x2)と" + \+ \
             "(x1 != x5)と" + \+ \
             "(x4 != x6) and "+ \
             "(x3 == 2)と"+ \
             "(((x2 + x4) + x3)%4 == 3)"


oracle_params = 算術式(
    expression=EXPRESSION、
    定義=dict(
        x0=RegisterUserInput(size=1)、
        x1=RegisterUserInput(size=1)、
        x2=RegisterUserInput(size=1)、
        x3=RegisterUserInput(size=2)、
        x4=RegisterUserInput(size=1)、
        x5=RegisterUserInput(size=1)、
        x6=RegisterUserInput(size=1)
    ),
    uncomputation_method="naive"、
)

custom_hardware_settings = CustomHardwareSettings(basis_gates=["cx", "u"])
preferences = Preferences(custom_hardware_settings=custom_hardware_settings)

model_designer = ModelDesigner(constraints=Constraints(optimization_parameter='cx'), preferences=preferences)
model_designer.Arithmetic(params=oracle_params)

circuit = model_designer.synthesize()

circuit.show_interactive()
print(f"{circuit.transpiled_circuit.depth=}")
print(f"{circuit.transpiled_circuit.count_ops['cx']=}")

circuit.transpiled_circuit.depth=197
circuit.transpiled_circuit.count_ops['cx']=190

from classiq import ModelDesigner
from classiq.interface.generator.arith.arithmetic import RegisterUserInput, Arithmetic

EXPRESSION = "(((x0 または ~x1 または ~x8) and (~x7 または ~x5 または ~x6)) and ((~x4 または ~x3 または ~x0) and (x0 または x3 または x7)) and ((~x5 または x0 または ~x2) and (x0 または ~x7 または ~x9))".~x2)と((x0 または ~x7 または ~x9))と((~x5 または x4 または x6)と((x4 または ~x8 または x9))と((x6 または ~x5 または ~x7)と((x8 または ~x6 または ~x4)))と"+ \
             "(((x5または~x3または~x7)および(x7または~x1または~x4))および((~x5または~x6または~x2)および(~x8または~x0または~x4))および((x4または~x8または~x5))と((~x0 or x6 or ~x7))と((x4 or x2 or ~x8)と((~x6 or ~x9 or x0))と((x9 or ~x0 or x7)と((~x7 or x5 or ~x9)))と"+ \
             "(((x6または～x0または～x9)および(x5または～x8または～x1))および((x3または～x6または～x2)および(x7または～x5または～x8))および((x8または～x6または～x3)および(x3または～x1または～x4))と((～x3または～x9または～x4)と((～x8または～x1または～x4))と((～x6または～x3または～x9)と((～x4または～x6または～x3)))とがある。+ \
             "(((~x0 or x8 or x5) and (~x6 or x7 or ~x4)) and ((x9 or ~x8 or ~x4) and (~x4 or x2 or ~x0)) and ((x7 or x6 or ~x5))と((x7又は～x2又は～x8))と((x5又は～x6又は～x7)と((～x2又は～x3又は～x0))と((x2又は～x3又は～x5)と((～x3又は～x8又は～x5))と"+ \
             "(((x6 または ~x1 または ~x9) および (~x0 または ~x1 または x4)) および ((x3 または x7 または ~x2) および (x4 または x2 または ~x0)) および ((~x0 または ~x5 または x4) および(~x3または~x7または~x1))と((~x0または~x3または~x7)と((~x9または~x5または~x8))と((~x6または~x7または~x0)と((~x6または~x1または~x8)))とがある。+ \
             「(((x8または~x4またはx1)および(x4またはx2または~x3))および((~x0または~x2または~x5)および(~x0または~x8または~x4))および((~x6または~x9または~x0)))と((x4 or x0 or x9))と((x8 or ~x7 or x9)と((x0 or ~x1 or ~x2))と((~x7 or x2 or x5)と((x6 or x8 or x3)))と"+ \
             "(((~x4またはx6またはx8)および(x9または~x6または~x4))および((~x9または~x6またはx2)および(~x2またはx7またはx6))および((x3または~x9またはx1)および(x8または~x7または~x9))と((x2または~x1またはx0)と((x2または~x6または~x4))と((~x3または~x6または~x8)と((~x0または~x4またはx2)))とがある。+ \
             "(((x2または~x0またはx8)および(~x8または~x5または~x9))および((x5または~x8または~x9)および(x1または~x3または~x0))および((~x6または~x9または~x7))と((~x9 or x1 or x2))と((x0 or ~x1 or ~x8)と((x8 or ~x6 or x3))と((~x8 or x1 or ~x2)と((x4 or ~x1 or x0)))と"+ \
             "(((x9 または x3 または ~x0) および (x5 または ~x9 または x2)) および ((~x0 または x5 または ~x9) および (x1 または x8 または ~x5)) および ((~x7 または ~x0 または x4) および(~x1または~x7または~x5))と((x8または~x0または~x6)と(~x7または~x5または~x9))と((x5または~x6または~x8)と(~x6または~x9または~x3)))と"+ \
             "(((~x9 or ~x1 or x3) and (x2 or ~x5 or ~x6)) and ((~x2 or x1 or ~x4) and (x0 or x8 or ~x9)) and ((~x4 or x1 or x7))および((x8または~x4または~x0))および((x1または~x0または~x4)および((~x9または~x8または~x1))および((~x5または~x1または~x8)および((~x4または~x3または~x8)))")



oracle_params = 算術式(
    expression=EXPRESSION、
    定義=dict(
        x0=RegisterUserInput(size=1)、
        x1=RegisterUserInput(size=1)、
        x2=RegisterUserInput(size=1)、
        x3=RegisterUserInput(size=1)、
        x4=RegisterUserInput(size=1)、
        x5=RegisterUserInput(size=1)、
        x6=RegisterUserInput(size=1)、
        x7=RegisterUserInput(size=1)、
        x8=RegisterUserInput(size=1)、
        x9=RegisterUserInput(size=1)、
    ),
    uncomputation_method="naive"、
)

model_designer = ModelDesigner()
model_designer.Arithmetic(params=oracle_params)

circuit = model_designer.synthesize()

circuit.show_interactive()