Exact Solver

MipSolver(controller, recorder, counter, ...)	An exact solver based on Mixed Integer Programming (MIP) with OR-Tools.
DeterministicRoundingSolver(controller, ...)	An approximation solver based on deterministic rounding algorithm.
RandomizedRoundingSolver(controller, ...)	An approximation solver based on randomized rounding algorithm.

MipSolver

Documentation

class virne.solver.exact.MipSolver(controller, recorder, counter, **kwargs)

An exact solver based on Mixed Integer Programming (MIP) with OR-Tools.

References

• Mosharaf Chowdhury et al. “ViNEYard: Virtual Network Embedding Algorithms With Coordinated Node and Link Mapping”. In TON, 2012.

solve(instance)

Solves the problem instance, and returns the solution.

Parameters:

instance (dict) – The problem instance to solve.

Returns:

The solution to the problem instance.

Return type:

Solution (Solution)

DeterministicRoundingSolver

Documentation

class virne.solver.exact.DeterministicRoundingSolver(controller, recorder, counter, **kwargs)

An approximation solver based on deterministic rounding algorithm.

References

• Mosharaf Chowdhury et al. “ViNEYard: Virtual Network Embedding Algorithms With Coordinated Node and Link Mapping”. In TON, 2012.

solve(instance)

Solves the problem instance, and returns the solution.

Parameters:

instance (dict) – The problem instance to solve.

Returns:

The solution to the problem instance.

Return type:

Solution (Solution)

RandomizedRoundingSolver

Documentation

class virne.solver.exact.RandomizedRoundingSolver(controller, recorder, counter, **kwargs)

An approximation solver based on randomized rounding algorithm.

References

• Mosharaf Chowdhury et al. “ViNEYard: Virtual Network Embedding Algorithms With Coordinated Node and Link Mapping”. In TON, 2012.

solve(instance)

Solves the problem instance, and returns the solution.

Parameters:

instance (dict) – The problem instance to solve.

Returns:

The solution to the problem instance.

Return type:

Solution (Solution)