Implementations#

Our voyage into MaxCut and Max- $κ$ -Colorable Subgraph problems is detailed in the tutorial section. The QAOA module is built with a focus on modularity, ensuring it can adapt to various problem instances while maintaining independence from the choice of decoding. This design approach makes it straightforwad to formulate and solve other problem instances taking the steps as we did in the tutorial.

Here, you can find condensed presentations of various QAOA implementations:

PROBLEM INSTANCE	MIXER TYPE	IMPLEMENTED IN QRISP
MaxCut	X mixer	✅
Max- $ℓ$ -SAT	X mixer	✅
E3Lin2	X mixer	✅
QUBO	X mixer	✅
MaxIndependentSet	Controlled X mixer	✅
MaxClique	Controlled X mixer	✅
MaxSetPacking	Controlled X mixer	✅
MinSetCover	Controlled X mixer	✅
Max- $κ$ -Colorable Subgraph	XY mixer	✅