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, logger, config, **kwargs)[source]¶

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)[source]¶

Solves the problem instance, and returns the solution.

Documentation

class virne.solver.exact.DeterministicRoundingSolver(controller, recorder, counter, logger, config, **kwargs)[source]¶

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)[source]¶

Solves the problem instance, and returns the solution.

Documentation

class virne.solver.exact.RandomizedRoundingSolver(controller, recorder, counter, logger, config, **kwargs)[source]¶

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)[source]¶

Solves the problem instance, and returns the solution.