GoemansWilliamsonOptimizer#

class GoemansWilliamsonOptimizer(num_cuts, sort_cuts=True, unique_cuts=True, seed=0)[source]#

Bases: OptimizationAlgorithm

Goemans-Williamson algorithm to approximate the max-cut of a problem. The quadratic program for max-cut is given by:

max sum_{i,j<i} w[i,j]*x[i]*(1-x[j])

Therefore the quadratic term encodes the negative of the adjacency matrix of the graph.

Parameters:
  • num_cuts (int) – Number of cuts to generate.

  • sort_cuts (bool) – True if sort cuts by their values.

  • unique_cuts (bool) – The solve method returns only unique cuts, thus there may be less cuts than num_cuts.

  • seed (int) – A seed value for the random number generator.

Methods

get_compatibility_msg(problem)[source]#

Checks whether a given problem can be solved with the optimizer implementing this method.

Parameters:

problem (QuadraticProgram) – The optimization problem to check compatibility.

Returns:

Returns the incompatibility message. If the message is empty no issues were found.

Return type:

str

is_compatible(problem)#

Checks whether a given problem can be solved with the optimizer implementing this method.

Parameters:

problem (QuadraticProgram) – The optimization problem to check compatibility.

Returns:

Returns True if the problem is compatible, False otherwise.

Return type:

bool

static max_cut_value(x, adj_matrix)[source]#

Compute the value of a cut from an adjacency matrix and a list of binary values.

Parameters:
  • x (ndarray) – a list of binary value in numpy array.

  • adj_matrix (ndarray) – adjacency matrix.

Returns:

value of the cut.

Return type:

float

solve(problem)[source]#

Returns a list of cuts generated according to the Goemans-Williamson algorithm.

Parameters:

problem (QuadraticProgram) – The quadratic problem that encodes the max-cut problem.

Returns:

A list of generated cuts.

Return type:

cuts