Implement a new converters of QuadraticProgram of Qiskit Optimization to translate some special types of constraints into penalties of the objective function of QUBO more efficiently than generic converters of Qiskit Optimization.
Description
When users solve an optimization problem with Qiskit Optimization, they apply InequalityToEquality to convert inequality constraints into equality constraints by introducing slack variables, and then apply LinearEqualityToPenalty to translate the constraints into penalties of the objective function of QUBO. But, there are some special patterns are known that does not require slack variables.
The objective of this project is to implement such special converters and compare the performance with and without the special converters. It might be interesting to collaborate with #8 to test new converters.
Abstract
Implement a new converters of
QuadraticProgram
of Qiskit Optimization to translate some special types of constraints into penalties of the objective function of QUBO more efficiently than generic converters of Qiskit Optimization.Description
When users solve an optimization problem with Qiskit Optimization, they apply
InequalityToEquality
to convert inequality constraints into equality constraints by introducing slack variables, and then applyLinearEqualityToPenalty
to translate the constraints into penalties of the objective function of QUBO. But, there are some special patterns are known that does not require slack variables.The objective of this project is to implement such special converters and compare the performance with and without the special converters. It might be interesting to collaborate with #8 to test new converters.
A Tutorial on Formulating and Using QUBO Models introduces examples of the special patterns in page 10 as follows.
References
Members
@slackhandle
email:example@example.com
Deliverable
A pullreq to Qiskit optimization.
GitHub repo
A link to repo.