amplify.client.FujitsuDA4SolverClient

class FujitsuDA4SolverClient

A client class for using FujitsuDA4Solver.

__init__(self: amplify.client.FujitsuDA4SolverClient, token: str = '', url: str = '', proxy: str = '') None

Methods

__init__(self[, token, url, proxy])

solve(*args, **kwargs)

Solves a given polynomial or matrix model.

Attributes

num_bits

The number of available variables in Fujitsu Digital Annealer V4, which is 100000.

parameters

The parameters of FujitsuDA4SolverClient.

proxy

The address of a proxy server.

set_inequalities

When set to True, Inequalities is used to handle linear inequality constraints.

set_one_way_one_hot_groups

When set to True, one_way_one_hot_groups is set if the model has one-hot constraints.

set_penalty_binary_polynomial

When set to True, PenaltyBinaryPolynomial is used to handle constraints.

set_two_way_one_hot_groups

When set to True, two_way_one_hot_groups is set if the model has two-way one-hot constraints.

token

Authentication token for Fujitsu Digital Annealer V4.

url

The endpoint url for Fujitsu Digital Annealer V4.

version

Get the API version string of the Fujitsu Digital Annealer.

write_request_data

Set or get the file path to save request data.

write_response_data

Set or get the file path to save request data.

property num_bits

The number of available variables in Fujitsu Digital Annealer V4, which is 100000.

property parameters

The parameters of FujitsuDA4SolverClient.

Type

FujitsuDA4SolverClientParameters

property proxy

The address of a proxy server. The address of proxy server can be set or read from this attribute.

Type

str

property set_inequalities

When set to True, Inequalities is used to handle linear inequality constraints. If set to False, constraint terms are converted to penalty functions and added to the input polynomial model or the PenaltyBinaryPolynomial. The default value is set to False.

Type

bool

property set_one_way_one_hot_groups

When set to True, one_way_one_hot_groups is set if the model has one-hot constraints. The default value is set to False.

Type

bool

property set_penalty_binary_polynomial

When set to True, PenaltyBinaryPolynomial is used to handle constraints. If set to False, constraint terms are converted to penalty functions and added to the input polynomial model. The default value is set to False.

Type

bool

property set_two_way_one_hot_groups

When set to True, two_way_one_hot_groups is set if the model has two-way one-hot constraints. The default value is set to False.

Type

bool

solve(*args, **kwargs)

Solves a given polynomial or matrix model.

Overloads:

  • solve(poly)
  • solve(matrix, constant)
パラメータ
戻り値

The result class of FujitsuDA4Solver client is returned.

戻り値の型

FujitsuDA4SolverClientResult

Example

from amplify import BinarySymbolGenerator
from amplify.client import FujitsuDA4SolverClient

gen = BinarySymbolGenerator()
q = gen.array(4)
f = 2 * q[0] * q[1] - q[2] * q[3] + 1

client = FujitsuDA4SolverClient()
client.token = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
client.parameters.time_limit_sec = 1

result = client.solve(f)
>>> f
2 q_0 q_1 - q_2 q_3 + 1
>>> [f"energy = {s.energy}, q = {q.decode(s.values)}" for s in result]
['energy = 0.0, q = [1. 0. 1. 1.]',
 'energy = 0.0, q = [0. 1. 1. 1.]',
 'energy = 0.0, q = [0. 0. 1. 1.]',
 'energy = 1.0, q = [0. 0. 0. 0.]']
property token

Authentication token for Fujitsu Digital Annealer V4.

Type

str

property url

The endpoint url for Fujitsu Digital Annealer V4.

Type

str

property version

Get the API version string of the Fujitsu Digital Annealer.

Type

str

property write_request_data

Set or get the file path to save request data. The default value is an empty string, so saving is disabled.

Type

str

property write_response_data

Set or get the file path to save request data. The default value is an empty string, so saving is disabled.

Type

str